¿Por qué las plantillas no se pueden declarar en una función?

Question

lectura C++ Templates: The Complete Guide y dice

Tenga en cuenta que las plantillas no pueden ser declarados en una función

No da explicación y/o referencia cruzada a cualquier otro capítulo en el libro o recurso externo.

Podría alguien ayudarme a explicar esto. Probablemente se explica más adelante en el libro pero aún no está allí. Si lo explicamos antes, me lo debería haber perdido.

Ejemplo:

int main() 
{ 
    class DummyClass // This compiles ok 
    { 
    int object; 
    }; 

    template <typename T> // compile error "expected primary-expression before "template"" 
    class DummyTemplate 
    { 
    T object; 
    }; 

    return 0; 
} 

no entiendo el mensaje de error de gcc tampoco. El mensaje de error dice:

expected primary-expression before "template" 

Answer 1

Esto significa que no puede hacer algo como las siguientes declaraciones de plantilla

void foo() 
    { 
     template <typename T> //Error 
     T something; 
    } 

sólo se permiten al espacio de nombres, o el ámbito mundial, la clase. :)

¿Cuál es el razonamiento detrás de esto?

No está permitido porque el estándar lo dice.

ISO C++ - 98 (Sección 14,2)

Una declaración plantilla sólo puede aparecer como una declaración de espacio de nombres alcance o clase.

¿Tiene sentido?

Answer 2

¿Cuál sería exactamente el uso? Entonces, ¿puede declarar variables de plantilla que solo puede usar dentro de la función? ¿Eso es realmente útil?

Answer 3

La respuesta corta de por qué esto es así es porque así lo querían los tipos que escribieron los compiladores y estándares c/C++. Las plantillas dentro de las funciones deben haber sido consideradas demasiado caóticas y/o difíciles de entender o analizar, por lo que lo prohibieron.

Answer 4

El único momento en que esto sería útil sería si creó varias instancias de la plantilla con diferentes tipos dentro de una función. Aparte sus clases privadas de sus funciones. Si eso comienza a llenar sus clases, entonces son demasiado grandes y deben ser refactorizados.

Answer 5

Supongo que es difícil de implementar, por eso no está permitido. Escribir plantillas de clase fuera de las funciones es una solución aceptable de la otra mano.

Answer 6

El problema probablemente esté relacionado con la forma histórica en que se implementaron las plantillas: las primeras técnicas de implementación (y algunas todavía se usan hoy en día) requieren que todos los símbolos en una plantilla tengan un enlace externo. (La instanciación se realiza generando el código equivalente en un archivo separado.) Y los nombres definidos dentro de una función nunca tienen vínculos, y no pueden ser referidos fuera del alcance en el que fueron definidos.