types_is_copy_assignable

types_is_copy_assignable (복사 할당 가능 여부 특성)

이 페이지에서는 타입이 복사 할당 가능한지, 자명하게(trivially) 복사 할당 가능한지, 그리고 예외 없이(nothrow) 복사 할당 가능한지를 확인하는 C++ 타입 특성(type traits)에 대해 설명해요. 이 특성들은 <type_traits> 헤더에 정의되어 있으며, 컴파일 타임에 타입의 속성을 검사하는 데 사용돼요.

출처: cppreference

본문

정의

<type_traits> 헤더에 다음 템플릿들이 정의되어 있어요.

T가 완전한 타입(complete type)이 아니거나, (cv 한정된) void이거나, 경계를 알 수 없는 배열이라면 동작이 정의되지 않아요.

위 템플릿의 인스턴스화가 직접 또는 간접적으로 불완전한 타입에 의존하고, 그 타입이 가상으로 완성되었을 때 인스턴스화 결과가 달라질 수 있다면 동작이 정의되지 않아요.

프로그램이 이 페이지에 설명된 템플릿에 대해 특수화(specialization)를 추가하면 동작이 정의되지 않아요.

헬퍼 변수 템플릿

std::integral_constant에서 상속됨

멤버 상수

멤버 함수

멤버 타입

가능한 구현

template < class T > struct is_copy_assignable : std :: is_assignable < typename std :: add_lvalue_reference < T >:: type , typename std :: add_lvalue_reference < const T >:: type > {}; template < class T > struct is_trivially_copy_assignable : std :: is_trivially_assignable < typename std :: add_lvalue_reference < T >:: type , typename std :: add_lvalue_reference < const T >:: type > {}; template < class T > struct is_nothrow_copy_assignable : std :: is_nothrow_assignable < typename std :: add_lvalue_reference < T >:: type , typename std :: add_lvalue_reference < const T >:: type > {};

참고

std::is_copy_assignable 특성은 CopyAssignable보다 덜 엄격해요. 할당 결과의 타입을 확인하지 않고(CopyAssignable 타입이라면 결과는 T 타입의 lvalue여야 해요), 인자 표현식이 변경되지 않아야 한다는 의미론적 요구 사항도 확인하지 않아요. 또한 T가 MoveAssignable을 만족하는지도 확인하지 않는데, MoveAssignable은 모든 CopyAssignable 타입에 요구된답니다.

예제

#include <type_traits>

struct Foo { int n; };

static_assert(""
    && std::is_trivially_copy_assignable_v<Foo> == true
    && std::is_copy_assignable<int[2]>::value == false
    && std::is_nothrow_copy_assignable<int>{} == true
);

int main() {}

결함 보고서

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

같이 보기

더 알아보기 (Learn more)

cppreference