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

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

ただいまの
回答率

88.63%

[c++] template TとUが同じ時に定義しないようにしたい

解決済

回答 2

投稿

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

azarashi0002

score 8

c++で下のコードを組み、使用した際
TとUが同じ型の時エラーを吐きます。

なので片方を定義しないようにすれば良いと考えたのですが、
どのように組めば良いでしょうか?

template<typename T, typename U>
struct Test {
    void func(const T& v){}
    void func(const U& v){}
};

なおTとUが同じ型の時、
void func(const U& v){}
の方を実行させたいです。

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

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

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

    クリップを取り消します

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

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

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

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

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

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

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

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

    質問の評価を下げる

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

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

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

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

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

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

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

    詳細な説明はこちら

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

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

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

回答 2

checkベストアンサー

+5

クラステンプレート Test<T,U> を Test<T,T> で特殊化してしまえば、手っ取り早く望みの動作を実現できます。

template<typename T, typename U>
struct Test {
    void func(const T&){ std::puts("T"); }
    void func(const U&){ std::puts("U"); }
};

template<typename T>
struct Test<T, T> {
    void func(const T&){ std::puts("U'"); }
};

Test<int, double> t0;
t0.func(42);   // T=int
t0.func(3.14); // U=double

Test<int, int> t1;
t1.func(100);  // T=U=int


https://wandbox.org/permlink/j5I48l571fJMYtLH


かなりトリッキーな書き方になってしまいますが、直接的にメンバ関数オーバーロードTest::func(const T&)を無効化する方法もあります。(個人的にはクラステンプレート特殊化の方が分かりやすくて好みですね)

template<typename T, typename U>
struct Test {
    template<bool AlwaysTrue = true>
    std::enable_if_t<!std::is_same_v<T, U> && AlwaysTrue>
    func(const T&){ std::puts("T"); }

    void func(const U&){ std::puts("U"); }
};


https://wandbox.org/permlink/f1OcI1x9Tq9hLaIq

投稿

編集

  • 回答の評価を上げる

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

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

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

  • 回答の評価を下げる

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

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

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

  • 2018/11/10 22:49

    回答有り難うございます
    Test<T,T>で特殊化は気が付かなかったです
    (is_sameと同じ仕組みですかね?)

    2つ目のAlwaysTrueはどうして必要なのでしょうか?

    キャンセル

  • 2018/11/10 23:04

    クラステンプレート初期化とis_sameとは全く異なる仕組みですね。

    2つ目は、SFINAEを引き起こすためにメンバ関数をテンプレートとする必要があり、そのためのダミーテンプレートパラメータです。

    キャンセル

  • 2018/11/10 23:13

    is_sameは
    template<class _Ty1>
    struct is_same<_Ty1,_Ty1>:true_type{};
    と特殊化されていたのでてっきり同じ仕組みかと...

    SFINAEを引き起こすのには条件があるのですか...
    ありがとうございます

    キャンセル

  • 2018/11/10 23:19 編集

    > [...] と特殊化されていたのでてっきり同じ仕組みかと...
    あー「is_sameの内部実装方法」とは同じですね。「is_same外部仕様の利用」と同じか否かという解釈でのコメントでした。

    キャンセル

-1

一つのメソッドfunc(T,U)ではだめなのですか?

投稿

  • 回答の評価を上げる

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

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

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

  • 回答の評価を下げる

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

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

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

  • 2018/11/10 22:53

    コードは簡略化しており、
    元々はoperator*=のオーバーロードです。
    なので引数を2つ取らないので
    それではだめです

    キャンセル

  • 2018/11/10 23:02

    情報不足ですみません

    キャンセル

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

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

関連した質問

同じタグがついた質問を見る