C++，这个语法是什么意思？答案

【问题标题】：C++, what does this syntax mean?C++，这个语法是什么意思？
【发布时间】：2010-06-09 13:52:20
【问题描述】：

这个语法是什么意思？

struct actor ... {
        ...
        template <typename T0, typename T1>
        typename result<actor(T0&,T1&)>::type // this line

我知道 typename 和 templates 是什么，我的问题是关于 actor(T0&,T1&) 语法

谢谢

【问题讨论】：

【解决方案1】：

该文件的完整声明如下：

template <typename T0, typename T1>
typename result<actor(T0&,T1&)>::type
operator()(T0& _0, T1& _1) const
{
    /* snip */
}

如果你把它分解成块，它会更容易阅读：

template <typename T0, typename T1>

这是一个模板...

operator()(...) const

...一个模板化的函数调用操作符函数...

operator()(T0& _0, T1& _1) const

...它接受两个参数，通过引用，类型为T0 和T1...

typename result<...>::type

...并返回类型为type 成员result...的结果...

typename result<actor(T0&,T1&)>::type

...result 的类型由表达式 actor(T0&,T1&) 参数化。

【讨论】：

【解决方案2】：

所以这意味着有一个名为 result 的模板，并且在 result 中有一个名为 type 的类型。

template <class T>
class result
{
public:
    typedef ... type;
};

因此该行正在使用模板中的该类型。

因为编译器不知道result<actor(T0&,T1&)>::type是什么，所以需要用typename告诉编译器把它当作一个类型来对待。

更新

actor(T0&,T1&) 是一个函数，采用 T0& 和 T1& 并按值返回 actor。

【讨论】：