<<(output)のオペレーターのオーバーライドをしたいです。C++

Question

<<(output)のオペレーターのオーバーライドをしたいです。

下記で、cout << *(currentEntry -> getValue());このように表示をしたいのですが、
<< を overrideする必要があるとのことでした。
どのように overrideをしていいのかが分からず、試行錯誤しているのですが、
アドバイスをいただけないでしょうか？

エラーはこのように出ています。

template <typename Type>  //これを追加しました。
class Animal{
    private:
        int id;
        int name

    public:
        template<typename Type> //この関数の上に typename Typeを記入しました。
        void operator<<(HashEntry<Type>* tmp){ cout << tmp ->getValue(); }

上記で追加したところ出るエラーは下記のエラーです。

using namespace std;

template<typename Type>
class HashEntry{
    private:
        int key;
        Type value;
        HashEntry* next;

//この下でオーバーライドした<<オペレーターを使用したいです。
void printTable(){
    HashEntry<Type>* currentEntry = table[i];
    while(currentEntry -> getNext() != NULL){
        cout <<(currentEntry);
        //cout << *(currentEntry -> getValue()); これは使うべきではないと思っています。

Comments

[yohhoy]

掲示コードでは Animal クラステンプレート と HashEntryクラステンプレート の関係性が読み取れませんが、両者はどのような関係にあるのでしょうか？

Answer 1

<<(output)のオペレーターのオーバーライドをしたいです。

自作クラステンプレートに対してストリーム出力演算子operator<<をオーバーロード(overload)提供する場合、下記2パターンのいずれかの記述となります。いずれのパターンでも、戻り値と第1引数はstd::ostream&とすべきです。

#include <iostream>

template <typename Type>
class MyClass {
  // ...
public:
  // (1) クラス定義内でfriend関数としてオーバーロード
  friend std::ostream& operator<<(std::ostream& os, const MyClass& self) {
    os << self./*...*/;  // メンバ変数を出力(privateにもアクセス可)
    return os;  // 必ず出力ストリームosを返す
  }
};

// (2) クラス定義とは別にfree関数としてオーバーロード
template <typename Type>
std::ostream& operator<<(std::ostream& os, const MyClass<Type>& self) {
  os << self./*...*/;  // メンバ変数を出力(publicのみアクセス可)
  return os;  // 必ず出力ストリームosを返す
}

※: ワイド文字(wchar_t)もサポートしたい場合は、std::basic_ostream<CharT>に対して演算子オーバーロードを定義する必要があます。この回答では簡単のためstd::ostreamだけ対象としました。

Comments

[alizona]

ありがとうございました。
返信が遅れてしまい申し訳ありませんでした。
大変勉強させていただきました。

Answer 2

ostreamのopertor<<をオーバロードするには以下のようにすれば良いと思います。
ostreamのoperator<<をオーバーロードするため、そのクラスの中にoperator<<を定義してはだめです。

例)

//サンプルクラス
struct Abc {
    int a;
};

// クラスAbcの内容を出力する
// operator<<
std::ostream& operator<<(std::ostream& os, Abc& a) {
    os << a.a << std::endl;
    return os;
}

int main() {
    Abc abc;
    // abcの内容を出力
    std::cout << abc;
}

Comments

[alizona]

ありがとうございました。ひじょうにわかりやすく理解することができました。

Answer 3

エラーメッセージのとおりです。Typeという型がスコープに存在していません。

意図がわからないので確定的なことは言えないですが、「Typeを具体的な型に書き換える」あるいは「class Animal自体をtemplate<typename Type>でテンプレート化する」のどちらかが、やりたいことではないかと思います。

Comments

[alizona]

class Animalのなかで template <typename Type>をしたのですが、そうするとAninal classの cppファイルでエラーが出ます。

[maisumakun]

どのようなエラーが出ましたか？

[alizona]

エラーを上記に、画像として追加させていただきました。
アドバイスをいただきまして本当にありがとうございます。

[maisumakun]

エラーメッセージのとおり、C++17未満では、テンプレート化されたクラスのメソッド定義にも<typename Type>が必須です。

（コンパイラによっては、テンプレートクラスはメソッドも全てヘッダ内に書かなければいけない場合もあります）

[alizona]

Animalクラスの定義の中の publicの下に書いてある operator<<の上で、 typename Typeを記入しました。
つまり、クラス定義の上と、関数定義の上の２カ所で、template <typename Type> を定義するということでいいでしょうか？

回答いただき本当にありがとうございます。