Kontrol edilmiş koruyucu parametre paketleri, uzmanlık durumunda kötü biçimlendirilmiş programların sebebi midir?

Question

Bu, this sorusundaki bir takiptir.

#include <type_traits> 

template<typename T, typename... P, typename U = std::enable_if_t<std::is_integral<T>::value>> 
void f() { static_assert(sizeof...(P) == 0, "!"); } 

int main() { 
    f<int>(); 
} 

Bu derler ama [temp.res]/8 göre o, hiçbir teşhis gerekli kötü şekillendirilmiş değildir çünkü:

variadic şablonun her geçerli uzmanlaşma bir gerektiriyor

Aşağıdaki kodu düşünün Boş şablon parametre paketi

Şimdi biraz farklı bir örnek olarak düşünün:

Bu durumda, parametre paketinin boş olmadığı geçerli tam açık bir uzmanlık var.
Bu, kodun artık kötü biçimlendirilmemiş olduğunu söylemek için yeterli midir?

---

_{Not: Ben dönüş türü veya benzeri içinde std::enable_if_t koyarak gibi alternatif yollar aramıyorum.}

Answer 1

[temp.res]/8 hakkında şablon bildirimi s, varlık değil. Yani, birincil şablonlar ve tekil tek tek; Bu "şablonlar", numaralı numaralı kuralların geçerli bir uzmanlık bilgisine sahip olması şarttır. Aksi takdirde, bu paragraftaki ilk mermi aynı şekilde yorumlanmak zorunda kalacaktı, ki bu kesinlikle niyetini anlamıyordu.

template <typename T> 
void f() {T+0;} // wouldn't be allowed to diagnose this, because there could be an 
       // explicit specialization that doesn't contain this statement...?