質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

89.24%

クラステンプレートの部分特殊化でメンバ関数の再定義を省略したい

解決済

回答 1

投稿 編集

  • 評価
  • クリップ 0
  • VIEW 360

s8079

score 33

前提・実現したいこと

クラステンプレートの部分特殊化は非常に便利です.
しかし,部分特殊化するとすべてのメンバ関数を再定義しなければなりません.
可能であれば,再定義する必要のないメンバ関数は流用したいです.
良い解決方法があれば,教えてください.
よろしくお願いします.
ソースコードはテンプレートの特殊化 | Programming Place Plus C++編【言語解説】 第23章のものを書き換えました.

発生している問題・エラーメッセージ

error: 'class DataStore<int*>' has no member named 'PrintInit'

該当のソースコード

#include <iostream>

template <typename T>
class DataStore {
private:
    T mValue;
    int init;
public:
    explicit DataStore(const T& value) : mValue(value), init(value) {}
    void Print() const;
    void PrintInit() const;
};

template <typename T>
void DataStore<T>::Print() const {
    std::cout << mValue << std::endl;
}

template <typename T>
void DataStore<T>::PrintInit() const {
    std::cout << init << std::endl;
}

template <typename T>
class DataStore<T*> {
private:
    T* mValue;
    // int init;
public:
    explicit DataStore(T* value) : mValue(value) {}
    void Print() const;
    // void PrintInit() const;
};

template <typename T>
void DataStore<T*>::Print() const {
    std::cout << *mValue << std::endl;
}

// template <typename T>
// void DataStore<T*>::PrintInit() const {
//     std::cout << init << std::endl;
// }

int main() {
    int num = 20;
    DataStore<int> ds1(10);
    DataStore<int*> ds2(&num);
    ds1.Print();
    ds1.PrintInit();
    ds2.Print();
    ds2.PrintInit(); // error
    return 0;
}

補足情報(FW/ツールのバージョンなど)

C++11が望ましいですが,C++であればバージョンは限定しません.

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 過去に投稿した質問と同じ内容の質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 1

checkベストアンサー

0

こんにちは。

共通部をまとめて基底クラス化すれば良いと思います。

#include <iostream>

class DataStoreCommon {
private:
    int init;
public:
    explicit DataStoreCommon(const int& value) : init(value) {}
    void PrintInit() const {
        std::cout << init << std::endl;
    }
};

template <typename T>
class DataStore : public DataStoreCommon {
private:
    T mValue;
public:
    explicit DataStore(const T& value) : DataStoreCommon(value), mValue(value) {}
    void Print() const;
};

template <typename T>
void DataStore<T>::Print() const {
    std::cout << mValue << std::endl;
}

template <typename T>
class DataStore<T*> : public DataStoreCommon {
private:
    T* mValue;
    // int init;
public:
    explicit DataStore(T* value) : DataStoreCommon(*value), mValue(value) {}
    void Print() const;
    // void PrintInit() const;
};

template <typename T>
void DataStore<T*>::Print() const {
    std::cout << *mValue << std::endl;
}

// template <typename T>
// void DataStore<T*>::PrintInit() const {
//     std::cout << init << std::endl;
// }

int main() {
    int num = 20;
    DataStore<int> ds1(10);
    DataStore<int*> ds2(&num);
    ds1.Print();
    ds1.PrintInit();
    ds2.Print();
    ds2.PrintInit(); // error
    return 0;
}


wandbox

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/12/17 15:05 編集

    やりたいことは実装詳細の共通化ですから、DataStoreCommonからはprivate継承としておき、派生先クラスでusing DataStoreCommon::PrintInit;とする方がより良いかも。

    キャンセル

  • 2019/12/17 15:25

    共通部分は抽象的な部分でもあるので、is_a関係は成立するケースが多いと思いますから、public継承でも問題はでにくいようにも感じます。
    とはいえ、publicでまずい理由がある時にprivateを使うことを否定するものではないですが。

    キャンセル

  • 2019/12/17 15:28 編集

    「DataStore<int>型やDataStore<char*>型をDataStoreCommon型に代入/変換できてよいか」という意味では、ほとんどのケースでプログラマの期待に反する動作とは思います。
    いいかえると、ここでのクラス間関係は is-a ではないというのが私の解釈です。

    この辺りは、どのくらいプログラマの誤りを未然に検知したいか/予防的プログラミングに向けた設計という考え方次第ですね。

    キャンセル

  • 2019/12/17 15:43

    なるほど。
    スライシングを回避出来るので、共通部を抽象クラスとして使わないのであれば、private継承の方が良さそうですね。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 89.24%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる