c++ - 为什么 VC++2013 拒绝编译嵌套类型，在用作模板函数返回类型时使用 using 关键字使其可见？

Question

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;

为了让代码正确编译和运行，但某些(可能)有效的代码在某些编译器上编译而不是在其他编译器上编译似乎不利于可移植性 - 因此需要澄清。

Answer 1

这确实是一个编译器错误——ICC、CLang 和 G++ 都接受此代码，并在 Godbolt 上进行了验证。 .

我能找到的标准中最适用的语言是 7.3.3 (namespace.udecl) p2(引自 N3337)

Every using-declaration is a declaration and a member-declaration and so can be used in a class definition.

附言ICC、CLang 和 G++ 也都接受 typedef 版本。