“Cảnh báo: so sánh là luôn luôn đúng”

Question

GCC (4.7.2) với -Wextra tín hiệu cảnh báo/báo lỗi sau (Tôi đã -Werror kích hoạt):

So sánh luôn luôn đúng do nhiều hạn chế về kiểu dữ liệu [ -Wtype hạn]

cho đoạn mã sau [try online]:

template < 
    typename T, 
    std::size_t N, 
    bool = static_cast<std::size_t>(std::numeric_limits<T>::max()) < N> 
struct validator { 
    static constexpr bool validate(T value) { 
     return static_cast<std::size_t>(value) < N; 
    } 
}; 

template <typename T, std::size_t N> 
struct validator<T, N, true> { 
    static constexpr bool validate(T) { 
     return true; 
    } 
}; 

int main() { 
    // Works 
    static_assert(validator<int, 4>::validate(3), "Invalid"); 
    // Error :-(
    static_assert(validator<bool, 2>::validate(true), "Invalid"); 
} 

tôi hiểu tại sao các cảnh báo có thể xảy ra trong một ngữ cảnh biểu thức ormal, ví dụ: khi tôi đã sử dụng các validate chức năng sau:

template <typename T, std::size_t N> 
bool validate(T value) { 
    return static_cast<std::size_t>(value) < N; 
} 

- Trong thực tế, đó là lý do tại sao tôi đang sử dụng mẫu chuyên ở nơi đầu tiên (và lưu ý rằng mẫu đúng chuyên môn được sử dụng, và các lỗi trong đầu tiên của tôi mã được nêu lên bởi đối số mẫu, không phải bên trong hàm trong mẫu không được chuyên biệt hóa). Có cách nào xung quanh cảnh báo này không? Nếu không, đó không phải là lỗi trong trình biên dịch phải không?

Answer 1

này đã được cố định trong GCC thân cây, thấy PR 11856

Vì vậy, chờ khoảng cuối tháng Tư và sử dụng GCC 4.8 :-)

Answer 2

Vì tôi không thể chờ đợi cho đến khi điều này được cố định (xem câu trả lời của Jonathan) tôi đã chọn lọc vô hiệu hóa các cảnh báo sử dụng GCC #pragma phần mở rộng:

#pragma GCC diagnostic push 
#pragma GCC diagnostic ignored "-Wtype-limits" 
static_assert(validator<bool, 2>::validate(true), "Invalid"); 
#pragma GCC diagnostic pop 

Lưu ý rằng những pragmas không may cần phải bao quanh gọi code ngay cả thoug h lỗi thực sự xảy ra trong tham số mẫu.

Answer 3

Dưới đây là một cách giải quyết:

template < 
    typename T, 
    std::size_t N, 
    bool = static_cast<std::size_t>(std::numeric_limits<T>::max()) < N> 
struct validator { 
    static constexpr bool validate(T value) { 
     return size_t_cast(value) < N; 
    } 
private: 
    static constexpr std::size_t size_t_cast(T value) { 
     return value; 
    } 
}; 

template <typename T, std::size_t N> 
struct validator<T, N, true> { 
    static constexpr bool validate(T) { 
     return true; 
    } 
}; 

này cho phép ví dụ để biên dịch mà không có lỗi trong GCC 4.7.2.