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

问：

Visual Studio 2013 （update 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;

为了让代码正确编译和运行，但对于某些（潜在）有效的代码来说，在某些编译器上编译而不是在其他编译器上编译似乎不利 - 因此需要澄清。