Включить оператор преобразования, используя SFINAE

Question

Я пытаюсь перегрузить operator T() с помощью SFINAE, чтобы вернуть копию, когда T является фундаментальным типом, и константой ссылки, когда T является классом.

При использовании double в моем примере ниже, я не могу получить вторую перегрузку (с std::is_class), которую необходимо удалить.

То есть ошибка, я получаю:

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 
^ 

Что я делаю неправильно?

#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 уже известно, в то время ваши функции-члены класса являются конкретизируется, поэтому замена не происходит, и вместо SFINAE, вы получите жесткий ошибку. Самое легкое обходное решение - ввести параметр шаблона шаблона для этих перегрузок операторов и по умолчанию он равен T, так что вывод типа может все еще возникать.

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

Вы должны прочитать определение станд :: enable_if

< шаблон BOOL B, класс T = пустота> структура enable_if;

«Если значение B истинно, std :: enable_if имеет открытый тип typedef, равный T, в противном случае нет члена typedef."

Answer 3

В то время как решение проблемы неправильного оператора не было отброшено, чтобы решить конкретную проблему под рукой, то есть для возврата по const ref для типов классов или по значению для других, можно найти решение используя std::conditional.

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

Обеспечивает члена типа ЬурейеЕ, который определяется как T, если В истинно в время компиляции, или как F, если В является ложным.

Рабочий пример:

#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; 
}