[英]Using member of template class to instantiate template default parameter in MSVC++
下面的代码是我试图从GCC / G ++移植到Microsoft Visual C ++ 2010的大型项目的简化示例。它可以在G ++上很好地编译,但是在MSVC ++上,它会引发错误,并且我很难理解为什么。
template <typename A, typename B = typename A::C::D> // line 1
struct foo
{
typedef int type;
};
template <template <typename> class E, typename T>
typename foo<E<T> >::type // line 8
bar(){}
来自MSVC ++的错误消息是:
example1.cpp(1) : error C2027: use of undefined type 'E<T>'
example1.cpp(8) : error C2146: syntax error : missing ',' before identifier 'D'
example1.cpp(8) : error C2065: 'D' : undeclared identifier
我尝试了一些更改来缩小问题的范围,虽然我不太了解,但是发现的是:如果在第1行中,我将A::C::D
替换为A::C
,效果很好。 如果我更换template <typename> class E
只用typename E
并作出foo<E>
它工作正常。 如果像这样在第8行中显式指定foo
的第二个模板参数,则效果很好:
typename foo<E<T>, typename E<T>::C::D>::type // line 8
而且,如果我在第1行中将A::C::D
替换为无害的名称,例如typename B = A
,但添加另一种使用A::C::D
作为typedef typename A::C::D qux;
按照foo
的定义,也可以正常工作。
有任何想法吗? 我缺少什么C ++规则?
根据jpalecek的建议,我将其报告为Microsoft的错误,并且Microsoft已确认这确实是其编译器中的错误:
https://connect.microsoft.com/VisualStudio/feedback/details/576196
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.