C++ khái niệm và chuyên môn về mẫu; làm thế nào để có được một lỗi biên dịch thân thiện với người dùng

Question

Tôi có hai (hoặc nhiều hơn) mẫu mà mỗi mẫu có thể thích ứng với một tập hợp các lớp cụ thể, được xác định bằng một khái niệm. Để có thể làm cho hai mẫu có cùng tên, chúng phải là các chuyên môn.

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> . . . 

Điều này hoạt động khi một trong các chuyên môn phù hợp. Khi không khớp với mẫu cơ bản được chọn, và tôi nhận được xác nhận thất bại. Cơ chế hoạt động. Tôi yêu các khái niệm!

Nhưng thông báo lỗi tôi nhận được (GCC 7.2.0) trỏ đến xác nhận. Tôi có thể bằng cách nào đó làm cho mẫu cơ sở không được chọn, vì vậy tôi sẽ nhận được một thông báo lỗi cho biết rằng không có mẫu nào phù hợp với lớp đối số?

Answer 1

Hoan hô, tôi tìm thấy một giải pháp! Những gì bạn cần là phải có mẫu chính hạn chế:

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> {}; 

Và bạn nhận được một thông điệp chẩn đoán tố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 

tốt, thông điệp của tôi là với một số hạn chế giả, nhưng bạn sẽ có được điểm

Answer 2

Hãy thử sử dụng tiêu chuẩn :: enable_if để xóa mẫu cơ sở khỏi độ phân giải quá tải. Một cái gì đó như thế này:

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> . . .