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

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) 容易得多，因为这将涉及根据构造函数之间的重载决议推断类型和根据推断的类型（请记住，构造函数可以重载并且类型可以部分专业化）。

Answer 2

这不起作用的原因相同：

// attempt to create a std::vector<std::string> of ten "x" strings:
std::vector v(10, "x");

事实上，它应该会产生同样的错误信息。

使用类似这样的东西来使用类型推导：

template <class Type>
Delegate<Type> MakeDelegate(Type const &x)
{
    return Delegate<Type>(x);
}

或者像 std::vector 那样做，明确声明类型。

顺便说一句，main 必须返回int，未知类型的参数（即在模板中）应该使用const& 传递。