Parece que los compiladores aceptan una sintaxis diferente a la inicialización de la estática en la plantilla.
template <typename T> struct TBase
{
static const int i;
static const int j;
};
// compile: gcc + clang + visual + icc
template <> const int TBase<double>::i=1;
// compile: vc + icc
// failed gcc, gcc -fpermissive, clang
const int TBase<double>::j=2;
Es la sintaxis sin template<>
aceptado por el estándar incluso si obviamente no es portátil en este momento?
editar: Con este código en vc ++ TBase<double>::i==1
y TBase<double>::j==2
exactamente como el código sin plantilla.
struct noTemplate
{
static const int i;
static const int j;
};
const int noTemplate::i=1;
const int noTemplate::j=2;
gcc y clang parecen imponer el uso de template<>
para inicializar esta estática, no veo por qué el compilador necesita esta información.
Respuestas
3 para la respuesta № 1Las dos sintaxis son válidas, pero significan cosas diferentes. La sintaxis con template<>
se utiliza para declarar o definir un miembro de un implícito o explícito instanciación:
template<class T> struct X { static int const i; };
template<> int const X<char>::i = 1; // Define member of an implicit instantiation
template struct X<long>;
template<> int const X<long>::i = 2; // Define member of an explicit instantiation
La sintaxis sin template<>
se usa para definir un miembro de un especialización:
template<> struct X<float> { static int const j; }; // Class template specialization
int const X<float>::j = 3;
0 para la respuesta № 2
Sí, parece cumplir con el estándar.
Al menos el estándar C ++ 14 contiene (espero que su revisión final también lo contenga, lo he comprobado con la versión preliminar) http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3797.pdf)
14.7.1 Instanciación implícita ... A menos que un miembro de una plantilla de clase o una plantilla de miembro haya sido explícitamente instanciado o explícitamente especializado, la especialización del miembro se instancia implícitamente cuando se hace referencia a la especialización en un contexto que requiere que exista la definición del miembro; en particular, la inicialización (y cualquier efecto secundario asociado) de un miembro de datos estáticos no ocurre a menos que el miembro de datos estáticos se use de una manera que requiera la definición del miembro de datos estáticos para existir. ...
Por const int TBase<double>::j=0;
está accediendo (no especializado) al miembro estático j
de TBase<double>
, asi que TBase<double>
Se debe crear una especialización si aún no existe.
El ejemplo de código sin plantillas, lo que demuestra que solo está accediendo al miembro struct:
struct WithoutTemplate {
static const int i;
};
const int WithoutTemplate::i = 5;