Proposed Resolution (04/99): Change the first sentence of 6.3 [basic.def.odr] paragraph 2 from:

An expression is potentially evaluated unless either it is the operand of the sizeof operator (7.6.2.5 [expr.sizeof] ), or it is the operand of the typeid operator and does not designate an lvalue of polymorphic class type (7.6.1.8 [expr.typeid] ).

An expression is potentially evaluated unless it appears where an integral constant expression is required (see 7.7 [expr.const] ), is the operand of the sizeof operator (7.6.2.5 [expr.sizeof] ), or is the operand of the typeid operator and the expression does not designate an lvalue of polymorphic class type (7.6.1.8 [expr.typeid] ).

Also see section: 6.3 [basic.def.odr] .

Originally, all static data members still had to be defined outside the class whether they were used or not.

But that restriction was supposed to be lifted so that static data members need not be defined outside the class unless they are used in a manner which requires their definition, in the same manner as namespace-scope variables. In particular, if an integral/enum const static data member is initialized within the class, and its address is never taken, we agreed that no namespace-scope definition was required.

For example:

    struct A {
        static const int size = 10;
        int array[size];
    };

    int main() {
        A a;
        return 0;
    }

The member shall still be defined in a namespace scope if it is used in the program and the namespace scope definition shall not contain an initializer.

The member shall still be defined in a namespace scope if it is used in the program in the manner described in 6.3 [basic.def.odr] . The namespace scope definition shall not contain an initializer.

An expression is potentially evaluated unless either it is the operand of the sizeof operator (7.6.2.5 [expr.sizeof] ), or it is the operand of the typeid operator and does not designate an lvalue of polymorphic class type (7.6.1.8 [expr.typeid] ).

An expression is potentially evaluated unless it is the operand of the sizeof operator (7.6.2.5 [expr.sizeof] ), the operand of the typeid operator, an integral constant-expression used as an array bound or an integral constant-expression used as a template-argument for a non-reference template-parameter; and the expression does not designate an lvalue of polymorphic class type (7.6.1.8 [expr.typeid] ).

Proposed Resolution (04/99): Change the first sentence of 6.3 [basic.def.odr] paragraph 2 from:

An expression is potentially evaluated unless either it is the operand of the sizeof operator (7.6.2.5 [expr.sizeof] ), or it is the operand of the typeid operator and does not designate an lvalue of polymorphic class type (7.6.1.8 [expr.typeid] ).

An expression is potentially evaluated unless it appears where an integral constant expression is required (see 7.7 [expr.const] ), is the operand of the sizeof operator (7.6.2.5 [expr.sizeof] ), or is the operand of the typeid operator and the expression does not designate an lvalue of polymorphic class type (7.6.1.8 [expr.typeid] ).