運算符<<用於模板類的內部類

Question

我想實現operator <<，它將打印模板類的內部類的內容，即X<T>::Y。可以添加任何需要的friend聲明。怎麼做？

這裏是什麼，我想在編譯C++ 11一個完​​整的例子：

#include <iostream> 

template <typename T> 
class X { 
public: 
    X(T d): y(d) {} 

private: 
    class Y { 
    public: 
     Y(T d): data(d) {} 

    private: 
     T data; 

     template <typename U> 
     friend std::ostream &operator <<(std::ostream &os, const typename X<U>::Y &y); 
    }; 

    Y y; 

    template <typename U> 
    friend std::ostream &operator <<(std::ostream &os, const X<U> &x); 
}; 

// This operator is not detected by the operator below 
template <typename U> 
std::ostream &operator <<(std::ostream &os, const typename X<U>::Y &y) { 
    os << "Y(" << y.data << ")"; 
    return os; 
} 

template <typename U> 
std::ostream &operator <<(std::ostream &os, const X<U> &x) { 
    os << "X " << x.y; 
    return os; 
} 

int main() { 
    std::cout << X<int>(1); 
    return 0; 
} 

編譯器的錯誤，我得到的是：

error: no match for 'operator<<' (operand types are 'std::basic_ostream<char>' and 'const X<int>::Y') 
os << "X " << x.y; 
      ^

Answer 1

這不起作用，因爲typename X<U>::Y是依賴類型。如果你想打印例如一個int，如果編譯器只是測試所有可能的U（因爲遞歸有很多很多）的類型以便檢查，typename X<U>::Y的結果是否爲int（考慮模板特化！）？因此，唯一的可能性是實施正確的朋友語句的函數：

class Y { 
public: 
    Y(T d): data(d) {} 

private: 
    T data; 

    friend std::ostream &operator <<(std::ostream &os, Y const& y) 
    { 
     os << "Y(" << y.data << ")"; 
     return os; 
    } 
}; 

http://ideone.com/dx8Qri