오퍼레이터로부터 승격 결과를 얻을 수있는 특성을 입력하십시오.

Question

Implicit type conversion rules in C++ operators

C++의 암시 적 유형 변환을 나열합니다.

문제는 그 테이블을 수행 할 수있는 유형 특성이 있습니까?

template <typename T, typename J> 
struct promotion_type 
{ 
    typedef decltype(operator+(const T&,const J&)) type; 
}; 

에 가깝다 뭔가 (안 내 질문에, 그러나 이것은 컴파일되지 않습니다 :

/home/user/source/testdir/main.cpp:97:51: error: there are no arguments to 'operator+' that depend on a template parameter, so a declaration of 'operator+' must be available [-fpermissive] 
    typedef decltype(operator+(const T&,const J&)) type; 
              ^
/home/user/source/testdir/main.cpp:97:51: note: (if you use '-fpermissive', G++ will accept your code, but allowing the use of an undeclared name is deprecated) 

)

Answer 1

방법에 대한 decltype(std::declval<T>() + std::declval<J>())?