SFINAE工作返回類型，但不作爲模板參數

我已經使用了SFINAE成語很多次，我習慣於把我的std::enable_if<>放在模板參數中而不是返回類型中。但是，我遇到了一些無效的小事，我不知道爲什麼。首先，這裏是我的主：SFINAE工作返回類型，但不作爲模板參數

int main() 
{ 
    foo(5); 
    foo(3.4); 
}

這裏是foo實現觸發錯誤：

template<typename T, 
     typename = typename std::enable_if<std::is_integral<T>::value>::type> 
auto foo(T) 
    -> void 
{ 
    std::cout << "I'm an integer!\n"; 
} 

template<typename T, 
     typename = typename std::enable_if<std::is_floating_point<T>::value>::type> 
auto foo(T) 
    -> void 
{ 
    std::cout << "I'm a floating point number!\n"; 
}

這裏是一個假想相當於一段代碼，正常工作：

template<typename T> 
auto foo(T) 
    -> typename std::enable_if<std::is_integral<T>::value>::type 
{ 
    std::cout << "I'm an integrer!\n"; 
} 

template<typename T> 
auto foo(T) 
    -> typename std::enable_if<std::is_floating_point<T>::value>::type 
{ 
    std::cout << "I'm a floating point number!\n"; 
}

我的問題是：爲什麼foo的第一次執行會觸發該錯誤，而第二個不會觸發該錯誤？

main.cpp:14:6: error: redefinition of 'template<class T, class> void foo(T)' 
auto foo(T) 
    ^
main.cpp:6:6: note: 'template<class T, class> void foo(T)' previously declared here 
auto foo(T) 
    ^
main.cpp: In function 'int main()': 
main.cpp:23:12: error: no matching function for call to 'foo(double)' 
    foo(3.4); 
      ^
main.cpp:6:6: note: candidate: template<class T, class> void foo(T) 
auto foo(T) 
    ^
main.cpp:6:6: note: template argument deduction/substitution failed: 
main.cpp:5:10: error: no type named 'type' in 'struct std::enable_if<false, void>' 
      typename = typename std::enable_if<std::is_integral<T>::value>::type> 
     ^

編輯：

Working code和faulty code。

來源

2013-03-15 Morwenn

確定。實際演示：[第一次未能編譯部分]（http://ideone.com/mJ8Zp6）和[第二次成功編譯部分]（http://ideone.com/G0jBft）。 – 2013-03-15 08:34:20

附加信息：與2012年11月份的CTP相同。 – 2013-03-15 08:45:44

[This]（http://flamingdangerzone.com/cxx11/2012/06/01/almost-static-if.html）應該是您的完美閱讀。 – Xeo 2013-03-15 09:04:30

您應該看看14.5.6.1 Function template overloading（C++ 11標準），其中定義了功能模板等同性。簡而言之，不考慮默認的模板參數，所以在第一種情況下，您有兩次定義相同的函數模板。在第二種情況下，您有表達式引用返回類型中使用的模板參數（請參閱14.5.6.1/4）。由於該表達式是簽名的一部分，因此您可以獲得兩個不同的函數模板聲明，因此SFINAE有機會工作。

來源

2013-03-15 08:51:18

非常感謝。至少這個解釋是簡單明瞭的。我不知道這個規則:) – Morwenn 2013-03-15 08:55:51

該模板的= ...只是給出了一個默認參數。這是不實際的簽名看起來像

template<typename T, typename> 
auto foo(T a);

爲兩個功能的一部分。

根據您的需要，這個問題的最通用的解決方案是使用標籤調度。

struct integral_tag { typedef integral_tag category; }; 
struct floating_tag { typedef floating_tag category; }; 

template <typename T> struct foo_tag 
: std::conditional<std::is_integral<T>::value, integral_tag, 
        typename std::conditional<std::is_floating_point<T>::value, floating_tag, 
               std::false_type>::type>::type {}; 

template<typename T> 
T foo_impl(T a, integral_tag) { return a; } 

template<typename T> 
T foo_impl(T a, floating_tag) { return a; } 

template <typename T> 
T foo(T a) 
{ 
    static_assert(!std::is_base_of<std::false_type, foo_tag<T> >::value, 
       "T must be either floating point or integral"); 
    return foo_impl(a, typename foo_tag<T>::category{}); 
} 

struct bigint {}; 
template<> struct foo_tag<bigint> : integral_tag {}; 

int main() 
{ 
    //foo("x"); // produces a nice error message 
    foo(1); 
    foo(1.5); 
    foo(bigint{}); 
}

來源

2013-03-15 09:10:49 ipc

這不是非常通用的 - 它具體到這個確切的情況 - 整數與浮動。 – einpoklum 2015-11-20 01:13:33

值在模板中的工作：

template<typename T, 
     typename std::enable_if<std::is_integral<T>::value, int>::type = 0> 
auto foo(T) 
    -> void 
{ 
    std::cout << "I'm an integer!\n"; 
} 

template<typename T, 
     typename std::enable_if<std::is_floating_point<T>::value, int>::type = 0> 
auto foo(T) 
    -> void 
{ 
    std::cout << "I'm a floating point number!\n"; 
}

來源

2016-07-06 03:27:28 tukra

SFINAE工作返回類型，但不作爲模板參數

回答

相關問題