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;

为了使代码能够正确编译和运行,但是对于某些(可能)有效的代码在某些编译器而不是其他编译器上进行编译而言,可移植性似乎不好 – 因此需要澄清.