C++ 개념 및 템플릿 전문화; 사용자 친화적 인 컴파일러 오류를 얻는 방법

Question

개념으로 식별되는 특정 클래스 세트를 각각 적용 할 수있는 두 개 (또는 그 이상)의 템플릿이 있습니다. 두 개의 템플릿이 동일한 이름을 가질 수있게하려면 특수화해야합니다.

template< typename T > 
struct pin_in { static_assert(always_false<T>::value, . . .); }; 

template< is_pin_in T > 
struct pin_in<T> . . . 

template< is_pin_in_out T > 
struct pin_in<T> . . . 

전문화 중 하나가 일치하면 정상적으로 작동합니다. 일치하지 않으면 기본 템플릿이 선택되고 어설 션 오류가 발생합니다. 메커니즘이 작동합니다. 나는 개념을 좋아한다!

그러나 오류 메시지 (GCC 7.2.0)가 어서션을 가리 킵니다. 어떻게 든 기본 템플릿을 선택하지 않도록 할 수 있으므로 템플릿이 인수 클래스와 일치하지 않는다는 오류 메시지가 나타납니다.

Answer 1

만세, 나는 해결책을 발견! 당신이 필요로하는 것은 기본 템플릿을 제약하는 것입니다 :

template <class T> 
    requires is_pin_in<T> || is_pin_in_out<T> 
struct pin_in {}; 


template <is_pin_in T> 
struct pin_in<T> {}; 

template <is_pin_in_out T> 
struct pin_in<T> {}; 

그리고 당신은 좋은 진단 메시지를 얻을 :

잘

<source>: In function 'auto test()': 
29 : <source>:29:16: error: template constraint failure 
    pin_in<char> a; 
       ^
29 : <source>:29:16: note: constraints not satisfied 
7 : <source>:7:24: note: within 'template<class T> concept const bool is_pin_in<T> [with T = char]' 
constexpr concept bool is_pin_in = std::is_same_v<T, int>; 
         ^~~~~~~~~ 
7 : <source>:7:24: note: 'std::is_same_v' evaluated to false 
9 : <source>:9:24: note: within 'template<class T> concept const bool is_pin_in_out<T> [with T = char]' 
constexpr concept bool is_pin_in_out = std::is_same_v<T, unsigned>; 
         ^~~~~~~~~~~~~ 
9 : <source>:9:24: note: 'std::is_same_v' evaluated to false 
Compiler exited with result code 1 

, 내 메시지가 일부 더미 제약입니다,하지만 당신은 얻을 점

Answer 2

과부하 해결에서 기본 템플릿을 제거하려면 std :: enable_if를 사용해보십시오. 이 같은 뭔가 :

template< typename T > 
struct pin_in<typename std::enable_if<false>::type> {}; 

template< is_pin_in T > 
struct pin_in<typename std::enable_if<true>::type><T> . . . 

template< is_pin_in_out T > 
struct pin_in<typename std::enable_if<true>::type><T> . . .