码迷,mamicode.com
首页 > 编程语言 > 详细

学习C++11之引用

时间:2015-08-04 02:06:50      阅读:164      评论:0      收藏:0      [点我收藏+]

标签:右值   右值引用   move   

1、左值引用

左值引用只能绑定左值,不能绑定右值.

如下:

int x = 1;
int &y = x;                //绑定左值,正确
int &z = 2;                //绑定右值2,编译错误
但是可以将右值绑定到一个const左值引用(这是一个例外)

如:

 //右值绑定到const左值引用
int const &i = 28;                 //正确
在右值引用诞生之前,为了传递临时对象到函数中以引用,这将允许实参隐式转换到形参类型,如下:

void print(std::string cosnt& s) {}
print("hello");        //“hello”字符串是临时字符串对象,也是右值


2、右值引用

右值引用只能绑定右值,不能绑定左值.使用两个&&表示右值引用.

如:

int&& i = 8;            
int j = 18;       
int&& k = j;               //编译错误
通过使用函数重载来决定函数参数是左值/右值,重载函数参数设置为左值引用和右值引用.

void fun_reference(int& a)
{
     std::cout << "左值引用:" << a << std::endl;
}

void fun_reference(int&& a)
{
     std::cout << "右值引用:" << a << std::endl;
}

int main()
{
    int x = 8;
    fun_reference(x);     //输出左值引用:8
    fun_reference(18);  //输出右值引用:18
    return 0;
}

3、move语义

(1)move的作用是避免复制,提高效率.考虑一个函数以std::vector<int>作为参数,函数作用是在不改变实参的情况下,在vector中添加元素,旧方法使用常量左值引用作为参数,在内部先拷贝,再添加。如下所示:

void process_copy(std::vector<int> const& vec_)
{
     std::vector<int> vec(vec_);
     vec.push_back(42);
}
上面函数能够传递左值和右值,但在内部都强制拷贝。假如使用右值引用重载上面函数,可以避免传递右值时强制使用拷贝。如下:

void process_copy(std::vector<int> && vec)
{
       vec.push_back(42);
}

(2)move构造函数

class X
{
private:
       int* data;
public:
       X():
         data(new int[1000000])
         {}
       ~X()
       {
          delete [] data;
       }
       X(const X& other):
          data(new int[1000000])
       {
           std::copy(other.data,other.data+1000              000,data);
       }
       X(X&& other):
            data(other.data)
       {
           other.data=nullptr;
       }
};
move构造函数允许拥有者的指针在对象之间传递,允许unique_ptr<>(拥有move构造函数)作为一个函数的返回值,函数返回值属于临时对象,可以作为右值传递给右值引用,避免了拷贝。

(3)std::move()

对于有名字的对象,可以使用std::move()函数和static_cast<>强制转换为右值,在赋值时,将调用效率更高的move赋值运算符,避免了拷贝

X x1;
X x2=std::move(x1);  //调用move赋值运算符
X x3=static_cast<X&&>(x2); //同上

(4)注意,尽管右值引用能够绑定右值,但在函数体中,右值引用将会被函数”定义“为左值。如下:

void do_stuff(X&& x_)
{
    X a(x_);               //调用拷贝构造函数
    X b(std::move(x_));      
}
do_stuff(X());             //传递右值,但在函数体中第一行代码将会调用拷贝构造函数
X x;
do_stuff(x);              //这个调用就错误,左值不能被右值引用绑定

(5)右值引用和函数模板

当右值引用作为函数模板参数,会有差异。如果函数参数是一个模板参数的右值引用,模板推演参数类型将分两种:

template<typename T>
void foo(T&& t)
{}

1)若是使用左值作为参数调用,模板将参数类型推演为左值引用。

int i=42;
foo(i);           //函数将被推演为:foo<int&>(i)
2)若是使用右值作为参数调用,模板将参数类型推演为值的类型

foo(42);         //推演为foo<int>(42)
foo(3.14159);    //推演为foo<float>(3.14159)
foo(std::string()); //推演为foo<std::string>(std::string())



版权声明:本文为博主原创文章,未经博主允许不得转载。

学习C++11之引用

标签:右值   右值引用   move   

原文地址:http://blog.csdn.net/vgxpm/article/details/47264775

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!