General topics | ||||||||||||||||
Flow control | ||||||||||||||||
Conditional execution statements | ||||||||||||||||
Iteration statements (loops) | ||||||||||||||||
Jump statements | ||||||||||||||||
Functions | ||||||||||||||||
Function declaration | ||||||||||||||||
Lambda function expression | ||||||||||||||||
inline specifier | ||||||||||||||||
Dynamic exception specifications(until C++17*) | ||||||||||||||||
noexcept specifier(C++11) | ||||||||||||||||
Exceptions | ||||||||||||||||
Namespaces | ||||||||||||||||
Types | ||||||||||||||||
Specifiers | ||||||||||||||||
| ||||||||||||||||
Storage duration specifiers | ||||||||||||||||
Initialization | ||||||||||||||||
Expressions | ||||||||||||||||
Alternative representations | ||||||||||||||||
Literals | ||||||||||||||||
Boolean -Integer -Floating-point | ||||||||||||||||
Character -String -nullptr(C++11) | ||||||||||||||||
User-defined(C++11) | ||||||||||||||||
Utilities | ||||||||||||||||
Attributes(C++11) | ||||||||||||||||
Types | ||||||||||||||||
typedef declaration | ||||||||||||||||
Type alias declaration(C++11) | ||||||||||||||||
Casts | ||||||||||||||||
Memory allocation | ||||||||||||||||
Classes | ||||||||||||||||
| ||||||||||||||||
Class-specific function properties | ||||||||||||||||
| ||||||||||||||||
Special member functions | ||||||||||||||||
Templates | ||||||||||||||||
Miscellaneous | ||||||||||||||||
In amember-specification of aclass/struct orunion, define the accessibility of subsequent members.
In abase-specifier of aderived class declaration, define the accessibility of inherited members of the subsequent base class.
Contents |
public: member-declarations | (1) | ||||||||
protected: member-declarations | (2) | ||||||||
private: member-declarations | (3) | ||||||||
publicbase-class | (4) | ||||||||
protectedbase-class | (5) | ||||||||
privatebase-class | (6) | ||||||||
The private members of the base class are always inaccessible to the derived class regardless of public, protected, or private inheritance.
The name of everyclass member (static, non-static, function, type, etc) has an associated “member access”. When a name of the member is used anywhere a program, its access is checked, and if it does not satisfy the access rules, the program does not compile:
#include <iostream> class Example{public:// all declarations after this point are publicvoid add(int x)// member “add” has public access{ n+= x;// OK: private Example::n can be accessed from Example::add}private:// all declarations after this point are privateint n=0;// member “n” has private access}; int main(){ Example e; e.add(1);// OK: public Example::add can be accessed from main// e.n = 7; // error: private Example::n cannot be accessed from main}
Access specifiers give the author of the class the ability to decide which class members are accessible to the users of the class (that is, theinterface) and which members are for internal use of the class (theimplementation).
All members of a class (bodies ofmember functions, initializers of member objects, and the entirenested class definitions) have access to all names the class can access. A local class within a member function has access to all names the member function can access.
A class defined with the keywordclass
has private access for its members and its base classes by default. A class defined with the keywordstruct
has public access for its members and its base classes by default. Aunion has public access for its members by default.
To grant access to additional functions or classes to protected or private members, afriendship declaration may be used.
Accessibility applies to all names with no regard to their origin, so a name introduced by atypedef orusing declarations (except inheriting constructors) is checked, not the name it refers to:
class A: X{class B{};// B is private in Apublic:typedef B BB;// BB is public}; void f(){ A::B y;// error: A::B is private A::BB x;// OK: A::BB is public}
Member access does not affect visibility: names of private and privately-inherited members are visible and considered by overload resolution, implicit conversions to inaccessible base classes are still considered, etc. Member access check is the last step after any given language construct is interpreted. The intent of this rule is that replacing anyprivate
withpublic
never alters the behavior of the program.
Access checking for the names used indefault function arguments as well as in the defaulttemplate parameters is performed at the point of declaration, not at the point of use.
Access rules for the names ofvirtual functions are checked at the call point using the type of the expression used to denote the object for which the member function is called. The access of the final overrider is ignored:
struct B{virtualint f();// f is public in B}; class D:public B{private:int f();// f is private in D}; void f(){ D d; B& b= d; b.f();// OK: B::f is public, D::f is invoked even though it's private d.f();// error: D::f is private}
A name that is private according to unqualifiedname lookup, may be accessible through qualified name lookup:
class A{}; class B:private A{}; class C:public B{ A* p;// error: unqualified name lookup finds A as the private base of B::A* q;// OK: qualified name lookup finds the namespace-level declaration};
A name that is accessible through multiple paths in the inheritance graph has the access of the path with the most access:
class W{public:void f();}; class A:privatevirtual W{}; class B:publicvirtual W{}; class C:public A,public B{void f(){ W::f();// OK: W is accessible to C through B}};
Any number of access specifiers may appear within a class, in any order.
Member access specifiers may affectclass layout: the addresses of non-static data members are only guaranteed to increase in order of declaration for the membersnot separated by an access specifier(until C++11)with the same access(since C++11). | (until C++23) |
Forstandard-layout types, all non-static data members must have the same access. | (since C++11) |
When a member is redeclared within the same class, it must do so under the same member access:
struct S{class A;// S::A is publicprivate:class A{};// error: cannot change access};
Public members form a part of the public interface of a class (other parts of the public interface are the non-member functions found byADL).
A public member of a class is accessible anywhere:
class S{public:// n, E, A, B, C, U, f are public membersint n;enum E{A, B, C};struct U{};staticvoid f(){}}; int main(){ S::f();// S::f is accessible in main S s; s.n= S::B;// S::n and S::B are accessible in main S::U x;// S::U is accessible in main}
Protected members form the interface of a class to its derived classes (which is distinct from the public interface of the class).
A protected member of a class is only accessible
struct Base{protected:int i;private:void g(Base& b,struct Derived& d);}; struct Derived: Base{friendvoid h(Base& b, Derived& d);void f(Base& b, Derived& d)// member function of a derived class{++d.i;// OK: the type of d is Derived++i;// OK: the type of the implied '*this' is Derived// ++b.i; // error: can't access a protected member through// Base (otherwise it would be possible to change// other derived classes, like a hypothetical// Derived2, base implementation)}}; void Base::g(Base& b, Derived& d)// member function of Base{++i;// OK++b.i;// OK++d.i;// OK} void h(Base& b, Derived& d)// Friend of Derived{++d.i;// OK: friend of Derived can access a protected// member through an object of Derived// ++b.i; // error: friend of Derived is not a friend of Base} void x(Base& b, Derived& d)// non-member non-friend{// ++b.i; // error: no access from non-member// ++d.i; // error: no access from non-member}
When a pointer to a protected member is formed, it must use a derived class in its declaration:
struct Base{protected:int i;}; struct Derived: Base{void f(){// int Base::* ptr = &Base::i; // error: must name using Derivedint Base::* ptr=&Derived::i;// OK}};
Private members form the implementation of a class, as well as the private interface for the other members of the class.
A private member of a class is only accessible to the members and friends of that class, regardless of whether the members are on the same or different instances:
class S{private:int n;// S::n is privatepublic: S(): n(10){}// this->n is accessible in S::S S(const S& other): n(other.n){}// other.n is accessible in S::S};
Theexplicit cast (C-style and function-style) allows casting from a derived lvalue to reference to its private base, or from a pointer to derived to a pointer to its private base.
Seederived classes for the meaning of public, protected, and private inheritance.
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR | Applied to | Behavior as published | Correct behavior |
---|---|---|---|
CWG 1873 | C++98 | protected members were accessible to friends of derived classes | made inaccessible |