[class.mfct] (original) (raw)

11 Classes [class]

11.4 Class members [class.mem]

11.4.2 Member functions [class.mfct]

A member function may be defined in its class definition, in which case it is an inline ([dcl.inline]) member function if it is attached to the global module, or it may be defined outside of its class definition if it has already been declared but not defined in its class definition.

[Note 1:

A member function is also inline if it is declaredinline, constexpr, or consteval.

— _end note_]

A member function definition that appears outside of the class definition shall appear in a namespace scope enclosing the class definition.

Except for member function definitions that appear outside of a class definition, and except for explicit specializations of member functions of class templates and member function templates ([temp.spec]) appearing outside of the class definition, a member function shall not be redeclared.

[Note 2:

There can be at most one definition of a non-inline member function in a program.

There can be more than one inline member function definition in a program.

— _end note_]

[Note 3:

Member functions of a class have the linkage of the name of the class.

— _end note_]

If the definition of a member function is lexically outside its class definition, the member function name shall be qualified by its class name using the ​::​ operator.

[Example 1: struct X { typedef int T;static T count;void f(T);};void X::f(T t = count) { }

The member function f of class X is defined in global scope; the notation X​::​f specifies that the function fis a member of class X and in the scope of class X.

In the function definition, the parameter type T refers to the typedef member T declared in class X and the default argument count refers to the static data member countdeclared in class X.

— _end example_]

[Note 5:

A static local variable or local type in a member function always refers to the same entity, whether or not the member function is inline.

— _end note_]

Previously declared member functions may be mentioned in friend declarations.

Member functions of a local class shall be defined inline in their class definition, if they are defined at all.

[Note 6:

A member function can be declared (but not defined) using a typedef for a function type.

The resulting member function has exactly the same type as it would have if the function declarator were provided explicitly, see [dcl.fct].

For example,

typedef void fv();typedef void fvc() const;struct S { fv memfunc1; void memfunc2(); fvc memfunc3; }; fv S::* pmfv1 = &S::memfunc1; fv S::* pmfv2 = &S::memfunc2; fvc S::* pmfv3 = &S::memfunc3;