Como eu uso std :: enable_if com um tipo de retorno auto-deduzível?
C ++ 14 terá funções cujo tipo de retorno pode ser deduzido com base no valor de retorno.
auto function(){
return "hello world";
}
Posso aplicar esse comportamento a funções que usamhabilitar_se para o SFINAE pelo idioma do tipo de retorno?
Por exemplo, vamos considerar os dois functons seguintes:
#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"
}
Como você pode ver, a função correta é escolhida usando o SFINAE pelo idioma do tipo de retorno. No entanto, estas são ambas funções vazias. O segundo parâmetro deenable_if
é o padrão definido paravoid
. Isso seria o mesmo:
//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;
}
Existe algo que eu possa fazer para essas duas funções, para que seu tipo de retorno seja deduzido pelo valor de retorno?
gcc 4.8.2 (usando--std=c++1y
)