int（int，int）样式模板函数类型语法

Question

我记得当使用Boost.Spirit时，对于C ++ 0x的std :: function添加，你可以使用不使用指针的语法指定函数类型，比如定义std::function<bool(int)> fn，而你会抛出像(bool(*)(int))fn这样的指针。

有人能告诉我这个新语法的名称或对此的任何引用，或者如何使用它？它看起来像一个多态函数类型语法也适用于仿函数，但我真的不知道如何使用它。

Answer 1

bool(int)是函数的类型; bool(*)(int)是函数指针的类型。换句话说，如果你定义

typedef bool(BF)(int);
typedef bool(pBF*)(int);

然后BF*与pBF相同。

std::function模板通过（variadic）模板捕获返回和参数类型：

template <typename R, typename ...Args> struct function
{
  function(R(&f)(Args...)); // conceptually
}

Answer 2

这不是新的sintax，虽然旧的编译器确实有时拒绝它。它只是函数的类型与函数指针的类型，类似于数组的类型与指向数组的指针。

没有函数l值并且函数r值快速衰减到指针到函数的事实使得它们大多无用。当然，除了模板的情况外。