types_is_abstract
types_is_abstract (추상 클래스 타입 판별)
이 페이지는 C++ 표준 라이브러리의 std::is_abstract 타입 특성에 대해 설명해요. 이 특성은 주어진 타입이 추상 클래스인지 아닌지를 컴파일 타임에 판별하는 데 사용돼요. C++11부터 사용할 수 있어요.
출처: cppreference
본문
정의
<type_traits> 헤더에 정의되어 있어요.
Defined in header <type_traits> |
||
|---|---|---|
| template < class T > struct is_abstract ; | (since C++11) |
std::is_abstract는 UnaryTypeTrait이에요.
만약 T가 추상 클래스(즉, 순수 가상 함수를 하나 이상 선언하거나 상속받는 비-공용체 클래스)라면, 멤버 상수 value는 true가 돼요. 다른 모든 타입에 대해서는 value가 false예요.
T가 불완전한 비-공용체 클래스 타입이라면, 동작은 정의되지 않아요.
프로그램이 std::is_abstract 또는 std::is_abstract_v에 대한 특수화를 추가하면, 동작은 정의되지 않아요.
템플릿 매개변수
| T | - | 확인할 타입 |
|---|
헬퍼 변수 템플릿
| template < class T > constexpr bool is_abstract_v = is_abstract < T >:: value ; | (since C++17) |
|---|
std::integral_constant에서 상속됨
멤버 상수
value [static] |
T가 추상 클래스 타입이면 true, 아니면 false (공용 정적 멤버 상수) |
|---|
멤버 함수
operator bool |
객체를 bool로 변환하고 value를 반환해요 (공용 멤버 함수) |
|---|---|
operator() (C++14) |
value를 반환해요 (공용 멤버 함수) |
멤버 타입
| Type | Definition |
|---|---|
value_type |
bool |
type |
std :: integral_constant < bool, value > |
예제
#include <iostream>
#include <type_traits>
struct A { int m; };
static_assert(std::is_abstract_v<A> == false);
struct B { virtual void foo(); };
static_assert(std::is_abstract_v<B> == false);
struct C { virtual void foo() = 0; };
static_assert(std::is_abstract_v<C> == true);
struct D : C {};
static_assert(std::is_abstract_v<D> == true);
int main() {}
결함 보고서
다음 동작 변경 결함 보고서는 이전에 발표된 C++ 표준에 소급 적용되었어요.
| DR | 적용 대상 | 발표된 동작 | 올바른 동작 |
|---|---|---|---|
| LWG 2015 | C++11 | T가 불완전한 공용체 타입일 때 동작이 정의되지 않았어요 |
이 경우 기본 특성은 std::false_type이에요 |
같이 보기
is_class (C++11) |
타입이 비-공용체 클래스 타입인지 확인해요 (클래스 템플릿) |
|---|---|
is_polymorphic (C++11) |
타입이 다형성 클래스 타입인지 확인해요 (클래스 템플릿) |
is_abstract_type (C++26) |
반영된 타입이 추상 클래스 타입인지 확인해요 (함수) |