Movatterモバイル変換

Proposed resolution (10/00): Replace the last sentence of9.3.4.6 [dcl.fct] paragraph 6with

The type of a parameter or the return type for a function definitionshall not be an incomplete class type (possibly cv-qualified) unlessthe function definition is nested within themember-specification for that class (including definitions innested classes defined within the class).

6.3 [basic.def.odr] paragraph 4and9.3.4.6 [dcl.fct] paragraph 6indicate thatthe return type and parameter types must be complete in a functiondefinition. However, when11.4 [class.mem] paragraph 2lists thecontexts in a classmember-specification in which the classis considered complete, the return type and parameter types of amember function defined in the class definition are not included.It thus appears that the following example is ill-formed:

    struct S {        S f() { return S(); }    // error: incomplete return type        void g(S) { }            // error: incomplete parameter type    };

The type of a parameter or the return type for a function definitionshall not be an incomplete class type unless the function definitionis nested in themember-specification for that class (includingdefinitions in nested classes defined within the class).

Proposed resolution (10/00): Replace the last sentence of9.3.4.6 [dcl.fct] paragraph 6with

The type of a parameter or the return type for a function definitionshall not be an incomplete class type (possibly cv-qualified) unlessthe function definition is nested within themember-specification for that class (including definitions innested classes defined within the class).