-> 在函数原型之后是什么意思？

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>();

这只是调用函数。