关于 C++ 中的模板类型参数

Question

我一直在浏览这里的一些问题，发现一些示例代码传递（看起来像）一个转换为 void 类型的整数作为模板化对象的类型参数。这是我的意思的一个例子：

SomeRandomObject<void(int)> Object;

如果有人能解释代码的“void(int)”部分及其作用，我将不胜感激。

Answer 1

该类型是“接受int 并返回void 的函数”。

Answer 2

类型是函数类型。你可能对它不太熟悉，因为到目前为止它只用于指针类型：

typedef int (ft)(void);  // Huh?  (raw function type)
typedef ft *fp;          // ???   (pointer to function)

typedef int (*fp_oldstyle)(void); // Ahh... (same as fp)

函数本身确实有类型，但是由于您不能声明该类型的变量或对该类型的引用，因此您通常会使用的唯一东西是指针，它们在最后一行以熟悉的语法声明。对于任何函数int foo(void);，foo 和&foo 都被解释为指针，因此不需要“原始”函数类型ft。

但是，随着 std::function、std::bind 和 lambdas 的新模板魔法，现在在模板参数中看到裸函数类型变得更加普遍。