¿Error del compilador? g ++ permite matrices estáticas de tamaño variable, a menos que la función esté templada

Question

El siguiente código demuestra un comportamiento de gcc 4.6.2 que no puedo explicar. La primera función declara una matriz estática de tipo vec_t, donde vec_t es un alias typedef'd para char sin signo. La segunda función es idéntica, excepto que el tipo de vect_t es un parámetro de plantilla. La segunda función no puede compilarse con el error de diagnóstico: el tamaño de almacenamiento de 'bitVec' no es constante ".

#include <limits> 

void bitvec_func() 
{ 
    const std::size_t  nbits = 1e7; 
    typedef unsigned char vec_t; 
    const std::size_t  WLEN = std::numeric_limits<vec_t>::digits; 
    const std::size_t  VSIZ = nbits/WLEN+1; 
    static vec_t   bitVec[nbits/VSIZ]; // Compiles fine 
} 

template <typename T> 
void bitvec_func() 
{ 
    const std::size_t  nbits = 1e7; 
    typedef T    vec_t; 
    const std::size_t  WLEN = std::numeric_limits<vec_t>::digits; 
    const std::size_t  VSIZ = nbits/WLEN+1; 
    static vec_t   bitVec[nbits/VSIZ]; // "error: storage size of ‘bitVec’ isn’t constant" 
} 

void flarf() 
{ 
    bitvec_func(); 
    bitvec_func<unsigned char>(); 
} 

Me parece que una instancia de la plantilla con el argumento < unsigned char> debería hacer que el compilador generar el mismo código que la primera función. ¿Alguien puede ofrecer alguna idea de por qué este no parece ser el caso?

[Adición: la segunda función se compilar con "-std = C++ 0x" o "-std = gnu ++ 0x", pero todavía me gustaría entender cómo/si está mal bajo la anteriores definiciones de la lengua]

ETA:.
la segunda función compilará si el inicializador para nbits se cambia:

const std::size_t  nbits = 1e7;    // Error 
const std::size_t  nbits = (std::size_t)1e7; // Okay 
const std::size_t  nbits = 10000000.0;  // Error 
const std::size_t  nbits = 10000000;   // Okay 

En otras palabras, parece que si nbits se inicia con una expresión de una integral tipo, entonces nbits se trata como constante en la definición de bitVec. Si nbits se inicializa con una expresión de coma flotante, el compilador ya no lo ve como constante en la expresión de la dimensión bitVec, y la compilación falla.

Soy mucho menos cómodo llamando "error de compilación" en C++ que en C, pero no puedo pensar en ninguna otra razón por la que los 4 casos anteriores no sean semánticamente idénticos. ¿Alguien más se preocupa por opinar?

Answer 1

Después de compilar el código con -ansi en gcc 4.7.0, yo era capaz de reproducir esta advertencia:

warning: ISO C++ forbids variable length array 'bitVec' [-Wvla] 

Esta advertencia apareció por tantobitVec, no sólo el de la función de plantilla. Luego me di cuenta de que la línea nbits = 1e7; está asignando un double a un unsigned int. Creo que debido a esto, por alguna razón hace que nbits no sea una expresión constante. La razón por la cual su código se está compilando para la versión no templada es debido a la extensión de matriz de longitud variable para gcc. Además, su versión de gcc por alguna razón no permite matrices de longitud variable en plantillas de funciones. Para arreglar su código, cambie 1e7; a 10000000.

EDITAR

me preguntó another question correspondiente a la norma. La respuesta está en C++ 03 el código no es válido, pero en C++ 11 está bien.

Answer 2

Seguramente la respuesta es que en la etapa de compilación donde se genera ese error, el tamaño de almacenamiento del índice de matriz no es constante, es decir, es anterior a la expansión de la plantilla. Las matrices dinámicas no son parte de C++ 98/03, son una extensión de gcc (a C, originalmente). Entonces, el error es correcto, incluso si la implementación se ve extraña. Es de suponer que GCC alcanza una ruta de cumplimiento de normas para matrices con plantillas, admitiéndolas donde sea necesario y arrojando un error de lo contrario, pero las matrices de tipos estáticos tocan la ruta "C" y así recogen la extensión gcc automáticamente.