Non-static data members

비정적 데이터 멤버는 클래스의 멤버 명세 에서 선언됩니다.

class S
{
    int n;              // 비정적 데이터 멤버
    int& r;             // 참조 타입의 비정적 데이터 멤버
    int a[2] = {1, 2};  // 기본 멤버 초기화자를 가진 비정적 데이터 멤버 (C++11)
    std::string s, *ps; // 두 개의 비정적 데이터 멤버
    struct NestedS
    {
        std::string s;
    } d5;               // 중첩 타입의 비정적 데이터 멤버
    char bit : 2;       // 2비트 비트 필드
};

다음을 제외한 모든 단순 선언 이 허용됩니다:

• extern 및 register 스토리지 클래스 지정자는 허용되지 않습니다;

• 불완전 타입 , 추상 클래스 타입 및 이들의 배열은 허용되지 않습니다: 특히, 클래스 C 는 C 타입의 비정적 데이터 멤버를 가질 수 없지만, C& (C에 대한 참조) 또는 C* ( C 에 대한 포인터) 타입의 비정적 데이터 멤버는 가질 수 있습니다;
• 사용자 선언 생성자가 하나 이상 존재하는 경우, 비정적 데이터 멤버는 클래스 이름과 동일한 이름을 가질 수 없습니다;

또한, bit-field 선언이 허용됩니다.

레이아웃

어떤 클래스 C 의 객체가 생성될 때, 비-참조 타입의 각 비정적 데이터 멤버는 C 의 객체 표현의 일부 영역에 할당됩니다. 참조 멤버들이 저장 공간을 차지하는지는 구현에 따라 정의되지만, 그들의 storage duration 은 자신이 멤버로 속한 객체의 저장 지속 기간과 동일합니다.

정렬 요구 사항으로 인해 클래스 멤버 사이 또는 마지막 멤버 뒤에 패딩이 필요할 수 있습니다.

표준 레이아웃

두 표준 레이아웃 비-공용체 클래스 타입의 공통 초기 시퀀스 는 각 클래스의 첫 번째 비정적 데이터 멤버와 비트 필드부터 시작하여, 선언 순서대로 배열된 비정적 데이터 멤버와 비트 필드의 가장 긴 시퀀스로서 다음 조건을 만족합니다:

• 해당 엔티티들이 레이아웃 호환 타입을 가지며,
• 해당 엔티티들이 동일한 alignment requirements 을 가지며,
• 두 엔티티 모두 동일한 너비의 비트 필드이거나, 둘 다 비트 필드가 아닌 경우.

struct A { int a; char b; };
struct B { const int b1; volatile char b2; }; 
// A와 B의 공통 초기 시퀀스는 A.a, A.b와 B.b1, B.b2입니다
struct C { int c; unsigned : 0; char b; };
// A와 C의 공통 초기 시퀀스는 A.a와 C.c입니다
struct D { int d; char b : 4; };
// A와 D의 공통 초기 시퀀스는 A.a와 D.d입니다
struct E { unsigned int e; char b; };
// A와 E의 공통 초기 시퀀스는 비어 있습니다

두 표준 레이아웃 비-공용체 클래스 타입은 cv 한정자를 무시했을 때 동일한 타입이거나, 레이아웃 호환 열거형 (즉, 동일한 기반 타입을 가진 열거형)이거나, 또는 그들의 공통 초기 시퀀스 가 모든 비정적 데이터 멤버와 비트 필드를 포함하는 경우 레이아웃 호환 이라고 합니다 (위 예제에서 A 와 B 는 레이아웃 호환입니다).

두 표준 레이아웃 공용체는 동일한 수의 비정적 데이터 멤버를 가지고 있고, 해당 비정적 데이터 멤버들(어떤 순서로든)이 레이아웃 호환 가능한 타입을 가질 때 레이아웃 호환 가능 하다고 합니다.

표준 레이아웃 타입은 다음과 같은 특별한 속성을 가집니다:

• 표준 레이아웃(standard-layout) 공용체에서 비공용체 클래스 타입 T1 의 활성 멤버가 있을 때, 다른 비공용체 클래스 타입 T2 의 공용체 멤버에 속한 비정적 데이터 멤버 m 을 읽는 것이 허용됩니다. 단, m 이 T1 과 T2 의 공통 초기 시퀀스(common initial sequence)에 속하는 경우에 한합니다 (단, volatile 멤버를 비-volatile glvalue를 통해 읽는 것은 정의되지 않은 동작입니다).
• 표준 레이아웃 클래스 타입의 객체에 대한 포인터는 reinterpret_cast 를 사용하여 첫 번째 비정적 비-비트필드 데이터 멤버(비정적 데이터 멤버가 있는 경우) 또는 기반 클래스 서브객체(기반 클래스가 있는 경우)에 대한 포인터로 변환할 수 있으며, 그 역도 성립합니다. 즉, 표준 레이아웃 타입의 첫 번째 데이터 멤버 앞에는 패딩(padding)이 허용되지 않습니다. 단, 엄격한 별칭 지정(strict aliasing) 규칙은 이러한 변환 결과에 여전히 적용됩니다.
• 매크로 offsetof 를 사용하여 표준 레이아웃 클래스의 시작점부터 어떤 멤버의 오프셋(offset)을 결정할 수 있습니다.

멤버 초기화

비정적 데이터 멤버는 두 가지 방법 중 하나로 초기화될 수 있습니다:

struct S
{
    int n;
    std::string s;
    S() : n(7) {} // n을 직접 초기화하고, s를 기본 초기화함
};

struct S
{
    int n = 7;
    std::string s{'a', 'b', 'c'};
    S() {} // 기본 멤버 초기화자가 n을 복사 초기화하고, s를 목록 초기화합니다
};

#include <iostream>
int x = 0;
struct S
{
    int n = ++x;
    S() {}                 // 기본 멤버 초기화자 사용
    S(int arg) : n(arg) {} // 멤버 초기화자 사용
};
int main()
{
    std::cout << x << '\n'; // 0 출력
    S s1;                   // 기본 초기화자가 실행됨
    std::cout << x << '\n'; // 1 출력
    S s2(7);                // 기본 초기화자가 실행되지 않음
    std::cout << x << '\n'; // 1 출력
}

struct X
{
    int a[] = {1, 2, 3};  // 오류
    int b[3] = {1, 2, 3}; // OK
};

struct node
{
    node* p = new node; // 오류: 암시적 또는 기본 node::node()의 사용
};

struct A
{
    A() = default;     // OK
    A(int v) : v(v) {} // OK
    const int& v = 42; // OK
};
A a1;    // 오류: 참조에 임시 객체 바인딩이 잘못됨
A a2(1); // OK (v가 생성자에 나타나므로 기본 멤버 초기화자가 무시됨)
         // 그러나 a2.v는 댕글링 참조입니다

struct A;
extern A a;
struct A
{
    const A& a1{A{a, a}}; // OK
    const A& a2{A{}};     // error
};
A a{a, a};                // OK

사용법

비정적 데이터 멤버 또는 비정적 멤버 함수의 이름은 다음 세 가지 상황에서만 나타날 수 있습니다:

struct S
{
    int m;
    int n;
    int x = m;            // OK: 기본 초기화자에서 암시적 this-> 허용 (C++11)
    S(int i) : m(i), n(m) // OK: 멤버 초기화 목록에서 암시적 this-> 허용
    {
        this->f();        // 명시적 멤버 접근 표현식
        f();              // 멤버 함수 본문에서 암시적 this-> 허용
    }
    void f();
};

struct S
{
    int m;
    void f();
};
int S::*p = &S::m;       // OK: use of m to make a pointer to member
void (S::*fp)() = &S::f; // OK: use of f to make a pointer to member

struct S
{
    int m;
    static const std::size_t sz = sizeof m; // OK: m in unevaluated operand
};
std::size_t j = sizeof(S::m + 42); // OK: even though there is no "this" object for m

참고 사항

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참고 항목