std:: is_empty

std::is_empty 는 UnaryTypeTrait 입니다.

만약 T 가 빈 타입인 경우(즉, 크기가 0인 비트 필드 외에 비정적 데이터 멤버가 없고, 가상 함수가 없으며, 가상 기본 클래스가 없고, 비어있지 않은 기본 클래스가 없는 비-유니온 클래스 타입), 멤버 상수 value 를 true 로 제공합니다. 다른 모든 타입에 대해서는 value 가 false 입니다.

만약 T 가 불완전한 비공용체 클래스 타입인 경우, 동작은 정의되지 않습니다.

프로그램이 std::is_empty 나 std::is_empty_v 에 대한 특수화를 추가하는 경우, 그 동작은 정의되지 않습니다.

템플릿 매개변수

헬퍼 변수 템플릿

참고 사항

빈 기본 클래스로부터 상속하는 것은 일반적으로 빈 기본 최적화 덕분에 클래스의 크기를 증가시키지 않습니다.

std::is_empty<T> 및 다른 모든 형식 특질은 빈 클래스입니다.

예제

#include <iostream>
#include <type_traits>
struct A {};
static_assert(std::is_empty_v<A> == true);
struct B { int m; };
static_assert(std::is_empty_v<B> == false);
struct C { static int m; };
static_assert(std::is_empty_v<C> == true);
struct D { virtual ~D(); };
static_assert(std::is_empty_v<D> == false);
union E {};
static_assert(std::is_empty_v<E> == false);
struct F { [[no_unique_address]] E e; };
struct G
{
    int:0;
    // C++ 표준은 "특별한 경우로, 너비가 0인 이름 없는 비트 필드는
    // 다음 비트 필드의 정렬을 할당 단위 경계에 지정합니다.
    // 이름 없는 비트 필드를 선언할 때만 너비가 0일 수 있습니다."
};
static_assert(std::is_empty_v<G>); // 너비가 0인 이름 없는 비트 필드만 포함하는 경우에만 성립
int main()
{
    std::cout << std::boolalpha;
    std::cout << "F: " << std::is_empty_v<F> << '\n'; // 결과는 ABI에 의존적
}

F: true

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참고 항목