Destructors

소멸자는 객체의 멤버 함수 로서 객체의 수명이 종료 될 때 호출되는 특별한 함수입니다. 소멸자의 목적은 객체가 자신의 수명 동안 획득했을 수 있는 자원을 해제하는 것입니다.

구문

소멸자 (C++20까지) 예정 소멸자 (C++20부터) 는 다음 형식의 멤버 함수 선언자 를 사용하여 선언됩니다:

소멸자 선언의 선언 지정자 에서 허용되는 유일한 지정자는 예비 (C++20부터) constexpr , (C++11부터) friend , inline 그리고 virtual 입니다 (특히, 반환 타입은 허용되지 않습니다).

class-name-with-tilde 식별자 표현식은 다음 형식 중 하나를 가져야 합니다:

• 클래스나 클래스 템플릿의 멤버 명세 에 속하는 멤버 선언에서, 하지만 friend 선언 이 아닌 경우:

• 클래스의 경우, 식별자 표현식은 ~ 뒤에 바로 바깥쪽 클래스의 injected-class-name 이 옵니다.
• 클래스 템플릿의 경우, 식별자 표현식은 ~ 뒤에 current instantiation 를 나타내는 클래스 이름 (C++20까지) injected-class-name (C++20부터) 이 옵니다.

• 그렇지 않으면, 식별자 표현식은 터미널 비한정 식별자가 ~ 다음에 한정 식별자의 비터미널 부분이 지정하는 클래스의 주입된 클래스 이름이 오는 한정 식별자입니다.

설명

소멸자는 객체의 lifetime 이 종료될 때마다 암시적으로 호출되며, 여기에는 다음이 포함됩니다

• 프로그램 종료 , 정적 storage duration 을 가진 객체들에 대한

• 자동 저장 기간을 가진 객체와 참조에 바인딩되어 수명이 연장된 임시 객체의 경우, 범위 종료 시
• delete expression , 동적 저장 기간을 가진 객체의 경우
• 이름 없는 임시 객체의 경우, 전체 expression 종료 시
• stack unwinding , 예외가 해당 블록을 벗어날 때 자동 저장 기간을 가진 객체의 경우 (처리되지 않은 예외)

소멸자는 명시적으로 호출할 수도 있습니다.

#include <cstdio>
#include <type_traits>
template<typename T>
struct A
{
    ~A() requires std::is_integral_v<T> { std::puts("~A, T is integral"); }
    ~A() requires std::is_pointer_v<T> { std::puts("~A, T is a pointer"); }
    ~A() { std::puts("~A, T is anything else"); }
};
int main()
{
    A<int> a;
    A<int*> b;
    A<float> c;
}

~A, T is anything else
~A, T is a pointer
~A, T is integral

잠재적으로 호출되는 소멸자

클래스 T 의 소멸자가 잠재적으로 호출될 수 있는 상황은 다음과 같습니다:

• 명시적으로 또는 암묵적으로 호출됩니다.
• new expression 이 T 타입의 객체 배열을 생성합니다.
• return statement 의 결과 객체는 T 타입입니다.
• 배열이 aggregate initialization 을 받고 있으며, 그 요소 타입이 T 입니다.
• 클래스 객체가 aggregate initialization을 받고 있으며, T 타입의 멤버를 가지고 있습니다. 이때 T 는 anonymous union 타입이 아닙니다.
• potentially constructed subobject 가 non- delegating (since C++11) 생성자에서 T 타입입니다.
• T 타입의 exception object 가 생성됩니다.

잠재적으로 호출될 수 있는 소멸자가 삭제되었거나 (C++11부터) 호출 문맥에서 접근할 수 없는 경우, 프로그램은 ill-formed입니다.

암시적으로 선언된 소멸자

사용자가 선언한 prospective (since C++20) destructor가 제공되지 않는 경우, class type 에 대해 컴파일러는 항상 destructor를 inline public 멤버로 선언합니다.

다른 암시적으로 선언된 특별 멤버 함수와 마찬가지로, 암시적으로 선언된 소멸자의 예외 명세는 다음 경우를 제외하고 non-throwing입니다: 잠재적으로 생성된 기반 클래스나 멤버의 소멸자가 potentially-throwing 인 경우 (C++17부터) 암시적 정의가 다른 예외 명세를 가진 함수를 직접 호출하는 경우 (C++17 이전) . 실제로, 암시적 소멸자는 noexcept 입니다. 단, 소멸자가 noexcept ( false ) 인 기반 클래스나 멤버에 의해 "오염된" 클래스는 예외입니다.

암시적으로 정의된 소멸자

암시적으로 선언된 소멸자가 삭제되지 않은 경우, 컴파일러에 의해 ODR-사용 될 때 암시적으로 정의됩니다(즉, 함수 본문이 생성되고 컴파일됨). 이 암시적으로 정의된 소멸자는 빈 본문을 가집니다.

Trivial destructor

클래스 T 의 소멸자는 다음 조건들이 모두 충족될 때 trivial합니다:

• 소멸자는 암시적으로 선언됨 (C++11까지) 사용자 제공이 아님 user-provided (C++11부터) .
• 소멸자는 가상이 아닙니다.
• 모든 직접 기본 클래스는 trivial 소멸자를 가집니다.

trivial destructor(사소한 소멸자)는 아무런 동작도 수행하지 않는 소멸자입니다. trivial destructor를 가진 객체들은 delete 표현식이 필요하지 않으며 단순히 해당 저장 공간을 할당 해제함으로써 처리될 수 있습니다. C 언어와 호환되는 모든 데이터 타입(POD 타입)들은 사소하게 소멸 가능합니다.

소멸 순서

사용자 정의 또는 암시적으로 정의된 소멸자 모두에 대해, 소멸자 본문을 실행하고 본문 내에서 할당된 자동 객체들을 파괴한 후, 컴파일러는 클래스의 모든 비정적(non-static) 비변형(non-variant) 데이터 멤버들의 소멸자들을 선언 순서의 역순으로 호출합니다. 그 다음 모든 직접 비가상(direct non-virtual) 기본 클래스들의 소멸자들을 생성 순서의 역순 으로 호출합니다(이들은 차례로 자신의 멤버들과 기본 클래스들의 소멸자들을 호출합니다). 그리고 나서, 이 객체가 최종 파생 클래스(most derived class) 인 경우, 모든 가상 기본 클래스(virtual bases)들의 소멸자들을 호출합니다.

소멸자가 직접 호출되는 경우에도 (예: obj.~Foo ( ) ; ), return 문이 ~Foo ( ) 에 있더라도 호출자에게 제어를 즉시 반환하지 않습니다: 먼저 모든 멤버 및 기본 클래스 소멸자들을 호출합니다.

가상 소멸자

베이스 클래스에 대한 포인터를 통해 객체를 삭제할 때, 베이스 클래스의 소멸자가 virtual 이 아닌 경우 정의되지 않은 동작(undefined behavior)을 유발합니다:

class Base
{
public:
    virtual ~Base() {}
};
class Derived : public Base {};
Base* b = new Derived;
delete b; // 안전함

일반적인 지침은 기본 클래스의 소멸자가 public이면서 virtual이거나 protected이면서 nonvirtual이어야 한다 는 것입니다.

순수 가상 소멸자

A prospective (since C++20) destructor는 pure virtual 로 선언될 수 있습니다. 예를 들어, 추상화되어야 하지만 pure virtual로 선언될 수 있는 다른 적절한 함수가 없는 기본 클래스에서 사용됩니다. pure virtual destructor는 정의를 가져야 합니다. 파생 클래스가 소멸될 때 모든 기본 클래스 destructor들이 항상 호출되기 때문입니다:

class AbstractBase
{
public:
    virtual ~AbstractBase() = 0;
};
AbstractBase::~AbstractBase() {}
class Derived : public AbstractBase {};
// AbstractBase obj; // 컴파일러 오류
Derived obj;         // 정상

예외

다른 함수와 마찬가지로, 소멸자도 예외를 발생시키며 종료할 수 있습니다 exception (이는 일반적으로 명시적으로 noexcept ( false ) 로 선언해야 함) (since C++11) , 그러나 이 소멸자가 stack unwinding 중에 호출되는 경우에는 std::terminate 가 대신 호출됩니다.

비록 std::uncaught_exceptions 가 때때로 진행 중인 스택 풀기(stack unwinding)를 감지하는 데 사용될 수 있지만, 소멸자가 예외를 던져서 종료되도록 허용하는 것은 일반적으로 나쁜 관행으로 간주됩니다. 그럼에도 불구하고 이 기능은 SOCI 와 Galera 3 와 같은 일부 라이브러리에서 사용되며, 이러한 라이브러리들은 이름 없는 임시 객체의 소멸자들이 해당 임시 객체를 생성하는 전체 표현식의 끝에서 예외를 던질 수 있는 능력에 의존합니다.

std::experimental::scope_success 는 Library fundamental TS v3에서 예외를 던질 수 있는 소멸자 를 가질 수 있으며, 이는 스코프가 정상적으로 종료되고 exit 함수가 예외를 던질 때 예외를 발생시킵니다.

참고 사항

일반 객체(예: 지역 변수)에 대해 소멸자를 직접 호출하면, 범위의 끝에서 소멸자가 다시 호출될 때 정의되지 않은 동작을 초래합니다.

일반적인 맥락에서, 소멸자 호출 구문은 비클래스 타입의 객체와 함께 사용될 수 있습니다; 이를 의사 소멸자 호출이라고 합니다: 멤버 접근 연산자 를 참조하십시오.

예제

#include <iostream>
struct A
{
    int i;
    A(int num) : i(num)
    {
        std::cout << "ctor a" << i << '\n';
    }
    (~A)() // but usually ~A()
    {
        std::cout << "dtor a" << i << '\n';
    }
};
A a0(0);
int main()
{
    A a1(1);
    A* p;
    { // nested scope
        A a2(2);
        p = new A(3);
    } // a2 out of scope
    delete p; // calls the destructor of a3
}

ctor a0
ctor a1
ctor a2
ctor a3
dtor a2
dtor a3
dtor a1
dtor a0

결함 보고서

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

참고 항목

• 복사 생략
• new
• delete