如何在模板化基类中命名嵌套模板？

Question

在下面的设置中，我怎样才能使我可以在派生类Derived<T>中引用名称Bar？

template <typename T> struct Foo
{
    template <typename U> struct Bar { };
};

template <typename T> struct Derived : Foo<T>
{
    // what goes here?

    Bar<int> x;  // Error: 'Bar' does not name a type
};

我试过using Foo<T>::Bar;，但这没有帮助。是否有任何类型的 using 声明可以使派生类知道嵌套基模板的名称，以便我可以保留简单的声明 Bar<int> x？

我知道我可以说typename Foo<T>::template Bar<int> x;，但我有很多这样的情况，我不想用这么多冗长不必要地给代码增加负担。我也有很多不同的“ints”，所以每个嵌套模板实例的typedef 也不可行。

另外，我现在不能使用 GCC 4.7 也不能使用 C++11，因此我想要一个没有模板别名的“传统”解决方案。

Answer 1

在 C++11 中，您可以使用别名模板：

template <typename T> struct Derived : Foo<T>
{
  template<typename X> using Bar = typename Foo<T>::template Bar<X>;
  Bar<int> x;
};

编辑

传统的解决方案就是你已经说过的typename Foo<T>:template Bar<int>，或者模拟“模板类型定义”

template <typename T> struct Derived : Foo<T>
{
  template<typename X>
    struct Bar
    { typedef typename Foo<T>::template Bar<X> type; };
  typename Bar<int>::type x;
};

在语言中添加别名模板的原因之一是它们支持在 C++03 中无法轻松表达的东西。

Answer 2

将x 声明为Foo<T>::Bar<int> x; 对我很有效。

Answer 3

这行得通：

template <typename T> struct Foo
{
    template <typename U> struct Bar { };
};

template <typename T> struct Derived : Foo<T>
{
    template<class W>
    struct Bar : public Foo<T>::template Bar<W> {

    };

    Bar<int> x;  
};

IDK 如果这是您正在寻找的，但它确实可以编译。