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

Question

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){}
の方を実行させたいです。

Answer 1

クラステンプレート 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

Comments

[azarashi0002]

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

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

[yohhoy]

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

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

[azarashi0002]

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

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

[yohhoy]

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

Answer 2

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

Comments

[azarashi0002]

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

[azarashi0002]

情報不足ですみません