c++ - 括号后面的类名是什么类型

Question

我无法理解https://github.com/hmenke/boost_matheval/blob/master/src/qi/parser.hpp#L43中的这种语法

struct bar {
    bar() {}
};

template<typename _T>
class foo {
public:
    foo() {}
};

...
foo<bar()> fb;
...

模板 foo 的特化中 _T 的类型是什么？如何在 foo 中使用_T？

Answer 1

它是函数的类型。当你声明时

bar function();

即，一个不带参数并返回一个 bar 的函数，那么 function 有一个类型，它是 bar()。 _T 代表它。就像您有别名一样

using _T = bar();

或

typedef bar _T();

这并不是一种罕见的类型。例如，函数类型是 std::function接受。如何使用它取决于类模板的目的以及它的潜在特化方式。