关于右值引用，为什么输出结果是这样？

运算符科技 2017-02-20 12:47:10 
#include "stdafx.h"

#include <iostream>



using namespace std;



int g_constructCount = 0;

int g_copyConstructCount = 0;

int g_destructCount = 0;

struct A

{

	A() { cout << "construct: " << ++g_constructCount << endl; }

	A(const A& a) { cout << "copy construct: " << ++g_copyConstructCount << endl; }

	~A() { cout << "destruct: " << ++g_destructCount << endl; }

	void Output() { cout << "A" << endl; }

};

A GetA(int iType)

{

	if (iType == 0)

	{

		A a1;

		return a1;

	}

	else

	{

		A a2;

		return a2;

	}

}

int _tmain(int argc, _TCHAR* argv[])

{

	A&& a = GetA(0);

	a.Output();



	return 0;

}

VS2013，Release的输出结果：
construct: 1
copy construct: 1
destruct: 1
A
destruct: 2

本以只会调用一次构造函数，一次析构函数，但输出结果中出现了拷贝构造函数，是什么原因呢？
...全文
657 18 打赏 收藏 转发到动态 举报
写回复
用AI写文章
18 条回复
切换为时间正序
请发表友善的回复…
发表回复
珍惜生命远离CPP 2017-02-21
  • 打赏
  • 举报
 回复
右值不是为了减少构造对象 右值不是为了减少构造对象 右值不是为了减少构造对象 是为了解决左值引用无法区分引用的值是右值还是左值，区分后就可以将右值的资源拿过来用减少资源分配。
fefe82 2017-02-21
  • 打赏
  • 举报
 回复
引用 18 楼 alicehyxx 的回复:
[quote=引用 17 楼 pengzhixi 的回复:] [quote=引用 16 楼 alicehyxx 的回复:] [quote=引用 13 楼 fefe82 的回复:] return 的地方有一个拷贝构造。
#include "stdafx.h"
#include <iostream>
 
using namespace std;
 
int g_constructCount = 0;
int g_copyConstructCount = 0;
int g_destructCount = 0;
struct A
{
    A() { cout << "construct: " << ++g_constructCount << endl; }
    A(const A& a) { cout << "copy construct: " << ++g_copyConstructCount << endl; }
    ~A() { cout << "destruct: " << ++g_destructCount << endl; }
    void Output() { cout << "A" << endl; }
};
A GetA(int iType)
{
    if (iType == 0)
    {
        A a1;
        return a1;
    }
    else
    {
        A a2;
        return a2;
    }
}
int _tmain(int argc, _TCHAR* argv[])
{
    A a = GetA(0);
    a.Output();
 
    return 0;
}
看以上的代码，输出的结果与 A&& a = GetA(0); 是一样的，如果return的地方有一个拷贝构造，那构造A a对象时，从函数返回值到生成a，是否该再一次调用拷贝构造？但结果却是只调用了一次。[/quote]返回值优化[/quote] 看来是了，VS2013是否有设置关闭NVO？ 我本来以为通过右值引用，不会发生拷贝构造，看来一次拷贝构造是省不了了。[/quote] 拷贝构造不是通过右值引用省掉的，要用 copy ellision 来省掉。 不过 copy ellision 现在还不是强制的。
paschen 版主 2017-02-20
  • 打赏
  • 举报
 回复
A GetA(int iType) 不是按右值引用返回的，返回时发生了复制（函数返回类型形式不取决于A&& a = GetA(0);这里的&&） 如果返回的是右值引用，函数形式需要是这种：A&& GetA(int iType)
fefe82 2017-02-20
  • 打赏
  • 举报
 回复
return 的地方有一个拷贝构造。
珍惜生命远离CPP 2017-02-20
  • 打赏
  • 举报
 回复 
A&& GetA(int iType)
{
    A a;
    return std::move(a);
}
这种代码是错的
运算符科技 2017-02-20
  • 打赏
  • 举报
 回复
引用 10 楼 aqtata 的回复:
[quote=引用 6 楼 alicehyxx 的回复:] [quote=引用 4 楼 aqtata 的回复:] 第一，你贴的代码并没有"右值引用"。 第二，右值引用的意义主要在于避免字符串的拷贝，参考下面的例子。 
#include "stdafx.h"
#include <iostream>

class A
{
public:
	A()
	{
		_s = new char[16]{ 0 };
		strcpy(_s, "Hello");
	}

	A(A&& a) noexcept
	{
		this->_s = a._s;
		a._s = nullptr;
	}

	virtual ~A()
	{
		delete _s;
	}

	void print() const { std::cout << _s << std::endl; }

private:
	char* _s = nullptr;
};

A GetA()
{
	A a;
	return a;
}

int main()
{
	auto a = GetA();
	a.print();

	system("pause");
	return 0;
}
A&& a = GetA(); 这不是右值引用？我就想通过这个由值引用延伸GetA()函数内部局部变量的生命周期。 你贴的代码，是Move语义的构造函数，这个我明白[/quote] sorry，理解错误。把GetA改改 
A&& GetA(int iType)
{
	A a;
	return std::move(a);
}
[/quote] 这么改，就变为调用A类的Move构造函数了。 我是想通过由值引用延伸函数内部局部变量的生命周期，看来是不行了。
运算符科技 2017-02-20
  • 打赏
  • 举报
 回复
引用 17 楼 pengzhixi 的回复:
[quote=引用 16 楼 alicehyxx 的回复:] [quote=引用 13 楼 fefe82 的回复:] return 的地方有一个拷贝构造。
#include "stdafx.h"
#include <iostream>
 
using namespace std;
 
int g_constructCount = 0;
int g_copyConstructCount = 0;
int g_destructCount = 0;
struct A
{
    A() { cout << "construct: " << ++g_constructCount << endl; }
    A(const A& a) { cout << "copy construct: " << ++g_copyConstructCount << endl; }
    ~A() { cout << "destruct: " << ++g_destructCount << endl; }
    void Output() { cout << "A" << endl; }
};
A GetA(int iType)
{
    if (iType == 0)
    {
        A a1;
        return a1;
    }
    else
    {
        A a2;
        return a2;
    }
}
int _tmain(int argc, _TCHAR* argv[])
{
    A a = GetA(0);
    a.Output();
 
    return 0;
}
看以上的代码，输出的结果与 A&& a = GetA(0); 是一样的，如果return的地方有一个拷贝构造，那构造A a对象时，从函数返回值到生成a，是否该再一次调用拷贝构造？但结果却是只调用了一次。[/quote]返回值优化[/quote] 看来是了，VS2013是否有设置关闭NVO？ 我本来以为通过右值引用，不会发生拷贝构造，看来一次拷贝构造是省不了了。
pengzhixi 2017-02-20
  • 打赏
  • 举报
 回复
引用 16 楼 alicehyxx 的回复:
[quote=引用 13 楼 fefe82 的回复:] return 的地方有一个拷贝构造。
#include "stdafx.h"
#include <iostream>
 
using namespace std;
 
int g_constructCount = 0;
int g_copyConstructCount = 0;
int g_destructCount = 0;
struct A
{
    A() { cout << "construct: " << ++g_constructCount << endl; }
    A(const A& a) { cout << "copy construct: " << ++g_copyConstructCount << endl; }
    ~A() { cout << "destruct: " << ++g_destructCount << endl; }
    void Output() { cout << "A" << endl; }
};
A GetA(int iType)
{
    if (iType == 0)
    {
        A a1;
        return a1;
    }
    else
    {
        A a2;
        return a2;
    }
}
int _tmain(int argc, _TCHAR* argv[])
{
    A a = GetA(0);
    a.Output();
 
    return 0;
}
看以上的代码，输出的结果与 A&& a = GetA(0); 是一样的，如果return的地方有一个拷贝构造，那构造A a对象时，从函数返回值到生成a，是否该再一次调用拷贝构造？但结果却是只调用了一次。[/quote]返回值优化
运算符科技 2017-02-20
  • 打赏
  • 举报
 回复
引用 13 楼 fefe82 的回复:
return 的地方有一个拷贝构造。
#include "stdafx.h"
#include <iostream>
 
using namespace std;
 
int g_constructCount = 0;
int g_copyConstructCount = 0;
int g_destructCount = 0;
struct A
{
    A() { cout << "construct: " << ++g_constructCount << endl; }
    A(const A& a) { cout << "copy construct: " << ++g_copyConstructCount << endl; }
    ~A() { cout << "destruct: " << ++g_destructCount << endl; }
    void Output() { cout << "A" << endl; }
};
A GetA(int iType)
{
    if (iType == 0)
    {
        A a1;
        return a1;
    }
    else
    {
        A a2;
        return a2;
    }
}
int _tmain(int argc, _TCHAR* argv[])
{
    A a = GetA(0);
    a.Output();
 
    return 0;
}
看以上的代码，输出的结果与 A&& a = GetA(0); 是一样的，如果return的地方有一个拷贝构造，那构造A a对象时，从函数返回值到生成a，是否该再一次调用拷贝构造？但结果却是只调用了一次。
运算符科技 2017-02-20
  • 打赏
  • 举报
 回复
引用 12 楼 akirya 的回复:
A&& GetA(int iType)
{
    A a;
    return std::move(a);
}
这种代码是错的
的确是错的，返回值应该就是A，只不过通过移动构造函数构造的
pengzhixi 2017-02-20
  • 打赏
  • 举报
 回复
引用 8 楼 alicehyxx 的回复:
[quote=引用 3 楼 pengzhixi 的回复:] 那个if结构会影响到优化，出现这种选择结构的时候在优化临时变量的时候会有些影响
我本以为右值引用不受这个影响，RVO和NRVO受影响我知道，为啥右值引用也需要拷贝呢？[/quote]因为你没有move copy constructor
运算符科技 2017-02-20
  • 打赏
  • 举报
 回复
引用 3 楼 pengzhixi 的回复:
那个if结构会影响到优化，出现这种选择结构的时候在优化临时变量的时候会有些影响
我本以为右值引用不受这个影响，RVO和NRVO受影响我知道，为啥右值引用也需要拷贝呢？
运算符科技 2017-02-20
  • 打赏
  • 举报
 回复
引用 5 楼 cyfcsd 的回复:
调用GetA的时候会构造一个对象a1，这个对象是在GetA函数的栈内构建的，当函数返回时，必须要调用复制构造函数将这个对象“值拷贝”到函数外面（应该是主函数栈内），因为GetA的栈马上就要被释放了，必须在此之前将值复制出来，所以这里调用了一次复制构造函数，当然对应的也要调用两次析构函数了
如果对象a1不在if语句内部，GetA()函数改为： A GetA() A a1; return a1; } vs2013下，由于NRVO的存在，是不会调用拷贝构造的，就一次构造，一次析构
运算符科技 2017-02-20
  • 打赏
  • 举报
 回复
引用 4 楼 aqtata 的回复:
第一，你贴的代码并没有"右值引用"。 第二，右值引用的意义主要在于避免字符串的拷贝，参考下面的例子。 
#include "stdafx.h"
#include <iostream>

class A
{
public:
	A()
	{
		_s = new char[16]{ 0 };
		strcpy(_s, "Hello");
	}

	A(A&& a) noexcept
	{
		this->_s = a._s;
		a._s = nullptr;
	}

	virtual ~A()
	{
		delete _s;
	}

	void print() const { std::cout << _s << std::endl; }

private:
	char* _s = nullptr;
};

A GetA()
{
	A a;
	return a;
}

int main()
{
	auto a = GetA();
	a.print();

	system("pause");
	return 0;
}
A&& a = GetA(); 这不是右值引用？我就想通过这个由值引用延伸GetA()函数内部局部变量的生命周期。 你贴的代码，是Move语义的构造函数，这个我明白
flying_music 2017-02-20
  • 打赏
  • 举报
 回复
调用GetA的时候会构造一个对象a1，这个对象是在GetA函数的栈内构建的，当函数返回时，必须要调用复制构造函数将这个对象“值拷贝”到函数外面（应该是主函数栈内），因为GetA的栈马上就要被释放了，必须在此之前将值复制出来，所以这里调用了一次复制构造函数，当然对应的也要调用两次析构函数了
pengzhixi 2017-02-20
  • 打赏
  • 举报
 回复
那个if结构会影响到优化，出现这种选择结构的时候在优化临时变量的时候会有些影响
ri_aje 2017-02-20
  • 打赏
  • 举报
 回复
返回值要复制到临时变量中，所以有两个变量。优化以后，应该能变成一个。
vnvlyp 2017-02-20
  • 打赏
  • 举报
 回复
你这个拷贝构造函数并不是右值引用啊，另外右值引用拷贝是避免成员复制吧，对象本身要创建和销毁有什么问题？
c++的右值引用具体用法
在c++11中，支持右值引用，右值引用的用处之一是移动语义，对象的资源所有权发生转移，在c++11之前，移动语义的缺失是c++饱受诟病的问题之一. 什么是左值？什么是右值？ 凡有名者，皆为左值．左值对应变量的存储位置，右值对应变量的值本身，右值可以被赋值给左值，或者绑定到引用． 右值引用的优点？ 类的右值是一个临时对象，如果没有被绑定到引用，在表达式结束时候，就会废弃，在右值被废弃之前，移走资源进行废物利用． 被移走资源的右值在废弃时已经成为空壳，析构的开销降低． 为临时变量续命，也就是为右值续命，右值在表达式结束后就消亡了，如果想继续使用右值，就会使用昂贵的拷贝构造函数 如果能够直接使用临时
C++11右值引用和转发型引用教程详解
右值引用 为了解决移动语义及完美转发问题，C++11标准引入了右值引用（rvalue reference）这一重要的新概念。右值引用采用T&&这一语法形式，比传统的引用T&（如今被称作左值引用 lvalue reference）多一个&。 如果把经由T&&这一语法形式所产生的引用类型都叫做右值引用，那么这种广义的右值引用又可分为以下三种类型： 无名右值引用 具名右值引用 转发型引用 无名右值引用和具名右值引用的引入主要是为了解决移动语义问题。 转发型引用的引入主要是为了解决完美转发问题。  无名右值引用 无名右值引用（unnamed rvalue reference）是指由
C++零基础入门(C++11/C++14)
这是一套系统学习C++新标准(C++11/14起步)的课程。课程系统且全面，理论与代码结合，每节课程都会用最简洁的代码讲解对应C++语法点，同时每节课还配了高清字幕，非常通俗易懂。课程共分为三篇：1) 基础篇：这部分主要学习零散的基础语法，比如变量、常量、运算符、数据类型、enum、union、数组、动态数组、字符串、条件结构、循环结构、函数、指针(非常重要)、引用(非常重要，包括C++11开始引入的右值、右值引用)等。2) 面向对象篇：这部分是C++的核心。主要讲解struct、类与对象(其中C++11开始引入的移动构造、移动赋值等非常重要！)、友元、运算符重载、继承(单继承、多继承、虚基类等)、多态(虚函数、纯虚函数等)。3) 模板篇：自定义模板(template，包括函数模板和类模板)、模板的全特化和偏特化、使用C++标准库提供的模板(比如智能指针、STL)等。  
左值引用、右值引用详解
左值引用、右值引用 右值引用 1 右值引用概念 什么是左值？什么是左值引用？ 什么是右值？什么是右值引用？ 2左值与右值 总结 C++11对右值进行了严格的区分： 3 引用与右值引用比较 4 右值引用使用场景和意义(移动语义) 总结 5 右值引用引用左值及其一些更深入的使用场景分析 总结 6 完美转发 为什么右值引用引用了右值以后，在后面属性就会退化成左值？......
什么是右值引用？
右值引用，为什么引入右值引用
C++ 语言

64,637

社区成员

250,559

社区内容

发帖
与我相关
我的任务
社区描述
C++ 语言相关问题讨论，技术干货分享，前沿动态等
c++ 技术论坛（原bbs）
社区管理员
  • C++ 语言社区
  • encoderlee
  • paschen
加入社区
  • 近7日
  • 近30日
  • 至今

加载中

查看更多榜单
社区公告
  1. 请不要发布与C++技术无关的贴子
  2. 请不要发布与技术无关的招聘、广告的帖子
  3. 请尽可能的描述清楚你的问题，如果涉及到代码请尽可能的格式化一下

试试用AI创作助手写篇文章吧

+ 用AI写文章