[英]Ambiguous class template instantiation with nontype parameter packs
我正在尝试专门研究Expr
:
#include <tuple>
#include <type_traits>
#include <iostream>
template<class Tp, class List>
struct Expr {
Expr(){std::cout << "0"<< std::endl;};
};
//specialization #1
template<class Tp, int...i>
struct Expr<Tp,std::tuple<std::integral_constant<int,i>...>> {
Expr(){std::cout << "1"<< std::endl;};
};
//specialization #2
template<int...i>
struct Expr<double,std::tuple<std::integral_constant<int,i>...>> {
Expr(){std::cout << "2"<< std::endl;};
};
int main() {
typedef std::tuple<std::integral_constant<int,1>> mylist;
Expr<double,mylist> test{};
return 0;
}
但是,出现以下编译器错误:
[x86-64 gcc 6.3] error: ambiguous template instantiation for 'struct Expr<double, std::tuple<std::integral_constant<int, 1> > >'
[x86-64 gcc 6.3] error: variable 'Expr<double, std::tuple<std::integral_constant<int, 1> > > test' has initializer but incomplete type
在这里,尤其是第一个错误困扰着我。 我试图弄清楚为什么这是一个模棱两可的实例。
编译器不应该选择specialization #2
吗?
如果我避免将非类型参数包int...i
包装在std::integral_constant
则可以毫无问题地进行编译,并选择第二种特殊化方法。 以下示例起作用:
#include <tuple>
#include <type_traits>
#include <iostream>
template<class Tp, class List>
struct Expr {
Expr(){std::cout << "0"<< std::endl;};
};
//specialization #1
template<class Tp, class...args>
struct Expr<Tp,std::tuple<args...>> {
Expr(){std::cout << "1"<< std::endl;};
};
//specialization #2
template<class...args>
struct Expr<double,std::tuple<args...>> {
Expr(){std::cout << "2"<< std::endl;};
};
int main() {
typedef std::tuple<std::integral_constant<int,1>> mylist;
Expr<double,mylist> test{};
return 0;
}
那是不对的。 这是一个gcc错误(我找不到错误报告,也许还没有报告?)。
没错,必须选择专业化#2。 因为有两个匹配的特殊化,所以偏序选择最特殊的一个,在您的情况下为#2(作为第一个参数的double
精度比任何类型的第一个参数更特殊)。
此外,clang可以毫无问题地编译您的代码。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.