g++4.0 diagnostic on casting a static const member initializer to a double

[Fariborz Jahanian]

On Jan 31, 2005, at 10:16 AM, Mark Mitchell wrote:

> Fariborz Jahanian wrote:
>> g++ 4.0 in FSF issues a diagnostic on the following test case:
>> template <class T> struct S {
>>   static const double scd = (double)24;
>> };
>> test1.C:2: error: a cast to a type other than an integral or 
>> enumeration type cannot appear in a constant-expression
>> Rewriting the above to:
>> template <class T> struct S {
>>   static const double scd;
>> };
>> template <class T>
>> const double S<T>::scd = (double)24;
>> Compiles. Event though the diagnostic is clear in what it is saying, 
>> but it seems to be a g++ bug
>> one way or the other.
>
> No, the input program is invalid.  From [class.static.data]:
>
> "If  a  static  data  member  is of const integral or const 
> enumeration type, its declaration in the class definition can specify 
> a constant-initializer   which   shall   be   an   integral  constant 
> expression(_expr.const_)."

Thanks. Problem here is that the static data member is not of type 
const intergal/enum, so it can not specify
an initializer in its class declaration. A better diagnostic should 
probably mention this.

- fariborz

>
> The diagnostic could be better, but it is indeed accurate; if there's 
> an initializer it must be integral constant-expression, and a cast to 
> "double" cannot appear in such an expression.
>
> -- 
> Mark Mitchell
> CodeSourcery, LLC
> mark@codesourcery.com
> (916) 791-8304