Wie verwende ich std :: enable_if mit einem selbstableitenden Rückgabetyp?
C ++ 14 wird Funktionen haben, deren Rückgabetyp basierend auf dem Rückgabewert abgeleitet werden kann.
auto function(){
return "hello world";
}
Kann ich dieses Verhalten auf Funktionen anwenden, die verwendet werden?enable_if für die SFINAE per Rückgabetyp idiom?
Betrachten wir zum Beispiel die folgenden zwei Funktionen:
#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"
}
Wie Sie sehen, wird die richtige Funktion mit der SFINAE nach Rückgabetyp ausgewählt. Dies sind jedoch beide nichtige Funktionen. Der zweite Parameter vonenable_if
ist standardmäßig auf eingestelltvoid
. Das wäre das gleiche:
//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;
}
Kann ich mit diesen beiden Funktionen etwas tun, damit ihr Rückgabetyp vom Rückgabewert abgeleitet wird?
gcc 4.8.2 (mit--std=c++1y
)