从从属基类访问类型

有人知道为什么使用声明似乎不适用于从依赖的基类导入类型名吗?它们适用于成员变量和函数,但至少在GCC4.3中,它们似乎被类型忽略了。

template <class T>
struct Base
{
  typedef T value_type;
};

template <class T>
struct Derived : Base<T>
{
  // Version 1: error on conforming compilers
  value_type get();

  // Version 2: OK, but unwieldy for repeated references
  typename Base<T>::value_type get();

  // Version 3: OK, but unwieldy for many types or deep inheritance
  typedef typename Base<T>::value_type value_type;
  value_type get();

  // Version 4: why doesn't this work?
  using typename Base<T>::value_type;
  value_type get(); // GCC: `value_type' is not a type
};

我有一个基类,其中包含一组分配器样式的typedef,我希望在继承的各个级别中继承这些typedef。到目前为止,我发现最好的解决方案是上面的版本3,但我很好奇为什么版本4似乎不起作用。GCC接受使用声明,但似乎忽略了它。

我已经检查了C++标准,C++ + PROG。Lang.第三Ed.[StruouStrup ]和C++模板[Vandevoorde,Jojuts],但似乎没有一个解决使用声明是否可以应用于依赖基类类型的问题。

如果它有助于看到另一个例子, here is the same question being asked 但在GCC邮件列表中没有真正回答。询问者表示他在其他地方看到过“使用类型名”,但GCC似乎不支持。我没有另一个合格的编译器来测试它。