The following code looks fine to me:
#include <stdio.h>
template <typename T>
struct A
{
static float m_kA[];
};
template <typename T>
float A<T>::m_kA[] = {1.0f, 2.0f, 3.0f};
int main()
{
printf("%d\n",
sizeof(A<unsigned int>::m_kA) /
sizeof(A<unsigned int>::m_kA[0]));
return 0;
}
But when i compile with VC9 i get the following error
error C2070: 'float []': illegal sizeof operand
I would expect this code to compile. Am i missing something? Does anyone know a way to fix this strange behavior (note that the exact same thing without the template compiles fine and outputs 3).
Note that removing the template is not an option, i made this example to reproduce a problem that i'm having in a code where i need the type containing the array to be a template.
Thanks
it compiles fine with G++.
As far as i can see it can be related to this bug:
It's well defined. Do note that in the class definition, m_kA is declared with type float[], which is an incomplete type and cannot be used in tandem with sizeof. In the definition of m_kA, it is redeclared to have type float[3], after which it is okay to use sizeof. (8.3.4 governs the meaning of array declarations.)
From 3.4.6 Using-directives and namespace aliases [basic.lookup.udir]:
10 After all adjustments of types (during which typedefs (7.1.3) are replaced by their definitions), the types specified by all declarations referring to a given variable or function shall be identical, except that declarations for an array object can specify array types that differ by the presence or absence of a major array bound (8.3.4). A violation of this rule on type identity does not require a diagnostic.
From 3.9.2 Compound types [basic.compound]:
6 [...] The declared type of an array object might be an array of unknown size and therefore be incomplete at one point in a translation unit and complete later on; the array types at those two points (“array of unknown bound of T” and “array of N T”) are different types. [...]
A workaround for your compiler issues would be to declare m_kA with a complete type outright. Another static member holding the size could be helpful, too.
[ I'm quoting from C++11 but to the best of my knowledge C++03 followed the same rules. ]
来源：https://stackoverflow.com/questions/12485025/c2070-illegal-sizeof-operand