c++ - 在与父类具有相同类型的类中声明模板类

Question

花式计算/移位 operator<<对于类范围内的类。

template <typename X, typename Y> class Foo {
public:
    template <typename A, typename B> class Bar {
        A a;
        B b;
    };

    Bar<X,Y> baba;
};

template <typename V, typename W>
std::ostream &operator<< (std::ostream& os, Foo<V,W>::template Bar<V,W> *b) {return os;}

这不会编译。但是如何正确地做到这一点呢？

---

错误:

error: expected template-id for type before ‘*’ token
  std::ostream &operator<<(std::ostream &os, Foo<V, W>::template Bar<V, W> *b)

Answer 1

应该是:

template <typename V, typename W>
std::ostream &operator<< (std::ostream& os, typename Foo<V,W>::template Bar<V,W> &b) {return os;}

但是改变类可能更简单:

template <typename X, typename Y> class Foo {
public:
    class Bar {
        X a;
        Y b;
    };

    Bar baba;
};

template <typename V, typename W>
std::ostream &operator<< (std::ostream& os, const typename Foo<V,W>::Bar& b) {return os;}

真正的解决方案(避免类型推导问题)是将自由函数放在类中:

template <typename X, typename Y> class Foo {
public:
    class Bar {
        X a;
        Y b;

        friend
        std::ostream &operator<< (std::ostream& os, const Bar &b) {return os;}
    };

    Bar baba;
};