c++ - 仿函数/函数对象的 is_function 类型特征

Question

考虑以下代码:

struct Bar { 
  void operator()() {}
};

int main() {
  std::cout << std::boolalpha << std::is_function<Bar>::value << 
}

输出为false。

这里并不奇怪，因为仿函数 Bar 不符合函数类型 §8.3.5 Functions [dcl.fct]。

现在考虑以下代码:

struct Bar { 
  void operator()() {}
};

int main() {
  std::cout << std::boolalpha << std::is_function<Bar()>::value << std::endl;
                                                     ^^
}

请注意 Bar 之后的括号。输出为 true。

Bar() 是如何限定为函数类型的？

我的猜测是这是一个最令人烦恼的解析案例，但它在模板参数列表中怎么可能呢？

Answer 1

嗯，我不认为它是 MVP，它只是返回 Bar 的函数类型并且不接受任何参数。

就是这个函数

Bar foo();

类型为 Bar() .

很自然地，std::is_function<Bar()>::value是true .

这将是相同的:

typedef Bar F();
std::cout << std::is_function<F>::value << std::endl;