SFINAE std :: isfinite和類似的函數使用std :: is_arithmetic

Question

我剛剛遇到編譯失敗時，從VS2013一些代碼移植到GGC 4.9和Clang 3.5（使用libC++）。代碼的要點是

#include <cmath> 

struct Foo 
{ 
    operator double() const { return(101.0); } // Implicit conversion to double 
}; 

int main(int, char**) 
{ 
    Foo foo; 

    std::exp(foo);  // Compiles 
    std::isfinite(foo); // Does not 

    return(0); 
} 

我相信isfinite調用不會編譯，因爲isfinite funtion在CMATH有返回類型聲明爲：

typename std::enable_if<std::is_arithmetic<_A1>::value, bool>::type 

因爲Foo不is_arithmetic，isfinite被刪除從超載設置。 isfinite的朋友也是如此，例如isnan。所以我的問題是這是否是預期的。

標準是否要求像isfinite這樣的函數的參數實際上是直接double或float而不是被隱式轉換爲它們？

另外我有點不確定爲什麼是std::is_arithmetic不是std::is_floating_point，不是is_arithmetic暗示isfinite整數？

作爲一個額外的問題什麼是指定約束的最佳方式，如is_convertible_to_floating_point？

Answer 1

§26.8[c.math]/P10-11：

The classification/comparison functions behave the same as the C macros with the corresponding names defined in 7.12.3, Classification macros, and 7.12.14, Comparison macros in the C Standard. Each function is overloaded for the three floating-point types, as follows:

// other functions omitted 
bool isfinite(float x); 

bool isfinite(double x); 

bool isfinite(long double x); 

Moreover, there shall be additional overloads sufficient to ensure:

1. If any arithmetic argument corresponding to a double parameter has type long double , then all arithmetic arguments corresponding to double parameters are effectively cast to long double .
2. Otherwise, if any arithmetic argument corresponding to a double parameter has type double or an integer type, then all arithmetic arguments corresponding to double parameters are effectively cast to double .
3. Otherwise, all arithmetic arguments corresponding to double parameters have type float .

我提交錯誤針對的libC++。