C++ 具名要求-基本概念-指定该类型对象可以从右值构造

2024-01-01 19:31:16

指定该类型对象可以从右值构造

指定该类型的实例可以从一个右值实参构造。

要求

以下情况下,类型 T 满足可移动构造 (MoveConstructible)

给定

  • T 类型的右值表达式 rv
  • 任意标识符 u

下列表达式必须合法且拥有其指定的效果

表达式后条件
T u = rv;u 的值等于 rv 在初始化前的值。rv 的新值未指明。
T(rv)T(rv) 的值等于 rv 在初始化前的值。rv 的新值未指明。

注解

类不必为满足此要求而实现移动构造函数:接收 const T& 实参的复制构造函数也能绑定右值表达式。

可移动构造 (MoveConstructible) 类实现了移动构造函数,则它亦可实现移动语义,以从“构造后 rv 的值未指明”的事实中获利。

调用示例

#include <iostream>
#include <type_traits>

//编译器生成默认构造函数
struct A
{
};

struct B
{
    std::string str; // 成员拥有非平凡默认构造函数
};

struct C
{
    std::string str; // 成员拥有非平凡默认构造函数
    C() throw (int) //构造函数抛异常
    {
    }
};

struct MyClass
{
    int ma;
    int mb;
    MyClass(): ma(101), mb(102)
    {
        std::cout << this << "  " << __FUNCTION__ << " " << __LINE__
                  << " a:" << ma << " b:" << mb
                  << std::endl;
    }

    MyClass(int a, int b): ma(a), mb(b)
    {
        std::cout << this << "  " << __FUNCTION__ << " " << __LINE__
                  << " a:" << ma << " b:" << mb
                  << std::endl;
    }

    MyClass(const MyClass &obj)
    {
        this->ma = obj.ma;
        this->mb = obj.mb;
        std::cout << this << "  " << __FUNCTION__ << " " << __LINE__
                  << " a:" << ma << " b:" << mb
                  << std::endl;
    }

    MyClass(MyClass &&obj)
    {
        this->ma = obj.ma;
        this->mb = obj.mb;
        std::cout << this << "  " << __FUNCTION__ << " " << __LINE__
                  << " a:" << ma << " b:" << mb
                  << std::endl;
    }
};

int main()
{
    std::cout << std::boolalpha;

    std::cout << "std::is_move_constructible<int>::value: "
              << std::is_move_constructible<int>::value << std::endl;
    std::cout << "std::is_trivially_move_constructible<int>::value: "
              << std::is_trivially_move_constructible<int>::value << std::endl;
    std::cout << "std::is_nothrow_move_constructible<int>::value: "
              << std::is_nothrow_move_constructible<int>::value << std::endl;
    std::cout << std::endl;

    std::cout << "std::is_move_constructible<A>::value: "
              << std::is_move_constructible<A>::value << std::endl;
    std::cout << "std::is_trivially_move_constructible<A>::value: "
              << std::is_trivially_move_constructible<A>::value << std::endl;
    std::cout << "std::is_nothrow_move_constructible<A>::value: "
              << std::is_nothrow_move_constructible<A>::value << std::endl;
    std::cout << std::endl;

    std::cout << "std::is_move_constructible<B>::value: "
              << std::is_move_constructible<B>::value << std::endl;
    std::cout << "std::is_trivially_move_constructible<B>::value: "
              << std::is_trivially_move_constructible<B>::value << std::endl;
    std::cout << "std::is_nothrow_move_constructible<B>::value: "
              << std::is_nothrow_move_constructible<B>::value << std::endl;
    std::cout << std::endl;

    std::cout << "std::is_move_constructible<C>::value: "
              << std::is_move_constructible<C>::value << std::endl;
    std::cout << "std::is_trivially_move_constructible<C>::value: "
              << std::is_trivially_move_constructible<C>::value << std::endl;
    std::cout << "std::is_nothrow_move_constructible<C>::value: "
              << std::is_nothrow_move_constructible<C>::value << std::endl;
    std::cout << std::endl;

    //T u = rv; u 的值等于 rv 在初始化前的值。rv 的新值未指明。
    MyClass myClass1 = std::move(MyClass(101, 102));

    //T(rv) T(rv) 的值等于 rv 在初始化前的值。rv 的新值未指明。
    MyClass(std::move(MyClass(101, 102)));

    return 0;
}

输出

std::is_move_constructible<int>::value: true
std::is_trivially_move_constructible<int>::value: true
std::is_nothrow_move_constructible<int>::value: true

std::is_move_constructible<A>::value: true
std::is_trivially_move_constructible<A>::value: true
std::is_nothrow_move_constructible<A>::value: true

std::is_move_constructible<B>::value: true
std::is_trivially_move_constructible<B>::value: false
std::is_nothrow_move_constructible<B>::value: true

std::is_move_constructible<C>::value: true
std::is_trivially_move_constructible<C>::value: false
std::is_nothrow_move_constructible<C>::value: true

0x61fe78  MyClass 35 a:101 b:102
0x61fe70  MyClass 53 a:101 b:102
0x61fe88  MyClass 35 a:101 b:102
0x61fe80  MyClass 53 a:101 b:102

文章来源:https://blog.csdn.net/qq_40788199/article/details/135327619
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。