为什么VC++2013拒绝编译嵌套类型,当用作模板函数返回类型时,用using关键字使其可见
Why does VC++2013 refuse to compile nested types, made visibile with the using keyword, when used as a template functions return type?
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版本。
相关文章:
- 如何获取std::result_of函数的返回类型
- 奇怪的结构&GCC&clang(void*返回类型)
- 如何建立使用模板函数的lambda函数的尾部返回类型
- 为什么与常规GCC不同,即使有"学究性错误",MinGW-GCC也能容忍丢失的返回类型
- 在没有定义返回类型的函数中返回布尔值,并将结果保存在无错误的char编译中-为什么
- 特征::矩阵<双精度,1,3> 结构类型函数中的返回类型函数
- 函数作为模板参数,是否对返回类型强制约束
- C++中函数的向量返回类型引发错误
- 检查函数返回类型是否与STL容器类型值相同
- 为什么返回类型中需要typename?C++
- <Windows>为什么 std::thread::native_handle 返回类型为"long long unsigned int"的值,而不是 void*(又名 HANDLE)?
- 警告:在函数返回类型 [-Wignore 限定符] 时忽略类型限定符
- 为什么 c++(g++) 不允许模板返回类型和函数名称之间有空格?
- 为什么返回类型的'const'限定符对标有 __forceinline/内联的函数没有影响?
- 推导 std::vector::back() 的返回类型
- 在 c++ 中将函数返回类型指定为模板参数
- 使用 SWIG 更改生成的 CS 函数中的返回类型
- QtQuick - qml:28:错误:未知方法返回类型:自定义类型
- 为什么VC++2013拒绝编译嵌套类型,当用作模板函数返回类型时,用using关键字使其可见
- 将using语句应用于函数的返回类型,而不应用于整个命名空间