C++ std::is_final 템플릿 완벽 가이드: final 클래스 판별 방법

이 글에서는 C++ STL의 std::is_final 템플릿의 동작 원리, 문법, 그리고 실제 활용 예제를 자세히 살펴보겠습니다.

is_final은 <type_traits> 헤더 파일에 정의된 템플릿으로, 주어진 타입 T가 final 클래스인지 아닌지를 컴파일 시점에 판별하는 데 사용됩니다.

C++에서 final 클래스란 무엇일까요?

final 지정자(specifier)를 사용해 선언한 클래스를 final 클래스라고 부릅니다. final 클래스는 더 이상 상속을 통해 새로운 클래스를 파생시킬 수 없는 특수한 클래스입니다. 즉, 클래스 설계자가 의도적으로 상속을 금지하고 싶을 때 사용합니다.

C++11 이전에는 friend 선언과 가상 상속(virtual inheritance)을 조합하는 우회적인 기법으로 클래스를 확장 불가능하게 만들었습니다. 구체적으로는 private 생성자를 가진 기반 클래스를 만들고, 특정 클래스만 friend로 지정하여 해당 클래스 외에는 상속 자체가 불가능하도록 하는 방식입니다. 반면 C++11부터는 클래스 이름 뒤에 final 키워드를 붙이는 것만으로 간단하게 상속을 차단할 수 있습니다.

final 클래스 예제

class final_abc; // final로 만들고 싶은 클래스

class abc {
private:
    abc() { cout << "abc constructor"; }
    friend class final_abc;
};

class final_abc : virtual public abc { // final 클래스가 됨
public:
    final_abc() { cout << "Final class constructor"; }
};

class derive : public final_abc {}; // 오류! 더 이상 상속할 수 없음

위 예제에서 final_abc는 가상 상속을 통해 abc를 상속받습니다. abc의 생성자가 private이고 final_abc만 friend로 선언되어 있기 때문에, final_abc를 상속하려는 다른 클래스는 가상 기반 클래스인 abc의 생성자를 직접 호출해야 하지만 접근 권한이 없어 컴파일 오류가 발생합니다.

문법(Syntax)

template <class T> struct is_final;

표준 라이브러리에서는 std::is_final<T>::value 형태로 사용하며, 판별 결과는 멤버 상수 value를 통해 얻습니다.

매개변수

이 템플릿은 타입 T 하나만을 매개변수로 받으며, 해당 타입이 final 클래스 타입인지 여부를 검사합니다.

반환 값

부울(Boolean) 값을 반환합니다. 주어진 타입이 final 클래스라면 true, 그렇지 않다면 false를 반환합니다. 참고로 int, char 같은 기본 타입이나 final로 선언되지 않은 일반 클래스·공용체는 모두 false를 반환합니다.

예제 1: 클래스에 is_final 적용하기

#include <iostream>
#include <type_traits>
using namespace std;

class TP {
    // 일반 클래스 (구조체여도 동일하게 동작)
};

class T_P final {
    // final로 선언된 클래스 (구조체여도 동일하게 동작)
};

int main() {
    cout << boolalpha;
    cout << "Using is_final";
    cout << "\nTP: " << is_final<TP>::value;
    cout << "\nT_P Final: " << is_final<T_P>::value;
    cout << "\ncheck for int: " << is_final<int>::value;
    return 0;
}

출력 결과

위 코드를 실행하면 다음과 같은 출력이 생성됩니다.

Using is_final
TP: false
T_P Final: true
check for int: false

T_P는 final 키워드로 선언되었기 때문에 true가 출력되고, 일반 클래스 TP와 기본 타입 int는 false가 출력됩니다.

예제 2: 공용체(union)에 is_final 적용하기

is_final은 클래스뿐만 아니라 공용체(union)에도 적용할 수 있습니다.

#include <iostream>
#include <type_traits>
using namespace std;

union TP {
    // 일반 공용체
};

union T_P final {
    // final로 선언된 공용체
};

int main() {
    cout << boolalpha;
    cout << "Using is_final";
    cout << "\nTP: " << is_final<TP>::value;
    cout << "\nT_P Final: " << is_final<T_P>::value;
    cout << "\ncheck for int: " << is_final<int>::value;
    return 0;
}

출력 결과

위 코드를 실행하면 다음과 같은 출력이 생성됩니다.

Using is_final
TP: false
T_P Final: true
check for int: false

정리

std::is_final은 C++14에서 표준에 도입된 타입 특성(type trait)으로, 클래스나 공용체가 final로 선언되었는지 컴파일 시점에 확인할 수 있습니다. 템플릿 메타프로그래밍에서 타입의 상속 가능 여부에 따라 분기 처리를 해야 할 때 특히 유용합니다. final이 아닌 모든 타입에 대해서는 false를 반환한다는 점을 기억해 두시면 좋습니다.