types_is_final
types_is_final (최종 클래스 타입 판별)
이 페이지는 C++ 표준 라이브러리의 std::is_final 타입 특성에 대해 설명해요. std::is_final은 주어진 타입이 final로 선언된 클래스인지 여부를 컴파일 타임에 판별하는 데 사용해요. C++14부터 사용할 수 있어요.
출처: cppreference
본문
정의
Defined in header <type_traits> |
||
|---|---|---|
template < class T > struct is_final; |
(since C++14) |
std::is_final은 UnaryTypeTrait이에요.
T가 final 클래스이면 멤버 상수 value는 true와 같아요. 다른 모든 타입에 대해서는 value가 false예요.
T가 불완전한 클래스 타입이면 동작이 정의되지 않아요.
프로그램에서 std::is_final 또는 std::is_final_v(C++17부터)에 대한 특수화를 추가하면 동작이 정의되지 않아요.
템플릿 매개변수
| T | - | 확인할 타입 |
|---|
헬퍼 변수 템플릿
template < class T > constexpr bool is_final_v = is_final<T>::value; |
(since C++17) |
|---|
std::integral_constant로부터 상속받은 멤버
멤버 상수
value [static] |
T가 final 클래스 타입이면 true, 아니면 false (공용 정적 멤버 상수) |
|---|
멤버 함수
operator bool |
객체를 bool로 변환하며 value를 반환해요 (공용 멤버 함수) |
|---|---|
operator() (C++14) |
value를 반환해요 (공용 멤버 함수) |
멤버 타입
| Type | Definition |
|---|---|
value_type |
bool |
type |
std::integral_constant<bool, value> |
참고 사항
std::is_final은 LWG issue 2112의 해결로 도입되었어요.
유니온은 어떤 경우에도 기본 클래스로 사용될 수 없지만, final로 선언될 수 있고 std::is_final은 이를 감지해요.
| Feature-test macro | Value | Std | Feature |
|---|---|---|---|
__cpp_lib_is_final |
201402L | (C++14) | std::is_final |
예제
#include <type_traits>
class A {};
static_assert(std::is_final_v<A> == false);
class B final {};
static_assert(std::is_final_v<B> == true);
union U final
{
int x;
double d;
};
static_assert(std::is_final_v<U> == true);
int main()
{
}
같이 보기
is_class (C++11) |
타입이 유니온이 아닌 클래스 타입인지 확인해요 (클래스 템플릿) |
|---|---|
is_polymorphic (C++11) |
타입이 다형 클래스 타입인지 확인해요 (클래스 템플릿) |
is_final_type (C++26) |
반영된 타입이 final 클래스 타입인지 확인해요 (함수) |