c++ - 如何解释这个 C++ 类型？

Question

今天我正在帮助处理以下不正确的代码片段(func 是用 int 参数声明的，但是 int* 作为第二个参数传递给了 std::thread 构造函数):

#include <thread>

void func(int);
int* ptr;

void start()
{
    std::thread t = std::thread(func, ptr);
}

当我尝试用 gcc 5.3.0 编译它时，它打印了以下类型的错误消息:

class std::result_of<void (*(int*))(int)>

现在我想知道如何解释作为参数传递给 class std::result_of<> 的类型.它类似于指向函数的指针(在本例中为 void(*)(int) )，但带有额外的 (int*)在括号中的星之后。这个类型怎么解释？

Answer 1

这并不像看起来那么简单。 std::result_of滥用类型系统来走私有(private)关函数调用的信息，以便它可以确定该函数调用的返回类型。

std::result_of 的参数具有 Fty(T1, T2, ...) 的形式, 其中Fty是可调用类型并且 T1等是调用它的参数的类型。鉴于该信息，std::result_of有一个名为 type 的嵌套类型这是调用带有签名的可调用类型的返回类型的同义词 Fty具有给定类型的参数。呸，真是一口。

所以，在 result_of<void (*(int*))(int)>模板参数有两个部分。第一部分是void (*(int*)) ，这是有问题的可调用类型。在这种情况下，它是一个指向采用 int* 的函数的指针。并返回 void .第二部分是(int) ，这是建议参数的类型列表。

所以这就是说 std::result_of正在使用类型为 void (*(int*)) 的函数实例化参数列表为 (int) .正如您所指出的那样，这就是问题所在:您不能传递 int 类型的参数到一个接受 int* 类型参数的函数.

你不高兴你问了吗？ (顺便说一下，这是不再需要的非常低级的模板黑客技术；decltype 是一种更简洁的方法来确定函数调用的返回类型)。