umożliwić operatorowi konwersji przy użyciu SFINAE

Question

Próbuję przeciążać operator T() użyciu SFINAE aby powrócić kopię gdy T jest podstawowym typem i const odniesienia podczas T jest klasa.

Podczas korzystania z double w moim przykładzie poniżej, nie mogę uzyskać 2. Przeciążenie (z std::is_class) do usunięcia.

Oznacza to, że błąd dostaję to:

error: no type named ‘type’ in ‘struct std::enable_if<false, const double&>’ 
operator typename std::enable_if< std::is_class<T>::value, const T&>::type() const 
^ 

Co robię źle?

#include <iostream> 
#include <type_traits> 

template<typename T> 
struct Foo 
{ 
    operator typename std::enable_if<!std::is_class<T>::value, T >::type() const 
    { 
     return _val; 
    } 

    operator typename std::enable_if< std::is_class<T>::value, const T&>::type() const 
    { 
     return _val; 
    } 

    T _val; 
}; 

int main() 
{ 
    Foo<double> f1; 
    f1._val = 0.3; 

    double d = f1; 
    std::cout << d << std::endl; 
    return 0; 
} 

Answer 1

T jest już znany w momencie twoje funkcje składowe klasy są instancja, więc nie występuje substytucja, a zamiast SFINAE, masz twardą błąd. Najłatwiejszym rozwiązaniem jest wprowadzenie fałszywego parametru szablonu dla operatorów przeciążających i ustawienie domyślne na T, aby możliwe było nadal odliczanie typu.

template<typename U = T> 
operator typename std::enable_if<!std::is_class<U>::value, U >::type() const 
{ 
    return _val; 
} 

template<typename U = T> 
operator typename std::enable_if< std::is_class<U>::value, const U&>::type() const 
{ 
    return _val; 
} 

Live demo

Answer 2

powinien przeczytać definicję std :: enable_if

szablon < bool B, klasa T = void> struct enable_if;

"Jeśli B jest prawdziwe, std :: enable_if ma typ typed publicznego public, równy T, w przeciwnym razie nie ma członka typedef."

Answer 3

Nie rozwiązując problemu, dlaczego niepoprawny operator nie został odrzucony, aby rozwiązać konkretny problem pod ręką, tj. , aby zwrócić go przez const ref dla typów klas lub według wartości dla innych, można znaleźć rozwiązanie przy użyciu std::conditional.

template< bool B, class T, class F > 
struct conditional; 

Zapewnia człon typu typedef, który jest zdefiniowany jako T, jeżeli B jest prawdziwe w czasie kompilacji , lub F, jeżeli B jest fałszywe.

przykład robocza:

#include <iostream> 
#include <type_traits> 

template<typename T> 
struct Foo 
{ 
    operator typename std::conditional< 
     std::is_class<T>::value, const T&, T>::type() const 
    { 
     return _val; 
    } 

    T _val; 
}; 

int main() 
{ 
    Foo<double> f1; 
    f1._val = 0.3; 

    double d = f1; 
    std::cout << d << std::endl; 
    return 0; 
}