types_is_standard_layout
types_is_standard_layout (표준 레이아웃 타입 판정)
이 페이지에서는 C++ 표준 라이브러리의 std::is_standard_layout 타입 특성에 대해 설명해요. 이 템플릿은 주어진 타입이 표준 레이아웃 타입인지 여부를 컴파일 타임에 판별해요. 표준 레이아웃 타입은 메모리 배치가 C 언어와 호환되는 타입으로, 다양한 저수준 작업에 사용할 수 있어요.
출처: cppreference
본문
std::is_standard_layout은 단항 타입 특성(UnaryTypeTrait)이에요.
T가 표준 레이아웃 타입이면 멤버 상수 value가 true가 돼요. 그 외 타입이면 value는 false예요.
std::remove_all_extents_t<T>가 불완전한 타입이고 (cv 한정을 포함한) void가 아니라면 동작은 정의되지 않아요.
프로그램에서 std::is_standard_layout이나 std::is_standard_layout_v에 대한 특수화를 추가하면 동작은 정의되지 않아요.
템플릿 매개변수
| T | - | 확인할 타입 |
|---|
헬퍼 변수 템플릿
| template < class T > constexpr bool is_standard_layout_v = is_standard_layout < T >:: value ; | (since C++17) |
|---|
std::integral_constant에서 상속됨
멤버 상수
| value [static] | T가 표준 레이아웃 타입이면 true, 아니면 false (공용 정적 멤버 상수) |
|---|
멤버 함수
| operator bool | 객체를 bool로 변환하고 value를 반환해요 (공용 멤버 함수) |
|---|---|
| operator() (C++14) | value를 반환해요 (공용 멤버 함수) |
멤버 타입
| 타입 | 정의 |
|---|---|
| value_type | bool |
| type | std :: integral_constant < bool , value > |
참고 사항
표준 레이아웃 클래스에 대한 포인터는 reinterpret_cast를 사용해 첫 번째 비정적 데이터 멤버에 대한 포인터로 변환할 수 있고, 그 반대도 가능해요 (빈 기본 클래스 최적화 참고).
표준 레이아웃 공용체가 두 개 이상의 표준 레이아웃 구조체를 보유한다면, 그들의 공통 초기 부분을 검사하는 것이 허용돼요.
offsetof 매크로는 표준 레이아웃 클래스에서만 사용이 보장돼요.
예제
#include <type_traits>
struct A { int m; };
static_assert(std::is_standard_layout_v<A> == true);
class B: public A { int m; };
static_assert(std::is_standard_layout_v<B> == false);
struct C { virtual void foo(); };
static_assert(std::is_standard_layout_v<C> == false);
int main() {}
결함 보고서
다음 동작 변경 결함 보고서는 이전에 발표된 C++ 표준에 소급 적용되었어요.
| DR | 적용 대상 | 발표된 동작 | 올바른 동작 |
|---|---|---|---|
| LWG 2015 | C++11 | T는 알 수 없는 경계를 가진 불완전한 클래스 타입의 배열일 수 있었어요 |
이 경우 동작은 정의되지 않아요 |
같이 보기
| is_trivially_copyable (C++11) | 타입이 사소하게 복사 가능한지 확인해요 (클래스 템플릿) [edit] |
|---|---|
| is_pod (C++11) (C++20에서 폐기됨) | 타입이 POD(Plain-Old Data) 타입인지 확인해요 (클래스 템플릿) [edit] |
| offsetof | 표준 레이아웃 타입의 시작부터 지정된 멤버까지의 바이트 오프셋 (함수 매크로) [edit] |
| is_standard_layout_type (C++26) | 반영된 타입이 표준 레이아웃 타입인지 확인해요 (함수) [edit] |