Question

我对下面的模板行为感到困惑，它使用空尖括号（没有参数的模板）编译得很好，因为语法上，模板＆lt;＆gt;保留用于标记显式模板特化。

template <typename T> void add(T a, T b) { }
int main() {
    add<>(10, 3); // compiles fine since both parameters are of same data type
    add<>(10, 3.2); // Error: no matching function for call to add(int, double)
}

在上面的例子中，模板参数真的是可选的吗？

Answer 1

template<>保留用于标记显式模板特化。

根据具体情况，这意味着各种各样的事情。这意味着“使用默认或推断的参数”，就像您只是简单地说add。

在第一种情况下，两个函数参数具有相同的类型，因此模板参数可以推导为int。

在第二种情况下，它们具有不同的类型，因此无法推导出模板参数。你必须指定你想要的东西，例如add<double>，转换一个函数参数以匹配另一个函数参数，或修改模板以分别对每个类型进行参数化。

在上面的例子中，模板参数真的是可选的吗？

是的，如果可以从参数类型中推断出来。

Answer 2

在第一种情况下，是因为可以通过标准规则推断出来。在第二个，没有因为他们不能 - 你必须写下这样的东西：

add<float>(10, 3.2);

Answer 3

您有一个模板参数和两个不同类型的函数参数。模板参数推导需要匹配两个参数，但如果提供int和double，则它不起作用。原因是推断的参数必须完全匹配，并且不考虑类型转换。

语法

add<double>(10, 3.2);

会明确强制T等于double。在这种情况下，int常量10将转换为double。

您还可以添加另一个重载

template <typename T, typename U> void add(T a, U b) { }

并且可能通过要求is_convertible<T, U>

来限制使用SFINAE

带有空尖括号的模板函数调用＆lt;＆gt;

3 个答案: