Các gói thông số bảo vệ đã được kiểm tra có gây ra các chương trình bị hỏng không?

Question

Hơn một lần (thậm chí trên SO) Tôi đã nhìn thấy mã như thế này:

template<typename U, typename... G, typename T = Traits<U>> 
struct { 
    static_assert(sizeof...(G) == 0, "!"); 
    // ... 
}; 

Hoặc này:

template<typename T, typename... G, typename = std::enable_if_t<condition<T>> 
void func(T &&t) { 
    static_assert(sizeof...(G) == 0, "!"); 
    // .... 
} 

Mục đích là để tránh sử dụng phá vỡ các quy tắc của trò chơi bằng cách làm một cái gì đó như thế này:

template<typename T, typename = std::enable_if_t<std::is_same<T, int>> 
void func(T &&t) { 
    // .... 
} 

// ... 

func<int&, void>(my_int); 

Với gói thông số bảo vệ, giá trị mặc định không thể ghi đè.
Mặt khác, việc kiểm tra kích thước tránh ô nhiễm các chuyên môn với các tham số vô dụng.

Dù sao, vì [temp.res/8], ta có:

Chương trình là vô hình thành, không có chẩn đoán cần thiết, nếu:
[...]
- mỗi chuyên môn hóa có giá trị của một mẫu variadic yêu cầu một mẫu gói tham số rỗng, hoặc
[...]

Do đó, là những chương trình có chứa các đoạn nêu trên vô hình thành hay không?

Answer 1

Kết quả "lừa" trong chương trình hình thành bị bệnh, không cần chẩn đoán.

Chuẩn này nêu rõ trong phần bạn đã trích dẫn.