static_assert với mẫu phần chuyên môn hóa

Question

template<typename T, typename U = void> 
struct S { /* static_assert(0, "type unsupported"); */ }; 
template<typename T> 
struct S<T, typename std::enable_if<std::is_integral<T>::value, void>::type> { 
    void foo() {} 
}; 
... 
S<int> i; 
i.foo(); 
S<double> d; 
// d.foo(); 

tôi sẽ mong đợi rằng "bậc thầy mẫu" sẽ không bao giờ được khởi tạo cho trường hợp của int, nhưng nếu tôi bỏ ghi chú static_assert, các S<int> instantiation sẽ thất bại. Thậm chí một số typedef S<int> Si; cũng không thể biên dịch được. (GCC 4.9.2 Cygwin)

Những gì tôi muốn đạt được không phải là cho S<double> không thành công tại cuộc gọi foo(), nhưng tại thời điểm diễn ra bản thân mẫu và với thông báo lỗi có ý nghĩa. Tôi biết rằng tôi có thể làm điều gì đó như typename T::nonexistent_type t; trong mẫu chính sẽ ngăn mẫu biên dịch, nhưng điều đó sẽ kém hơn thông báo static_assert. (Lưu ý: đặt static_assert trong định nghĩa hàm trong mẫu chính vẫn không biên dịch được cho S<int>)

Tại sao static_assert không thành công mặc dù mẫu đó không được khởi tạo? Điều này có được uỷ quyền (hoặc có lẽ là "không xác định") theo tiêu chuẩn không? Có cách nào để thất bại với cách static_assert theo cách tôi muốn không?

Answer 1

Biểu thức trong static_assert phải phụ thuộc vào thông số mẫu nếu bạn muốn nó chỉ là thời gian khởi tạo. Điều này được đảm bảo bởi Standard- việc thực hiện có thể (nhưng không có nghĩa vụ phải) kiểm tra static_assertion trong các mẫu không phụ thuộc vào bất kỳ tham số mẫu nào.

Mã của bạn là một cách vòng xoay kỳ lạ làm cái gì đó như

template<typename T> struct S { 
    static_assert(std::is_integral<T>::value, "type unsupported"); 
    void foo() {} 
}; 

này truyền đạt rõ ràng để trình biên dịch phụ thuộc giữa các biểu hiện và tham số mẫu, và còn lâu mới rõ ràng hơn và dễ đọc hơn là tốt. Tôi thực sự không thể tìm ra nếu bạn muốn biên dịch thất bại cho các loại tích phân hoặc cho các loại không tách rời.