名前空間のテンプレートで宣言されたフレンド演算子を定義するにはどうすればよいですか？

debugcn 投稿 Dev

ファラプ

私はこのようなクラスを持っています：

namespace N
{
  template<unsigned Mantissa, unsigned Fraction>
  class C
  {
  //...
  public:
    friend C<Mantissa, Fraction> operator +(const C<Mantissa, Fraction> & left, const C<Mantissa, Fraction> & right);
  //...
  };
}

そして、私はそれをoperator +個別に定義しようとしてきましたが、それを機能させることができません。

私はもう試した：

    template<unsigned Mantissa, unsigned Fraction>
    N::C<Mantissa, Fraction> N::operator+(const N::C<Mantissa, Fraction> & left, const N::C<Mantissa, Fraction> & right)
    {
        //...
    }

しかし、「C2244 '演算子+'：関数定義を既存の宣言と一致させることができません」というメッセージが表示されます。

私はもう試した：

    template<unsigned Mantissa, unsigned Fraction>
    N::C<Mantissa, Fraction> operator+(const N::C<Mantissa, Fraction> & left, const N::C<Mantissa, Fraction> & right)
    {
        //...
    }

しかし、リンカーエラーが発生します。

私はもう試した：

namespace N
{
    template<unsigned Mantissa, unsigned Fraction>
    C<Mantissa, Fraction> operator+(const C<Mantissa, Fraction> & left, const C<Mantissa, Fraction> & right)
    {
        //...
    }
}

しかし、同じリンカーエラーが発生します。

問題が何であるか、またはそれを解決する方法がわかりません。フィールドにアクセスしてoperatorいるfriendため、これはである必要がありprivateます（フィールドを作成する必要があります。publicそれ以外の場合は、回避できる場合は実行したくありません）。

ソンユアンヤオ

operator+クラス定義内で非テンプレート関数として宣言されていますが、後で関数テンプレートとして定義しようとしていますが、一致しません。関数テンプレートにしたい場合は、次のことができます。

namespace N
{
  // forward declaration of the class template
  template<unsigned Mantissa, unsigned Fraction>
  class C;
  // forward declaration of the function template
  template<unsigned Mantissa, unsigned Fraction>
  C<Mantissa, Fraction> operator +(const C<Mantissa, Fraction> & left, const C<Mantissa, Fraction> & right);

  template<unsigned Mantissa, unsigned Fraction>
  class C
  {
  //...
  public:
    // the instantiation of operator+ with template parameter of current Mantissa and Fraction becomes friend
    friend C<Mantissa, Fraction> operator + <>(const C<Mantissa, Fraction> & left, const C<Mantissa, Fraction> & right);
    //                                      ~~
  //...
  };
}

// definition of the function template
template<unsigned Mantissa, unsigned Fraction>
N::C<Mantissa, Fraction> N::operator+(const N::C<Mantissa, Fraction> & left, const N::C<Mantissa, Fraction> & right)
{
    //...
}

これを非テンプレート関数にしたい場合は、クラス定義内で定義するだけです。

namespace N
{
  template<unsigned Mantissa, unsigned Fraction>
  class C
  {
  //...
  public:
    // defined as non-template
    friend C<Mantissa, Fraction> operator +(const C<Mantissa, Fraction> & left, const C<Mantissa, Fraction> & right) {
      //...
    }
  //...
  };
}

この記事はインターネットから収集されたものであり、転載の際にはソースを示してください。

侵害の場合は、連絡してください[email protected]