未推导尾随类模板参数

Trailing class template arguments not deduced

本文关键字：参数      更新时间：2023-10-16

下面的代码无法使用 gcc 7.1.0 编译，它抱怨在 main 的第二行中提供了错误数量的模板参数。这个版本的GCC应该实现类模板的模板参数推导。

我认为编译器应该能够推断出 Bar 的类模板参数 T2，这意味着我不必明确指定这两个参数 (Bar<int, int>(，因为 C++17 草案的第 17.8.1.3 段说，"可以从显式模板参数列表中省略可以推导出 (17.8.2( 或从默认模板参数中获得的尾随模板参数。

我错了吗？编译器错了吗？这是疏忽还是故意设计？

template <typename T>
struct Foo {
Foo(T t) {}
};
template <typename T1, typename T2>
struct Bar {
Bar(T2 t) {}
};
template <typename T1, typename T2>
void bar(T2 t) {}
int main(int argc, char **argv) {
Foo(42); // Works
Bar<int>(42); // Fails to compile with "wrong number of
// template arguments (1, should be 2)"
bar<int>(42); // Works
}

这是预期行为;与模板参数推导(对于函数模板(不同，类模板参数推导(自 C++17 起(仅在未提供模板参数时才有效。

仅当没有模板时才执行类模板参数推导 提供了参数。如果至少指定了一个参数， 不进行扣除。

std::tuple t(1, 2, 3);              // OK: deduction
std::tuple<int,int,int> t(1, 2, 3); // OK: all arguments are provided
std::tuple<int> t(1, 2, 3);         // Error: partial deduction

这意味着对于您的示例，您无法利用类模板参数推导，而必须指定所有模板参数。如果希望类模板参数推导生效，则必须指定 none，但无法推断模板参数T1。

另一方面，以下代码将起作用。

template <typename T1, typename T2>
struct Bar {
Bar(T1, T2) {}   // make it possible to deduce T1
};
int main(int argc, char **argv) {
Bar bar(42, 42); // take advantage of class template argument deduction
}
相关文章：