¿Por qué es anulado por la especialización parcial en un argumento que no es el tipo de usar plantilla anidada parámetros

Question

tengo este código

template<int N, bool C = true> 
struct A; 

template<int N> 
struct A<N, !(N % 5)> { 
    /* ... */ 
}; 

// should work 
A<25> a; 

Es decir, para los números N que son divisibles por 5, el compilador debe utilizar el parcial especialización. Pero el compilador no aceptará esa especialización parcial, porque el Estándar requiere que rechace dicho código cuando un argumento sin tipo de una especialización parcial haga referencia a un parámetro y no sea simplemente un parámetro (como, A<N, N> sería válido). Pero, ¿cuál es el motivo de hacerlo?

Tenga en cuenta que simplemente puedo cambiar el código para un ejemplo más prolijo y es válida

template<bool> struct wrap; 
template<int N, typename = wrap<true> > 
struct A; 

template<int N> 
struct A<N, wrap<!(N % 5)> > { 
    /* ... */ 
}; 

// should work 
A<25> a; 

Esto está bien porque no es un parámetro de tipo no más. ¿Pero cuál es la razón por la cual la especificación prohíbe la especialización parcial más directa?

Answer 1

Creo que mucho de esto es histórico. Los parámetros de plantilla sin tipo no se permitieron originalmente en absoluto. Cuando se agregaron, hubo lotes de limitaciones. Como las personas probaron diferentes posibilidades y confirmaron que no causaban problemas, se eliminaron algunas de las limitaciones.

Algunas de esas limitaciones originales permanecen sin ninguna razón en particular más allá del hecho de que nadie se molestó en trabajar para cambiarlas. Al igual que allí, muchos de ellos se pueden solucionar, por lo que su eliminación generalmente no causaría ninguna dificultad particular. En general, todo se reduce a la pregunta de si alguien se preocupó lo suficiente acerca de este caso particular como para escribir un artículo al respecto.

Answer 2

La especialización parcial requiere que el argumento de plantilla sin tipo se pueda resolver en tiempo de compilación.

En este punto

template<int N> 
struct A<N, !(N % 5)> { 
    /* ... */ 
}; 

N es una variable que puede tomar más de un valor y el compilador no puede calcular N % 5 con certeza.

Su ejemplo crea una instancia utilizando

A<25> a; 

pero también podría tener

A<25> a1; 
A<15> a2; 

¿Cómo el compilador elegir un valor para N en este escenario? No puede y tiene que rechazar el código.