复制省略与结构化绑定一起工作吗

Does copy elision work with structured bindings(复制省略与结构化绑定一起工作吗)
本文介绍了复制省略与结构化绑定一起工作吗的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!

问题描述

强制复制省略是否适用于通过结构化绑定的分解?这适用于以下哪些情况?

// one
auto [one, two] = std::array<SomeClass>{SomeClass{1}, SomeClass{2}};

// two
auto [one, two] = std::make_tuple(SomeClass{1}, SomeClass{2});

// three
struct Something { SomeClass one, two; };
auto [one, two] = Something{};    

我怀疑只有第三种情况允许复制省略,因为前两种情况将通过std::get<>std::tuple_size<>进行"分解",并且std::get<>在参数为rvalue时返回x值

引用标准也不错!

推荐答案

强制复制省略是否适用于通过结构化绑定的分解?这适用于以下哪些情况?

是的,都是。结构化绑定的要点是为您提供对要绑定到的类型的非结构化元素的命名引用。此:

auto [one, two] = expr;

只是以下内容的语法糖分:

auto __tmp = expr;
some_type<0,E>& a = some_getter<0>(__tmp);
some_type<1,E>& b = some_getter<1>(__tmp);

其中some_typesome_getter取决于我们要析构的类型(数组、类似元组或具有所有公共非静电数据成员的类型)。

强制复制省略适用于auto __tmp = expr行,其他行均不涉及副本。


评论中有一个示例周围有一些念力,所以让我详细说明一下发生了什么:

auto [one, two] = std::make_tuple(Something{}, Something{});

那个expands into:

auto __tmp = std::make_tuple(Something{}, Something{}); // note that it is from
// std::make_tuple() itself that we get the two default constructor calls as well
// as the two copies.
using __E = std::remove_reference_t<decltype(__tmp)>; // std::tuple<Something, Something>
然后,由于__E是not an array type但是is tuple-like,我们通过unqualified call to get looked up in the associated namespace of __E引入变量。初始值设定项将是xvalue,类型将是rvalue references:

std::tuple_element_t<0, __E>&& one = get<0>(std::move(__tmp));
std::tuple_element_t<1, __E>&& two = get<1>(std::move(__tmp));

请注意,虽然onetwo都是对__tmp的右值引用,但decltype(one)decltype(two)将both yield Something而不是Something&&

这篇关于复制省略与结构化绑定一起工作吗的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持编程学习网!

本站部分内容来源互联网,如果有图片或者内容侵犯您的权益请联系我们删除!

相关文档推荐

windeployqt doesn#39;t deploy qwindowsd.dll for a debug application(windeployqt不会为调试应用程序部署qwindowsd.dll)
QLineEdit: Show a processed text, not the entered one, but keep it (custom echo mode)(QLineEdit:显示已处理的文本,而不是输入的文本,但保留它(自定义回显模式))
Showing tooltip in a Qt chart with multiple y axes(在带有多个y轴的Qt图表中显示工具提示)
QTableView, how to change dragging multiple items display(QTableView,如何更改拖动多项显示)
How can I build Qt 5.13.2 with GCC 11.1 on Windows?(如何在Windows上用GCC 11.1构建Qt 5.13.2?)
singleton template as base class in C++(C++中作为基类的Singleton模板)