Visual Studio 2013(更新2)在编译返回类型为嵌套类型名称的模板函数时抛出编译时错误,该名称已通过多次继承隐藏,并使用using
关键字再次可见;如以下代码所示:
struct Base1
{
typedef int value_type;
};
struct Base2
{
typedef double value_type;
};
struct Derived : Base1, Base2
{
using Base1::value_type;
};
template<typename T>
typename T::value_type nullary_function() { return 0; }
template<typename T>
typename T::value_type unary_function(T t) { return 0; }
int main()
{
nullary_function<Derived>(); // Error: C2770
unary_function( Derived() ); // Error: C2893
return 0;
}
(错误号根据函数是否接受模板参数而变化,如注释中所示。)
G++4.7接受此代码。
具体来说,我想知道C++标准对此有什么看法,以及这是否是一个VC++编译器错误。(在我看来,用using
关键字使嵌套类型可见,使它们在我所知的所有其他情况下都可见。)
我还知道,带有using
关键字的行可能会从更改
using Base1::value_type;
至
typedef Base1::value_type value_type;
为了使代码能够正确编译和运行,但某些(潜在的)有效代码在某些编译器上编译而不是在其他编译器上编译似乎不利于可移植性,因此需要澄清。
这确实是一个编译器错误——ICC、CLang和G++都接受在Godbolt上验证的代码。
我能找到的标准中最适用的语言是7.3.3(namespace.udcl)p2(引用自N3337)
每个using声明都是声明成员声明
p.S.ICC、CLang和G++也都接受typedef版本。