std:: is_move_constructible, std:: is_trivially_move_constructible, std:: is_nothrow_move_constructible

만약 T 가 완전한 타입이 아니거나, (cv-qualified일 수 있는) void , 또는 알려지지 않은 경계의 배열인 경우, 동작은 정의되지 않습니다.

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

프로그램이 이 페이지에 설명된 템플릿들 중 어느 하나에 대해 특수화를 추가하는 경우, 동작은 정의되지 않습니다.

헬퍼 변수 템플릿

가능한 구현

template<class T>
struct is_move_constructible :
    std::is_constructible<T, typename std::add_rvalue_reference<T>::type> {};
template<class T>
struct is_trivially_move_constructible :
    std::is_trivially_constructible<T, typename std::add_rvalue_reference<T>::type> {};
template<class T>
struct is_nothrow_move_constructible :
    std::is_nothrow_constructible<T, typename std::add_rvalue_reference<T>::type> {};

참고 사항

이동 생성자가 없지만 const T & 인자를 받는 복사 생성자를 가진 타입들은 std::is_move_constructible 를 만족합니다.

이동 생성자는 일반적으로 noexcept입니다, 그렇지 않으면 강력한 예외 보장을 제공하는 모든 코드에서 사용할 수 없기 때문입니다.

많은 구현에서, std::is_nothrow_move_constructible 는 소멸자가 예외를 던지는지 여부도 확인합니다. 이는 실질적으로 noexcept ( T ( arg ) ) 이기 때문입니다. 동일한 사항이 std::is_trivially_move_constructible 에도 적용되며, 이러한 구현에서는 소멸자가 trivial해야 합니다: GCC 버그 51452 , LWG 이슈 2116 .

예제

#include <string>
#include <type_traits>
struct Ex1
{
    std::string str; // 멤버가 trivial하지 않지만 예외를 던지지 않는 이동 생성자를 가짐
};
static_assert(std::is_move_constructible_v<Ex1>);
static_assert(!std::is_trivially_move_constructible_v<Ex1>);
static_assert(std::is_nothrow_move_constructible_v<Ex1>);
struct Ex2
{
    int n;
    Ex2(Ex2&&) = default; // trivial하고 예외를 던지지 않음
};
static_assert(std::is_move_constructible_v<Ex2>);
static_assert(std::is_trivially_move_constructible_v<Ex2>);
static_assert(std::is_nothrow_move_constructible_v<Ex2>);
struct NoMove1
{
    // 기본 이동 생성자의 암시적 선언을 방지함;
    // 그러나 복사 생성자가 rvalue 인자에 바인딩할 수 있으므로
    // 클래스는 여전히 이동 생성 가능함
    NoMove1(const NoMove1&) {}
};
static_assert(std::is_move_constructible_v<NoMove1>);
static_assert(!std::is_trivially_move_constructible_v<NoMove1>);
static_assert(!std::is_nothrow_move_constructible_v<NoMove1>);
struct NoMove2
{
    // lvalue 참조가 rvalue 인자에 바인딩할 수 없으므로
    // 이동 생성 불가능
    NoMove2(NoMove2&) {}
};
static_assert(!std::is_move_constructible_v<NoMove2>);
static_assert(!std::is_trivially_move_constructible_v<NoMove2>);
static_assert(!std::is_nothrow_move_constructible_v<NoMove2>);
int main() {}

결함 보고서

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

참고 항목