move std 函数 示例_C++11右值引用和std::move语句实例解析(推荐)

右值引用(及其支持的Move语意和完美转发)是C++0x将要加入的最重大语言特性之一。从实践角度讲,它能够完美解决C++中长久以来为人所诟病的临时对象效率问题。从语言本身讲,它健全了C++中的引用类型在左值右值方面的缺陷。从库设计者的角度讲,它给库设计者又带来了一把利器。从库使用者的角度讲,不动一兵一卒便可以获得“免费的”效率提升…

下面用实例来深入探讨右值引用。

1.什么是左值,什么是右值,简单说左值可以赋值,右值不可以赋值。以下面代码为例,“A a = getA();”该语句中a是左值,getA()的返回值是右值。

#include "stdafx.h"

#include

class A

{

public:

A() { std::cout << "Constructor" << std::endl; }

A(const A&) { std::cout << "Copy Constructor" << std::endl; }

~A() {}

};

static A getA()

{

A a;

return a;

}

int main()

{

A a = getA();

return 0;

}

运行以上代码,输出结果如下:

Constructor

Copy Constructor

可以看到A的构造函数调用一次,拷贝构造函数调用了一次,构造函数和拷贝构造函数是消耗比较大的,这里是否可以避免拷贝构造?C++11做到了这一点。

2.添加A的移动构造函数,代码如下:

#include "stdafx.h"

#include

class A

{

public:

A() { std::cout << "Constructor" << std::endl; }

A(const A&) { std::cout << "Copy Constructor" << std::endl; }

A(const A&&) { std::cout << "Move Constructor" << std::endl; }

~A() {}

};

static A getA()

{

A a;

return a;

}

int main()

{

A a = getA();

return 0;

}

运行以上代码,输出结果:

Constructor

Move Constructor

这样就没有调用拷贝构造函数,而是调用移动构造。这里并没有看到移动构造的优点。

3.修改代码,给A类添加一个成员变量如下:

#include "stdafx.h"

#include

#include

class B

{

public:

B() {}

B(const B&) { std::cout << "B Constructor" << std::endl; }

};

class A

{

public:

A(): m_b(new B()) { std::cout << "A Constructor" << std::endl; }

A(const A& src) :

m_b(new B(*(src.m_b)))

{

std::cout << "A Copy Constructor" << std::endl;

}

A(A&& src) :

m_b(src.m_b)

{

src.m_b = nullptr;

std::cout << "A Move Constructor" << std::endl;

}

~A() { delete m_b; }

private:

B* m_b;

};

static A getA()

{

A a;

std::cout << "================================================" << std::endl;

return a;

}

int main()

{

A a = getA();

std::cout << "================================================" << std::endl;

A a1(a);

return 0;

}

运行以上代码,输出结果:

A Constructor

================================================

A Move Constructor

================================================

B Constructor

A Copy Constructor

“A a = getA();”调用的是A的移动构造,“A a1(a);”调用的是A的拷贝构造。A的拷贝构造需要对成员变量B进行深拷贝,而A的移动构造不需要,很明显,A的移动构造效率高。

4.std::move语句可以将左值变为右值而避免拷贝构造,修改代码如下:

#include "stdafx.h"

#include

#include

class B

{

public:

B() {}

B(const B&) { std::cout << "B Constructor" << std::endl; }

};

class A

{

public:

A(): m_b(new B()) { std::cout << "A Constructor" << std::endl; }

A(const A& src) :

m_b(new B(*(src.m_b)))

{

std::cout << "A Copy Constructor" << std::endl;

}

A(A&& src) :

m_b(src.m_b)

{

src.m_b = nullptr;

std::cout << "A Move Constructor" << std::endl;

}

~A() { delete m_b; }

private:

B* m_b;

};

static A getA()

{

A a;

std::cout << "================================================" << std::endl;

return a;

}

int main()

{

A a = getA();

std::cout << "================================================" << std::endl;

A a1(a);

std::cout << "================================================" << std::endl;

A a2(std::move(a1));

return 0;

}

运行以上代码,输出结果:

A Constructor

================================================

A Move Constructor

================================================

B Constructor

A Copy Constructor

================================================

A Move Constructor

“A a2(std::move(a1));”将a1转换为右值,因此a2调用的移动构造而不是拷贝构造。

5.赋值操作符也可以是移动赋值。

#include "stdafx.h"

#include

#include

class B

{

public:

B() {}

B(const B&) { std::cout << "B Constructor" << std::endl; }

};

class A

{

public:

A(): m_b(new B()) { std::cout << "A Constructor" << std::endl; }

A(const A& src) :

m_b(new B(*(src.m_b)))

{

std::cout << "A Copy Constructor" << std::endl;

}

A(A&& src) :

m_b(src.m_b)

{

src.m_b = nullptr;

std::cout << "A Move Constructor" << std::endl;

}

A& operator=(const A& src)

{

if (this == &src)

return *this;

m_b = new B(*(src.m_b));

std::cout << "operator=(const A& src)" << std::endl;

return *this;

}

A& operator=(A&& src)

{

if (this == &src)

return *this;

m_b = src.m_b;

src.m_b = nullptr;

std::cout << "operator=(const A&& src)" << std::endl;

return *this;

}

~A() { delete m_b; }

private:

B* m_b;

};

static A getA()

{

A a;

std::cout << "================================================" << std::endl;

return a;

}

int main()

{

A a = getA();//移动构造

std::cout << "================================================" << std::endl;

A a1(a);//拷贝构造

std::cout << "================================================" << std::endl;

A a2(std::move(a1));//移动构造

std::cout << "================================================" << std::endl;

a2 = getA();//移动赋值

std::cout << "================================================" << std::endl;

a2 = a1;//拷贝赋值

return 0;

}

运行以上代码,输出结果:

A Constructor

================================================

A Move Constructor

================================================

B Constructor

A Copy Constructor

================================================

A Move Constructor

================================================

A Constructor

================================================

A Move Constructor

operator=(const A&& src)

================================================

B Constructor

operator=(const A& src)

总之尽量给类添加移动构造和移动赋值函数,而减少拷贝构造和拷贝赋值的消耗。

以上所述是小编给大家介绍的C++11右值引用和std::move语句实例解析,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对脚本之家网站的支持!

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
### 回答1: `std::enable_if` 是一个 C++ 模板元编程工具,用于在编译时根据某个条件来选择不同的函数重载或模板实例化。它通常与函数模板一起使用,以限制模板参数的类型。 下面是一个示例,演示如何使用 `std::enable_if` 来实现一个 `move` 函数。`move` 函数的作用是将一个对象的所有权从一个对象转移到另一个对象,通常用于实现高效的移动语义。 ```c++ #include <type_traits> #include <utility> template <typename T> typename std::enable_if<!std::is_reference<T>::value, T&&>::type move(T& arg) noexcept { return static_cast<T&&>(arg); } ``` 在上面的示例中,我们首先使用 `std::is_reference` 模板来检查类型 `T` 是否为引用类型。如果 `T` 不是引用类型,则 `std::enable_if` 的第一个模板参数为 `true`,因此我们可以选择返回一个右值引用类型 `T&&`。否则,如果 `T` 是引用类型,则 `std::enable_if` 的第一个模板参数为 `false`,此时函数模板将不会被实例化。 这样实现的 `move` 函数可以接受任何非引用类型的参数,并返回一个右值引用类型,从而实现了高效的移动语义。 ### 回答2: `std::move` 和 `std::enable_if` 是 C++ 标准库中的两个重要函数和类模板。下面将就这两者分别进行说明: 1. `std::move` 是一个 C++11 引入的函数模板,位于头文件 `<utility>` 中。它的作用是将其参数转化为右值引用,从而实现移动语义。移动语义的引入,能够显著提高对象的移动效率,避免了不必要的复制操作,尤其对于大对象和资源管理类非常有用。使用 `std::move` 时,需要注意其参数对象会被移动后的对象接管,因此在移动后的对象上不能再使用原来的对象。例如:`std::string str2 = std::move(str1);` 2. `std::enable_if` 是一个类模板,位于 `<type_traits>` 头文件中。它可以用于在模板参数推导时进行条件限定,根据传入的条件值来选择合适的模板实例。通过 `std::enable_if` ,可以通过编译时的条件判断来控制函数模板的重载,从而在不同的条件下实现不同的函数行为。例如:`template<typename T, typename = std::enable_if_t<std::is_integral_v<T>>> void print(T value)` 所以,"move std 函数 示例_std::enable_if" 的意思是通过使用 `std::enable_if` 来限定 `std::move` 函数的使用示例。具体用法可以是通过 `std::enable_if` 的条件限定来控制 `std::move` 的调用或是使用 `std::enable_if` 来对 `std::move` 的返回值类型进行限定。具体代码实现可根据具体的场景进行设计。 ### 回答3: move是C++中的一种特殊操作,用于将对象的所有权转移给另一个对象。std::enable_if是C++标准库中的一个模板元函数,用于在编译时根据特定条件来启用或禁用某个函数。下面是一个示例,展示了如何在使用move和std::enable_if时进行函数重载: ```cpp #include <iostream> #include <type_traits> // 普通版本的函数,使用拷贝构造函数来复制对象 template<typename T> typename std::enable_if<!std::is_same<T, int>::value, T>::type foo(T obj) { std::cout << "拷贝构造函数:" << obj << std::endl; return obj; } // 特殊版本的函数,使用move来转移对象 template<typename T> typename std::enable_if<std::is_same<T, int>::value, T>::type foo(T obj) { std::cout << "移动构造函数:" << obj << std::endl; return std::move(obj); } int main() { int num = 42; // 调用普通版本的函数,使用拷贝构造函数 int copied = foo(num); // 调用特殊版本的函数,使用移动构造函数 int moved = foo(std::move(num)); return 0; } ``` 在上述示例中,我们定义了两个重载函数foo,一个用于普通类型,另一个用于int类型。当传递一个普通类型的对象时,普通版本的函数被调用,使用拷贝构造函数进行对象复制。当传递一个int类型的对象时,特殊版本的函数被调用,使用move进行对象转移。 通过std::enable_if可以根据条件选择启用或禁用某个函数,我们可以使用它来根据不同情况应用适当的操作。这样可以提高代码的灵活性和可读性。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值