C++流运算符的部分模板特化

Question

我有一个带有友元函数的 Matrix 类，可与运算符 << 一起使用。这一切都工作正常，但我现在想要部分专门化该友元函数，以便在 Matrix 类将 Matrix 作为其模板参数时以不同的方式工作（即，当该类的实例已声明为 Matrix> 时）。首先在类定义中我

template <typename U>
friend std::ostream& operator<<(std::ostream& output, const Matrix<U>& other);

尝试添加，

friend std::ostream& operator<<(std::ostream& output, const Matrix<Matrix<char> >& other);

但这给了我来自编译器的多个声明错误。 我似乎不知道如何实现这一点。

Answer 1

不存在函数模板的部分特化。

你需要重载，而不是专业化。这应该可以干净地编译、链接和运行（对我来说就是如此）：

#include <iostream>

template <typename T>
class Matrix {
  public:
    template <typename U> friend std::ostream& 
        operator<<(std::ostream& output, const Matrix<U>& other);
    friend std::ostream& 
        operator<<(std::ostream& output, const Matrix<Matrix<char> >& other);    
};


template <typename U>
std::ostream& 
operator<<(std::ostream& output, const Matrix<U>& other)
{
    output << "generic\n";
    return output;
}

std::ostream& 
operator<<(std::ostream& output, const Matrix<Matrix<char> >& other)
{
    output << "overloaded\n";
    return output;
}

int main ()
{
    Matrix<int> a;
    std::cout << a;

    Matrix<Matrix<char> > b;
    std::cout << b;
}

如果您从中收到编译器错误，则您可能有一个有错误的编译器。

Answer 2

尝试明确地编写专业化：

template <>
friend std::ostream& operator<< <Matrix<char> >(std::ostream& output,
                                       const Matrix<Matrix<char> >& other);