chức năng biên dịch thời gian để kiểm tra mức độ bình đẳng

Question

Tôi cần phải thực hiện chức năng biên dịch tự phục vụ để kiểm tra tính bình đẳng loại (mẫu chức năng không có đối số bool eqTypes<T,S>()).

phương tiện tự chứa không dựa vào thư viện.

Tôi không giỏi trong tất cả điều này. Đó là những gì tôi đã thử, nhưng đó không phải là những gì tôi cần.

template<typename T> 
bool eq_types(T const&, T const&) { 
return true; 
} 

template<typename T, typename U> 
bool eq_types(T const&, U const&) { 
return false; 
} 

Answer 1

Nó khá đơn giản. Chỉ cần xác định loại đặc điểm và chức năng trợ giúp:

template<typename T, typename U> 
struct is_same 
{ 
    static const bool value = false; 
}; 

template<typename T> 
struct is_same<T, T> 
{ 
    static const bool value = true; 
}; 

template<typename T, typename U> 
bool eqTypes() { return is_same<T, U>::value; } 

Đây là live example.

Trong C++ 11, nếu bạn được phép sử dụng std::false_type và std::true_type, bạn sẽ viết lại trên theo cách này:

#include <type_traits> 

template<typename T, typename U> 
struct is_same : std::false_type { }; 

template<typename T> 
struct is_same<T, T> : std::true_type { }; 

template<typename T, typename U> 
constexpr bool eqTypes() { return is_same<T, U>::value; } 

Thông báo, rằng các loại đặc điểm std::is_same, mà hiện khá nhiều điều tương tự , có sẵn như là một phần của Thư viện chuẩn.

Answer 2

Đây là cách bạn có thể làm điều đó trong C, mà không cần bất kỳ phần mở rộng GCC kỳ diệu:

#define CHECKED_TYPE(original_type, p) ((conversion_type*) (1 ? p : (original_type*) 0)) 

ví dụ:

void *q = CHECKED_TYPE(int, &y); 

sẽ kích hoạt một lỗi biên dịch nếu y không phải là int.
Để được giải thích, hãy xem here.