is_trivially_copyable

is_trivially_copyable (trivially copyable 타입인지 확인하는 타입 특성)

이 페이지에서는 C++ 표준 라이브러리의 std::is_trivially_copyable 타입 특성에 대해 설명해요. 이 타입 특성은 주어진 타입이 trivially copyable한지 여부를 컴파일 타임에 판별해요. 이를 통해 객체를 memcpy로 안전하게 복사할 수 있는지 등을 확인할 수 있어요.

출처: cppreference

본문

정의

std::is_trivially_copyable은 단항 타입 특성(UnaryTypeTrait)이에요.

만약 T가 trivially copyable 타입이라면, 멤버 상수 value는 true와 같아요. 다른 모든 타입에 대해서는 value가 false예요.

만약 std::remove_all_extents_t<T>가 불완전한 타입이고 (cv 한정된) void가 아니라면, 동작은 정의되지 않아요.

프로그램에서 std::is_trivially_copyable 또는 std::is_trivially_copyable_v에 대한 특수화를 추가하면 동작이 정의되지 않아요.

템플릿 매개변수

헬퍼 변수 템플릿

std::integral_constant에서 상속됨

멤버 상수

멤버 함수

멤버 타입

Notes

trivially copyable 타입의 객체 중 잠재적으로 겹치는 하위 객체(potentially-overlapping subobject)가 아닌 객체는 std::memcpy로 안전하게 복사하거나 std::ofstream::write() / std::ifstream::read()로 이진 파일에 직렬화하거나 이진 파일에서 역직렬화할 수 있는 유일한 C++ 객체예요.

Example

#include <type_traits>

struct A { int m; };
static_assert(std::is_trivially_copyable_v<A> == true);

struct B { B(B const&) {} };
static_assert(std::is_trivially_copyable_v<B> == false);

struct C { virtual void foo(); };
static_assert(std::is_trivially_copyable_v<C> == false);

struct D
{
    int m;
    
    D(D const&) = default; // -> trivially copyable
    D(int x) : m(x + 1) {}
};
static_assert(std::is_trivially_copyable_v<D> == true);

int main() {}

Defect reports

다음 동작 변경 결함 보고서는 이전에 발표된 C++ 표준에 소급 적용되었어요.

See also

더 알아보기 (Learn more)

cppreference