SFINAE std :: isfinite 및 유사한 기능을 사용하여 std :: is_arithmetic

Question

VS2013에서 GGC 4.9 및 Clang 3.5 (libC++ 사용)의 일부 코드를 이식 할 때 컴파일 오류가 발생했습니다. 코드의 요점은 내가 cmath의 isfinite 연료 소모량이 형식을 반환로 선언이 때문에 isfinite 호출이 컴파일되지 않습니다 생각

#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); 
} 

입니다 :

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

및 Foo이 is_arithmetic하지 않기 때문에, isfinite이 제거됩니다 과부하 세트로부터. 같은 친구의 isfiniteisnan 같은 사실입니다. 그래서 내 질문은 이것이 예상되는지 여부입니다.

표준에서는 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에 대한 버그를 제출할 것 ++.