c – 为什么这个模板类没有编译？

发布时间：2020-12-16 09:51:25 所属栏目：百科来源：网络整理

导读：所以我有以下代码： template typename Typeclass Delegate{public: Delegate(Type x) { }};void Method(){}int main(){ Delegate d(Method); return 0;} 我的问题是：为什么编译器不能根据传递给构造函数的内容推断出模板类型？我得到的编译错误是：类模板

所以我有以下代码：

template <typename Type>
class Delegate
{
public:
    Delegate(Type x)
    {
    }
};

void Method()
{
}

int main()
{
    Delegate d(&Method);
    return 0;
}

我的问题是：为什么编译器不能根据传递给构造函数的内容推断出模板类型？我得到的编译错误是：类模板的参数列表缺少委托.我理解这一点,但我认为类型推断可以克服这一点,以允许更清晰的语法.

解决方法

因为模板参数扣除仅适用于函数.类模板总是需要显式参数.

这就是为什么许多模板都有一个“命名构造函数”,它只是一个简单构造一个临时实例的函数,但由于它是一个函数模板而不是类模板,因此推导出了参数.例如std::make_pair.

C 11引入了auto的这个新含义,实际上允许你推导出变量的类型.因此,如果你有C 11,你可以为你的类创建一个“命名构造函数”,例如：

template <typename Type>
Delegate<Type> delegate(Type x) { return Delegate<Type>(x); }

你可以创建一个推导类型的变量,如：

auto d = delegate(&Method);

请注意,这推断d恰好是初始化程序返回的类型(如果需要,可以使用auto&或auto&&&&).这比尝试推断假设的委托d(& Method)更容易,因为这将涉及在构造函数和可行构造函数集之间根据推导的类型推断类型之间的循环依赖性(记住,构造函数可以是重载和类型可以部分专业化).

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!