Как я могу использовать std :: enable_if с само-выводимым типом возврата?
C ++ 14 будет иметь функции, чей тип возврата может быть выведен на основе возвращаемого значения.
auto function(){
return "hello world";
}
Могу ли я применить это поведение к функциям, которые используютenable_if для СФИНА по типу возвращаемого значения?
Например, давайте рассмотрим следующие две функции:
#include <type_traits>
#include <iostream>
//This function is chosen when an integral type is passed in
template<class T >
auto function(T t) -> typename std::enable_if<std::is_integral<T>::value>::type {
std::cout << "integral" << std::endl;
return;
}
//This function is chosen when a floating point type is passed in
template<class T >
auto function(T t) -> typename std::enable_if<std::is_floating_point<T>::value>::type{
std::cout << "floating" << std::endl;
return;
}
int main(){
function(1); //prints "integral"
function(3.14); //prints "floating"
}
Как видите, правильная функция выбирается с помощью SFINAE по типу возвращаемого значения. Тем не менее, это обе пустые функции. Второй параметрenable_if
по умолчанию установленоvoid
, Это было бы то же самое:
//This function is chosen when an integral type is passed in
template<class T >
auto function(T t) -> typename std::enable_if<std::is_integral<T>::value, void>::type {
std::cout << "integral" << std::endl;
return;
}
//This function is chosen when a floating point type is passed in
template<class T >
auto function(T t) -> typename std::enable_if<std::is_floating_point<T>::value, void>::type{
std::cout << "floating" << std::endl;
return;
}
Есть ли что-то, что я могу сделать с этими двумя функциями, чтобы их возвращаемый тип определялся по возвращаемому значению?
GCC 4.8.2 (используя--std=c++1y
)