带模板的朋友功能

Question

我有一个泛型类 Array1d，其友元函数声明为，

friend std::ostream& operator<< <>(std ::ostream& out, Array1D<T>& a);

并定义为

template<typename U>
std::ostream& operator<< (std ::ostream& out, Array1D<U> a){
    for(int i=0;i<a.size;i++){
        out<<a[i]<<" ";
    }
    out<<endl;
    return out;
}

但如果我尝试，

Array1D<int> a;
cout<<a;

我收到此错误

(1).cpp|62|error: template-id 'operator<< <>' for 'std::ostream& operator<<(std::ostream&, Array1D<int>&)' does not match any template declaration|

我已经尝试将它显式地设置为 int，

std::ostream& operator<< (std ::ostream& out, Array1D<int> a){
    for(int i=0;i<a.size;i++){
        out<<a[i]<<" ";
    }
    out<<endl;
    return out;
}

但它给出了同样的错误。帮助表示赞赏。

Answer 1

1. friend std::ostream& operator<< <>(std ::ostream& out, Array1D<T>& a);
2. template<typename U> std::ostream& operator<< (std ::ostream& out, Array1D<U> a)

这两个不是同一个函数。这是因为Array1D<T> 是一个具体类型。如果您希望 1. 匹配 2.，则需要将其设为模板，可能通过将其设为 Array1D<U>。如果您想过于谨慎，不妨检查一下 T=U。