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

Question

我有一个 Matrix 类，它带有一个与 operator> >），我现在想部分地专门化该友元函数以使其工作方式不同。在类定义中，我首先拥有

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

There's no such thing as a partial specialization of a function template.

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

#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);