以下代码在 g++ (Debian) 上正确编译,出现 0 个警告:
#include <list>
template <typename T>
struct A
{
T a;
typedef T value_type;
};
template <typename T>
struct B
{
typedef std::list < A <T> > Type;
};
template <typename Data>
void test ( Data d, typename Data::value_type::value_type b ) { }
int main(int argc, char* argv[])
{
B <double> ::Type b;
double c = 0.0;
test <typename B <double>::Type > (b, c);
return 0;
}
但是,使用VS 2010编译器后,出现如下错误:
Error 1 error C2770: invalid explicit template
argument(s) for 'void test(Data,Data::value_type::{ctor})
为什么明确的论点不正确?
更新的问题
我不确定您的建议是否被正确理解。你提到过这样的事情吗?但是,这种结构对我来说没有意义。
template <typename Data>
void test ( Data d, typename identity <typename Data::value_type>::type::value_type b) { }