重载运算符<<用于模板类

Question

我有重载operator <<为模板类的问题.我使用的是Visual Studio 2010,这是我的代码.

#ifndef _FINITEFIELD
#define _FINITEFIELD
#include<iostream>

namespace Polyff{
    template <class T, T& n> class FiniteField;
    template <class T, T& n> std::ostream& operator<< (std::ostream&, const FiniteField<T,n>&);

    template <class T, T& n> class FiniteField {
    public:
            //some other functions
    private:
        friend std::ostream& operator<< <T,n>(std::ostream& out, const FiniteField<T,n>& obj);
        T _val;
    };

    template <class T, T& n>
    std::ostream& operator<< (std::ostream& out, const FiniteField<T,n>& f) {
        return  out<<f._val;
    }
    //some other definitions
}
#endif

在主要我只是

#include"FiniteField.h"
#include"Integer.h"
#include<iostream>
using std::cout;
using namespace Polyff;
Integer N(5);

int main () {

    FiniteField<Integer, N> f1;
    cout<< f1;  
}

哪里Integer只是int我需要的一些特殊功能的包装.

但是,当我编译上面的代码时,我得到了错误C2679,它说 binary '<<' : no operator found which takes a right-hand operand of type 'Polyff::FiniteField<T,n>' (or there is no acceptable conversion)

我还尝试删除友元声明中的参数,以便代码变为:

friend std::ostream& operator<< <> (std::ostream& out, const FiniteField<T,n>& obj);

但这会产生另一个错误:C2785: 'std::ostream &Polyff::operator <<(std::ostream &,const Polyff::FiniteField<T,n> &)' and '<Unknown>' have different return types

所以我想知道我应该如何更改代码以便编译以及为什么？谢谢!

-------------------------编辑于2012.12.31 -------------------- -------

代码现在用g ++编译.这是github存储库.

Answer 1

我尝试在 Visual C++ 2010 上编译您的代码。我得到了与您相同的错误。

实际上，Visual 不喜欢您的代码中的两件事：

1. N 不是编译时常量（这是正确的，不是吗？）。
2. 那么问题是获取编译时常量的引用。因此，您应该在所有模板参数中将“T& n”替换为“T n”。

这对我来说是一份工作！