¿Cómo uso std :: enable_if con un tipo de devolución auto deducible?
C ++ 14 tendrá funciones cuyo tipo de retorno se puede deducir en función del valor de retorno.
auto function(){
return "hello world";
}
¿Puedo aplicar este comportamiento a las funciones que utilizanenable_if ¿Para el SFINAE por tipo de lengua de retorno?
Por ejemplo, consideremos las siguientes dos funciones:
#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 puede ver, la función correcta se elige utilizando el lenguaje SFINAE por tipo de retorno. Sin embargo, estas son ambas funciones nulas. El segundo parámetro deenable_if
se establece por defecto envoid
. Esto sería lo mismo:
//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;
}
¿Hay algo que pueda hacer con estas dos funciones, de modo que su tipo de devolución se deduzca por el valor de devolución?
gcc 4.8.2 (usando--std=c++1y
)