class_specialization_dispatch.cc

#include <type_traits>
#include <iostream>

template<class T>
struct BaseA {
    static void test() {
        std::cout << "int" << std::endl;
    }
};

template<class T>
struct FloatA {
    static void test() {
        std::cout << "float" << std::endl;
    }
};



template<class T, class Enable = void>
struct ADispatch {
    using type = BaseA<T>;
};

template<class T>
struct ADispatch<T, typename std::enable_if<std::is_floating_point<T>::value>::type> {
    using type = FloatA<T>;
};

template<class T>
using A = typename ADispatch<T>::type;

int main()
{
    A<int>::test();
    A<double>::test();
}