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

Question

所以我有以下代码:

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

void Method()
{
}

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

我的问题是:为什么编译器不能根据传递给构造函数的内容推断出模板类型？我得到的编译错误是:Argument list for class template Delegate is missing.我理解,但我认为类型推断可以克服这一点,以允许更清晰的语法.

Answer 1

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

这就是为什么许多模板都有一个"命名构造函数",它只是一个简单构造临时实例的函数,但由于它是一个函数模板而不是类模板,因此推导出了参数.例如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 &&如果需要,但不会超出此范围).这比尝试推断假设更容易Delegate d(&Method),因为这将涉及在构造函数和可行构造函数集之间根据推导类型推断类型之间的循环依赖性(记住,构造函数可以重载,类型可以部分专门化) ).