특정 연산자가 C++의 템플릿에 정의되어 있는지 어떻게 확인합니까?

Question

(<) 연산자가 정의되지 않은 유형이 'myclass'로 전달되면 예외를 throw하려고합니다. 내가하고 싶은 것을 설명하기 위해 몇 가지 샘플 코드를 추가했습니다.

template<typename T> 
class CLASS { 
public: 
    CLASS() 
    { 
     //if('T' does not have '<' operator defined) 
     //{ 
     // throw exception; 
     //}  
    } 

private: 
    T mProperty; 
}; 

class PlainClass { 
public: 
    PlainClass() {} 
private: 
    int num = 0; 
}; 

int main() 
{ 
    CLASS<int> ok;    //ok 
    CLASS<PlainClass> error; //throws exception 

    return 0; 
} 

향후 시청자를위한 참고 사항 : Nacl의 질문에 대한 대답으로 문제가 해결되고 Columbo는보다 세련된 솔루션을 제공합니다.

Answer 1

매우 쓸모가 없습니다. 런타임에는 예외가 발생하고 템플릿은 컴파일 타임에 작동하므로 예외를 확인하기위한 용도가 없습니다. Columbo가 언급 한대로 static_assert을 사용하십시오.

그러나이 같은 예를 들어 그것을 할 수 있습니다 :이 당신이 할

try 
{ 
    CLASS<Foo> c; 
} 
catch(std::exception& e) 
{ 
    std::cout << e.what(); 
} 

Answer 2

컴파일시에 static_assert을 사용할 수있는 경우 예외가 발생하는 이유는 무엇입니까?

template <typename T, typename=void> 
struct LessThanComparable_ : std::false_type {}; 

template <typename T> 
struct LessThanComparable_<T, 
    decltype(void(std::declval<T>() < std::declval<T>()))> 
    : std::true_type {}; 

template <typename T> 
using LessThanComparable = LessThanComparable_<T>; 

사용 예제 :

static_assert(LessThanComparable<std::string>::value, ""); 
static_assert(LessThanComparable<int>::value, ""); 
static_assert(!LessThanComparable<std::ostream>::value, ""); 

Demo. 템플릿 매개 변수와 동등한 작업 :

template <typename T> 
struct MyTemplate 
{ 
    static_assert(LessThanComparable<T>::value, 
        "Invalid type - must have less-than operator implemented"); 
};