Pracuję nad aktualizacją kodu C ++, aby skorzystać z nowej funkcjonalności w C ++ 11. Mam klasę cech z kilkoma funkcjami zwracającymi podstawowe typy, które przez większość czasu, ale nie zawsze, zwracają stałe wyrażenie. Chciałbym robić różne rzeczy w zależności od tego, czy funkcja jestconstexpr albo nie. Wymyśliłem następujące podejście:

template<typename Trait>
struct test
{
    template<int Value = Trait::f()>
    static std::true_type do_call(int){ return std::true_type(); }

    static std::false_type do_call(...){ return std::false_type(); }

    static bool call(){ return do_call(0); }
};

struct trait
{
    static int f(){ return 15; }
};

struct ctrait
{
    static constexpr int f(){ return 20; }
};

int main()
{
   std::cout << "regular: " << test<trait>::call() << std::endl;
   std::cout << "constexpr: " << test<ctrait>::call() << std::endl;
}

Statystaint/... parametr jest tak, że jeśli obie funkcje są dostępne poSFINAE, pierwszy zostanie wybrany przez przeładowanie rozdzielczości.

Kompilowanie i uruchamianie za pomocąClang 3.2 przedstawia:

regular: 0
constexpr: 1

To wydaje się działać, ale chciałbym wiedzieć, czy kod jest zgodny z C ++ 11. Specjalnie dlatego, że moje zrozumienie zasadSFINAE zmienił się.