何時使用`static_assert`而不是SFINAE？

Question

我已經使用（和見過使用）static_assert到模板的參數值的標誌不期望的值。但是，對於我遇到的所有情況，通過SFINAE禁用這些不需要的值似乎更好，更優雅。例如

template<typename T, 
     class = std::enable_if<std::is_floating_point<T>::value>::type> 
struct Foo { ... }; 

，而不是

template<typename T> 
struct Foo { 
    static_assert(std::is_floating_point<T>::value, 
       "Foo<T>: T must be floating point :-("); 
    ... 
}; 

所以我的問題：何時使用static_assert，而不是SFINAE，爲什麼？

編輯

我想我已經學會了到目前爲止以下

SFINAE是一個靈活和強大，但可能非常複雜的工具，可用於多種任務，包括函數重載解析（有些似乎認爲它是唯一的目的）。

SFINAE可以以相對簡單的方式被使用過的位置static_assert可以，不同之處在於它出現在聲明（類或函數的），而不是其定義（或是可以插入例如，將一個static_assert轉換爲一個類的前向聲明？）。這使得更逐字，因此更明確的代碼。但是，由於SFINAE比較複雜，因此比簡單的static_assert要難得多。

另一方面static_assert有一個更清晰的編譯器錯誤消息的好處，有些人似乎認爲這是一個主要目的。

Answer 1

我覺得static_assert是正確的選擇，如果你想強制執行T是一個浮點類型。此方法比SFINAE解決方案更清楚地表明您的意圖。

Answer 2

static_assert使編譯失敗。 SFINAE允許您刪除一個可能的過載。

Answer 3

您使用SFINAE，如果你想使用另一種過載，並static_assert如果沒有人會適合這樣的參數。

Answer 4

爲一體，採用SFINAE可能會導致另一個重載被拾起那原本是一個糟糕的比賽，不會被考慮。

而且在有其他重載的情況，但其中非是可行的，你會得到一些不錯的事情是這樣的：

#include <type_traits> 

void f(int){} 
void f(bool){} 
void f(char){} 
void f(float){} 
void f(long){} 
void f(double){} 
void f(short){} 
void f(unsigned){} 
void f(void*){} 
void f(void (*)()){} 

template<class C, class T = int> 
using EnableIf = typename std::enable_if<C::value, T>::type; 

template<class T> 
struct sfinae_false : std::false_type{}; 

template<class T> 
void f(T&&, EnableIf<sfinae_false<T>> = 0){} 

int main(){ struct X{}; f(X()); } 

輸出：

source.cpp: In function 'int main()': 
source.cpp:23:30: error: no matching function for call to 'f(main()::X)' 
source.cpp:23:30: note: candidates are: 
source.cpp:3:6: note: void f(int) 
source.cpp:3:6: note: no known conversion for argument 1 from 'main()::X' to 'int' 
source.cpp:4:6: note: void f(bool) 
source.cpp:4:6: note: no known conversion for argument 1 from 'main()::X' to 'bool' 
source.cpp:5:6: note: void f(char) 
source.cpp:5:6: note: no known conversion for argument 1 from 'main()::X' to 'char' 
source.cpp:6:6: note: void f(float) 
source.cpp:6:6: note: no known conversion for argument 1 from 'main()::X' to 'float' 
source.cpp:7:6: note: void f(long int) 
source.cpp:7:6: note: no known conversion for argument 1 from 'main()::X' to 'long int' 
source.cpp:8:6: note: void f(double) 
source.cpp:8:6: note: no known conversion for argument 1 from 'main()::X' to 'double' 
source.cpp:9:6: note: void f(short int) 
source.cpp:9:6: note: no known conversion for argument 1 from 'main()::X' to 'short int' 
source.cpp:10:6: note: void f(unsigned int) 
source.cpp:10:6: note: no known conversion for argument 1 from 'main()::X' to 'unsigned int' 
source.cpp:11:6: note: void f(void*) 
source.cpp:11:6: note: no known conversion for argument 1 from 'main()::X' to 'void*' 
source.cpp:12:6: note: void f(void (*)()) 
source.cpp:12:6: note: no known conversion for argument 1 from 'main()::X' to 'void (*)()' 
source.cpp:21:6: note: template<class T> void f(T&&, EnableIf<sfinae_false<T> >) 
source.cpp:21:6: note: template argument deduction/substitution failed: