- >函数原型意味着什么？

Question

此代码中发生了什么？很混乱。

#include <utility> 

struct check 
{ 
    template <typename T> 
    auto foo() -> decltype(std::declval<T>().value, void()) 
    { 
     static_assert(T{}.value == 10, "Incorrect value"); 
    } 
} var; 

int main() 
{ 
    struct apple 
    { 
     int value{10}; 
    }; 

    var.foo<apple>(); 
} 

具体来说，它具有的部分->及其后的所有内容。

Answer 1

让我们一点一点地经历。

auto foo() -> decltype(std::declval<T>().value, void()) 

这是一个尾随返回类型。允许使用参数，但这里没有必要。我想这是写得更清晰。 decltype找到里面的表达式的类型，但该表达式实际上没有被评估。 std::declval用于创建传递给它的类型的实例。这里使用逗号运算符来使总体返回类型void，因为逗号运算符评估左侧，将其抛出，评估右侧并返回该结果。

第一部分创建了一种SFINAE（尽管我从来没有见过它是这样使用的）。例如，如果您的foo的过载与value2的过载相同，而不是value，则不会含糊不清。我的意思是here。将其与this one进行比较，其返回类型为void，并导致错误。

static_assert(T{}.value == 10, "Incorrect value"); 

此行确保如果没有的话，会产生与文本编译器错误的T值初始化实例都有value成员有值10。

} var; 

这只是该类使用的全局对象。

struct apple 
{ 
    int value{10}; 
}; 

这是一个样本类来测试它。它有一个value成员，该成员在值初始化的实例中也是10（也是默认初始化的）。

var.foo<apple>(); 

这只是调用函数。