模板类的重载运算符

Question

我在运算符过载时遇到问题

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

其中＜code＞Integer＜/code＞只是＜code＞int＜/code＞的包装，带有我需要的一些特殊功能。

然而，当我编译上面的代码时，我得到了错误C2679，它表示＜code＞binary'

我还试图删除友元声明中的参数，因此代码变成了:

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

但这会产生另一个错误：C2785:的std：：ostream

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

-------------------------2012年12月31日编辑---------------------------

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




Answer 1

您只需将引用替换为普通变量（tn），而不是T

Answer 2

我试着在我的Visual C 2010上编译你的代码。我和你犯了同样的错误。

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

< li>N不是编译时常数(哪个是正确的，不是？). < li >接下来的问题是引用编译时间常数。因此，您应该替换“T

这就是我的工作！

Answer 3

匿名用户

这似乎如预期那样工作:

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.n; // I added the field of my Integer class
  }
  //some other definitions
}


struct Integer{
  Integer() : n(0){}
  Integer(int nn) : n(nn){}
  int n;
};

using std::cout;
using namespace Polyff;
Integer N(5);

int main () {
  FiniteField<Integer, &N> f1;
  cout<< f1;  
}

我刚刚在模板参数中用对象的指针替换了引用，因为指向全局对象（静态或非静态）的指针是在编译时（或至少是链接时）已知的信息。我不知道接受参考文献的语言。

请注意，在此示例中，将打印< code>0，因为它对应于< code>_val的默认构造。