types_is_trivial
types_is_trivial (trivial 타입인지 검사하는 타입 특성)
이 페이지에서는 C++ 표준 라이브러리의 std::is_trivial 타입 특성에 대해 설명해요. std::is_trivial은 주어진 타입 T가 trivial 타입인지 여부를 컴파일 타임에 판단하는 데 사용해요. C++11에서 도입되었고, C++26에서 폐기 예정(deprecated)으로 지정되었어요.
출처: cppreference
본문
std::is_trivial은 UnaryTypeTrait이에요.
만약 T가 trivial 타입이라면, 멤버 상수 value는 true와 같게 제공돼요. 그 외의 모든 타입에 대해서는 value가 false예요.
std::remove_all_extents_t<T>가 불완전한 타입이고 (cv 한정된) void가 아니라면, 동작은 정의되지 않아요.
프로그램이 std::is_trivial 또는 std::is_trivial_v에 대한 특수화를 추가하면, 동작은 정의되지 않아요.
템플릿 매개변수
| T | - | 확인할 타입 |
|---|
헬퍼 변수 템플릿
| template < class T > constexpr bool is_trivial_v = is_trivial < T >:: value ; | (C++17부터) (C++26에서 폐기 예정) |
|---|
std::integral_constant에서 상속됨
멤버 상수
| value [static] | T가 trivial 타입이면 true, 그렇지 않으면 false (공용 정적 멤버 상수) |
|---|
멤버 함수
| operator bool | 객체를 bool로 변환하고 value를 반환해요 (공용 멤버 함수) |
|---|---|
| operator() (C++14) | value를 반환해요 (공용 멤버 함수) |
멤버 타입
| Type | Definition |
|---|---|
| value_type | bool |
| type | std :: integral_constant < bool , value > |
예제
#include <type_traits>
struct A { int m; };
static_assert(std::is_trivial_v<A> == true);
struct B { B() {} };
static_assert(std::is_trivial_v<B> == false);
// The following class shows why std::is_trivial(_v) may be a pitfall.
class C
{
private:
C() = default;
};
static_assert(std::is_trivial_v<C> == true);
static_assert(std::is_trivially_default_constructible_v<C> == false);
int main() {}
결함 보고서
다음 동작 변경 결함 보고서는 이전에 공개된 C++ 표준에 소급 적용되었어요.
| DR | 적용 대상 | 공개된 동작 | 올바른 동작 |
|---|---|---|---|
| LWG 2015 | C++11 | T는 경계를 알 수 없는 불완전한 클래스 타입의 배열일 수 있었어요 |
이 경우 동작은 정의되지 않아요 |
더 알아보기
| is_trivially_copyable (C++11) | 타입이 trivially copyable인지 확인해요 (클래스 템플릿) [edit] |
|---|---|
| is_default_constructible is_trivially_default_constructible is_nothrow_default_constructible (C++11) (C++11) (C++11) | 타입에 기본 생성자가 있는지 확인해요 (클래스 템플릿) [edit] |