型から関数を選択する方法

Question

前提

例えばcblasのようなライブラリには，同じ機能の関数として，floatやdoubleごとにそれぞれ専用の名前が付いている関数があります。cblas_gcopyやcblas_scopyのような関数です。このような関数が含まれる関数をその型ごとに作成する場合，doubleやfloatといった引数の型ごとに関数を多重定義する方法はあります。テンプレートの特殊化でも作成できるでしょう。しかし，これらの方法で作成した関数内部は，cblas_gcopyなどの関数以外はほとんど同様のコードで重複するので，コードは無駄に膨らみます。doubleやfloatごとに関数だけを交換できれば，スッキリと解決することができると思います。

解決方法で考えられることと実現したいこと

次のように，関数オブジェクトとconditional_tを使ったメタプログラミングの方法で，doubleとfloatごとに関数を選択することができます。この例では，2値を比較して大きい方を返すmax関数群を例にしています。
そこで，実現したいことは，intやlongのような型でも対応できるようにしたいのですが，conditional_tは二者選択であり，3つ以上では処理できません。次のコード例で言うと，long型の場合にも関数オブジェクトを選択したいのですがその方法がわかりません。
どのような方法が考えられるでしょうか。

該当のソースコード

using namespace std;
template<typename T>
struct Foo{
    struct max_f{
        float operator()(float a,float b){
            return std::fmaxf(a,b);
        }
    };
    struct max_d{
        double operator()(double a,double b ){
         return std::fmaxl(a,b);
        }
    };
    ///long型の場合に，この関数オブジェクトを選択できるようにしたい
    struct max_l{
        long operator()(long a,long b){
         return std::max(a,b);
     }
    };

    T func(T a,T b){
        using max_t = conditional_t<(is_same<T,double>()),max_d,max_f>;
        //様々な処理
        max_t f;
        return f(a,b);
    }
};
int main(){
    Foo<float> f;
    float tmp= f.func(1,2);
}

Answer 1

conditional_tは二者選択であり，3つ以上では処理できません。次のコード例で言うと，long型の場合にも関数オブジェクトを選択したいのですがその方法がわかりません。

入れ子にすれば良いのでは？

using max_t =
    conditional_t<(is_same<T, double>()), max_d,
    conditional_t<(is_same<T, float>()), max_f,
    max_l>>;

Comments

[jbe00214]

ありがとうございます。入れ子ですね。ちょっと考えていませんでした。できるんですね。解決です。