Movatterモバイル変換

[Moved to DR at the April, 2013 meeting.]

Proposed resolution (October, 2012):

1. Change 9.2.9.3 [dcl.type.simple] paragraph 2 as follows:

Theauto specifier is a placeholder for a type to be deduced(9.2.9.7 [dcl.spec.auto]). The othersimple-type-specifiers specify either a previously-declareduser-defined type, a type determined from anexpression, or one of the fundamental types (6.9.2 [basic.fundamental]). Table 10 summarizes the valid combinations ofsimple-type-specifiers and the types they specify.

2. Change 7.3 [conv] paragraph 4 as follows:

[Note: Foruser-definedclass types,user-defined conversions are considered as well; see 11.4.8 [class.conv]. In general, an implicit conversion sequence(12.2.4.2 [over.best.ics]) consists of a standard conversionsequence followed by a user-defined conversion followed by anotherstandard conversion sequence. —end note]

3. Change the example in 12.2.2.3 [over.match.oper] paragraph 1as follows:

  ...  void f(void) {    const char* p= "one" + "two";  // ill-formed because neither                                   // operand hasuser-definedclass or enumeration type    int I = 1 + 1;                 // Always evaluates to2 even if                                   //user-definedclass or enumeration types exist which                                   // would perform the operation.  }

The Standard uses the phrase, “user-defined type,” but itis not clear what it is intended to mean. For example,16.4.5.2.1 [namespace.std] paragraph 1 says,

A program may add a template specialization for any standard librarytemplate to namespacestd only if the declaration depends on auser-defined type...

Are types defined in the Standard library “user-defined?”

9.2.9.3 [dcl.type.simple] paragraph 2 says,

Theauto specifier is a placeholder for a type to be deduced(9.2.9.7 [dcl.spec.auto]). The othersimple-type-specifiers specify either a previously-declareduser-defined type or one of the fundamental types (6.9.2 [basic.fundamental]).

implying that all non-fundamental types are “user-defined.”

A definition is needed, as well as a survey of uses of the term toensure consistency with the definition.