c – 使用非类型参数包进行不明确的类模板实例化

#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,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,1> > >'
[x86-64 gcc 6.3] error: variable 'Expr<double,1> > > test' has initializer but incomplete type

在这里,特别是第一个错误困扰我.我试图弄清楚为什么这是一个模棱两可的实例.

编译器不应该选择专业化#2吗？

如果我避免在std :: integral_constant中包装非类型参数包int … i,它会编译没有任何问题,并选择第二个特化.以下示例有效：

#include <tuple>
#include <type_traits>
#include <iostream>

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,mylist> test{};

    return 0;
}