C++17结构化绑定的实现

2023-07-24 06:10:03 481
动机
std::map的insert方法返回std::pair，两个元素分别是指向所插入键值对的迭代器与指示是否新插入元素的布尔值，而std::map::iterator解引用又得到键值对std::pair。在一个涉及std::map的算法中，有可能出现大量的first和second，让人不知所措。
#include
#include

intmain()
{
typedefstd::mapMap;
Mapmap;
std::pairresult=map.insert(Map::value_type(1,2));
if(result.second)
std::cout<<"insertedsuccessfully"<first<<","<second<<"]"<
C++11标准库添加了std::tie，用若干引用构造出一个std::tuple，对它赋以std::tuple对象可以给其中的引用一一赋值（二元std::tuple可以由std::pair构造或赋值）。std::ignore是一个占位符，所在位置的赋值被忽略。
#include
#include
#include

intmain()
{
std::mapmap;
boolinserted;
std::tie(std::ignore,inserted)=map.insert({1,2});
if(inserted)
std::cout<<"insertedsuccessfully"<
但是这种方法仍远不完美，因为：

变量必须事先单独声明，其类型都需显式表示，无法自动推导；
对于默认构造函数执行零初始化的类型，零初始化的过程是多余的；
也许根本没有可用的默认构造函数，如std::ofstream。

为此，C++17引入了结构化绑定（structuredbinding）。
#include
#include

intmain()
{
std::mapmap;
auto&&[iter,inserted]=map.insert({1,2});
if(inserted)
std::cout<<"insertedsuccessfully"<
结构化绑定这一语言特性在提议的阶段曾被称为分解声明（decompositiondeclaration），后来又被改回结构化绑定。这个名字想强调的是，结构化绑定的意义重在绑定而非声明。
语法


结构化绑定有三种语法：
attr(optional)cv-autoref-operator(optional)[identifier-list]=expression;
attr(optional)cv-autoref-operator(optional)[identifier-list]{expression};
attr(optional)cv-autoref-operator(optional)[identifier-list](expression);

其中，attr(optional)为可选的attributes，cv-auto为可能有const或volatile修饰的auto，ref-operator(optional)为可选的&或&&，identifier-list为逗号分隔的标识符，expression为单个表达式。
另外再定义initializer为=expression、{expression}或(expression)，换言之上面三种语法有统一的形式attr(optional)cv-autoref-operator(optional)[identifier-list]initializer;。
整个语句是一个结构化绑定声明，标识符也称为结构化绑定（structuredbindings），不过两处“binding”的词性不同。
顺带一提，C++20中volatile的许多用法都被废弃了。
行为


结构化绑定有三类行为，与上面的三种语法之间没有对应关系。
第一种情况，expression是数组，identifier-list的长度必须与数组长度相等。
第二种情况，对于expression的类型E，std::tuple_size是一个完整类型，则称E为类元组（tuple-like）类型。在STL中，std::array、std::pair和std::tuple都是这样的类型。此时，identifier-list的长度必须与std::tuple_size::value相等，每个标识符的类型都通过std::tuple_element推导出（具体见后文），用成员get()或get(e)初始化。显然，这些标准库设施是与语言核心绑定的。

第三种情况，E是非union类类型，绑定非静态数据成员。所有非静态数据成员都必须是public访问属性，全部在E中，或全部在E的一个基类中（即不能分散在多个类中）。identifier-list按照类中非静态数据成员的声明顺序绑定，数量相等。
应用


结构化绑定擅长处理纯数据类型，包括自定义类型与std::tuple等，给实例的每一个字段分配一个变量名：
#include

structPoint
{
doublex,y;
};

Pointmidpoint(constPoint&p1,constPoint&p2)
{
return{(p1.x+p2.x)/2,(p1.y+p2.y)/2};
}

intmain()
{
Pointp1{1,2};
Pointp2{3,4};
auto[x,y]=midpoint(p1,p2);
std::cout<<"("<
配合其他语法糖，现代C++代码可以很优雅：
#include
#include

intmain()
{
std::mapmap;
if(auto&&[iter,inserted]=map.insert({1,2});inserted)
std::cout<<"insertedsuccessfully"<
利用结构化绑定在类元组类型上的行为，我们可以改变数据类型的结构化绑定细节，包括类型转换、是否拷贝等：
#include
#include
#include

classTranscript{/*...*/};

classStudent
{
public:
constchar*name;
Transcriptscore;
std::stringgetName()const{returnname;}
constTranscript&getScore()const{returnscore;}
template
decltype(auto)get()const
{
ifconstexpr(I==0)
returngetName();
elseifconstexpr(I==1)
returngetScore();
else
static_assert(I<2);
}
};

namespacestd
{
template<>
structtuple_size
:std::integral_constant{};

template<>
structtuple_element<0,Student>{usingtype=decltype(std::declval().getName());};

template<>
structtuple_element<1,Student>{usingtype=decltype(std::declval().getScore());};
}

intmain()
{
std::cout<
Student是一个数据类型，有两个字段name和score。name是一个C风格字符串，它大概是从C代码继承来的，我希望客户能用上C++风格的std::string；score属于Transcript类型，表示学生的成绩单，这个结构比较大，我希望能传递const引用以避免不必要的拷贝。为此，我写明了三要素：std::tuple_size、std::tuple_element和get。这种机制给了结构化绑定很强的灵活性。
细节


#include
#include
#include

intmain()
{
std::pairpair{1,2.0};
intnumber=3;
std::tupletuple(number);
constauto&[i,f]=pair;
//i=4;//error
constauto&[ri]=tuple;
ri=5;
}


如果结构化绑定i被声明为constauto&，对应的类型为int，那么它应该是个constint&吧？i=4;出错了，看起来正是如此。但是如何解释ri=5;是合法的呢？
这个问题需要系统地从头谈起。先引入一个名字e，E为其类型：

当expression是数组类型A，且ref-operator不存在时，E为cvA，每个元素由expression中的对应元素拷贝（=expression）或直接初始化（{expression}或(expression)；
否则，相当于定义e为attrcv-autoref-operatoreinitializer;。

也就是说，方括号前面的修饰符都是作用于e的，而不是那些新声明的变量。至于为什么第一条会独立出来，这是因为在标准C++中第二条的形式不能用于数组拷贝。
然后分三种情况讨论：

数组情形，E为T的数组类型，则每个结构化绑定都是指向e数组中元素的左值；被引类型（referencedtype）为T；——结构化绑定是左值，不是左值引用：intarray[2]{1,2};auto&[i,j]=array;static_assert(!std::is_reference_v);；
类元组情形，如果e是左值引用，则e是左值（lvalue），否则是消亡值（xvalue）；记Ti为std::tuple_element::type，则结构化绑定vi的类型是Ti的引用；当get返回左值引用时是左值引用，否则是右值引用；被引类型为Ti；——decltype对结构化绑定有特殊处理，产生被引类型，在类元组情形下结构化绑定的类型与被引类型是不同的；
数据成员情形，与数组类似，设数据成员mi被声明为Ti类型，则结构化绑定的类型是指向cvTi的左值（同样不是左值引用）；被引类型为cvTi。

至此，我想“结构化绑定”的意义已经明确了：标识符总是绑定一个对象，该对象是另一个对象的成员（或数组元素），后者或是拷贝或是引用（引用不是对象，意会即可）。与引用类似，结构化绑定都是既有对象的别名（这个对象可能是隐式的）；与引用不同，结构化绑定不一定是引用类型。
现在可以解释ri非const的现象了：编译器先创建了变量constauto&e=tuple;，E为conststd::tuple&，std::tuple_element<0,E>::type为int&，std::get<0>(e)同样返回int&，故ri为int&类型。
在面向底层的C++编程中常用union和位域（bitfield），结构化绑定支持这样的数据成员。如果类有union类型成员，它必须是命名的，绑定的标识符的类型为该union类型的左值；如果有未命名的union成员，则这个类不能用于结构化绑定。
C++中不存在位域的指针和引用，但结构化绑定可以是指向位域的左值：
#include

structBitField
{
intf1:4;
intf2:4;
intf3:4;
};

intmain()
{
BitFieldb{1,2,3};
auto&[f1,f2,f3]=b;
f2=4;
autoprint=[&]{std::cout<
程序输出：

143

153



f2的功能就像位域的引用一样，既能写回原值，又不会超出位域的范围。
还有一些语法细节，比如get的名字查找、std::tuple_size没有value、explicit拷贝构造函数等，除非是深挖语法的languagelawyer，在实际开发中不必纠结（上面这一堆已经可以算languagelawyer了吧）。
局限


以上代码示例应该已经囊括了所有类型的结构化绑定应用，你能想象到的其他语法都是错的，包括但不限于：
用std::initializer_list初始化；
因为std::initializer_list的长度是动态的，但结构化绑定的标识符数量是静态的。
用列表初始化——auto[x,y,z]={1,"xyzzy"s,3.14159};；
这相当于声明了三个变量，但结构化绑定的意图在于绑定而非声明。
不声明而直接绑定——[iter,success]=mymap.insert(value);；
这相当于用std::tie，所以请继续用std::tie。另外，由[开始可能与attributes混淆，给编译器和编译器设计者带来压力。
指明结构化绑定的修饰符——auto[&x,consty,const&z]=f();；
同样是脱离了结构化绑定的意图。如果需要这样的功能，或者一个个定义变量，或者手动写上三要素。
指明结构化绑定的类型——SomeClass[x,y]=f();或auto[x,std::stringy]=f();；
第一种可用auto[x,y]=SomeClass{f()};代替；第二种同上一条。
显式忽略一个结构化绑定——auto[x,std::ignore,z]=f();；
消除编译器警告是一个理由，但是auto[x,y,z]=f();(void)y;亦可。这还涉及一些语言问题，请移步P0144R23.8节。
标识符嵌套——std::tuple,T4>f();auto[w,[x,y],z]=f();；
多写一行吧。[同样可能与attributes混淆。
以上语法都没有纳入C++20标准，不过可能在将来成为C++语法的扩展。
延伸


C++17的新特性不是孤立的，与结构化绑定相关的有：
类模板参数推导（classtemplateargumentdeduction，CTAD），由构造函数参数推导类模板参数；
拷贝省略（copyelision），保证NRV（namedreturnvalue）优化；
constexprif，简化泛型代码，消除部分SFINAE；
带初始化的条件分支语句：语法糖，使代码更加优雅。


到此这篇关于C++17结构化绑定的实现的文章就介绍到这了,更多相关C++17结构化绑定内容请搜索毛票票以前的文章或继续浏览下面的相关文章希望大家以后多多支持毛票票！
声明：本文内容来源于网络，版权归原作者所有，内容由互联网用户自发贡献自行上传，本网站不拥有所有权，未作人工编辑处理，也不承担相关法律责任。如果您发现有涉嫌版权的内容，欢迎发送邮件至：czq8825#qq.com（发邮件时，请将#更换为@）进行举报，并提供相关证据，一经查实，本站将立刻删除涉嫌侵权内容。
上一篇
pytorch中 gpu与gpu、gpu与cpu 在load时相互转化操作下一篇
tensorflow模型转ncnn的操作方式

热门推荐

1 如何训练狗狗握手

2 纪念入团的祝福语简短

3 朋友聚会烟花祝福语简短

4 生日亲属祝福语简短英文

5 结婚致辞弟弟祝福语简短

6 感谢大班老师祝福语简短

7 古诗长辈祝福语大全简短

8 同事组团离职祝福语简短

9 新出生男孩祝福语简短

10 新员工寄语祝福语简短

11 新婚敬酒祝福语大全简短

12 怎么训练狗狗

13 训练狗狗上厕所

14 春蚕老师祝福语简短励志

15 高考好运如愿祝福语简短

16 战哥过年祝福语简短

17 中考感谢朋友祝福语简短

18 长沙旅游祝福语大全简短
C++17结构化绑定的实现

热门推荐

随机推荐
