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&传递未知类型的参数（即在模板中）。

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

2 个答案: