C++17结构化绑定
2020-05-15 16:01:09来源:博客园 阅读 ()
C++17结构化绑定
结构化绑定是C++17添加的新语法,把名字绑定到一个对象的成员上。与引用类似,结构化绑定都是既有对象的别名;与引用不同,结构化绑定不一定是引用类型。动机
std::map<K, V>
的insert
方法返回std::pair<iterator, bool>
,两个元素分别是指向所插入键值对的迭代器与指示是否新插入元素的布尔值,而std::map<K, V>::iterator
解引用又得到键值对std::pair<const K, V>
。在一个涉及std::map
的算法中,有可能出现大量的first
和second
,让人不知所措。
#include <iostream>
#include <map>
int main()
{
typedef std::map<int, int> Map;
Map map;
std::pair<Map::iterator, bool> result = map.insert(Map::value_type(1, 2));
if (result.second)
std::cout << "inserted successfully" << std::endl;
for (Map::iterator iter = map.begin(); iter != map.end(); ++iter)
std::cout << "[" << iter->first << ", " << iter->second << "]" << std::endl;
}
C++11标准库添加了std::tie
,用若干引用构造出一个std::tuple
,对它赋以std::tuple
对象可以给其中的引用一一赋值(二元std::tuple
可以由std::pair
构造或赋值)。std::ignore
是一个占位符,所在位置的赋值被忽略。
#include <iostream>
#include <map>
#include <utility>
int main()
{
std::map<int, int> map;
bool inserted;
std::tie(std::ignore, inserted) = map.insert({1, 2});
if (inserted)
std::cout << "inserted successfully" << std::endl;
for (auto&& kv : map)
std::cout << "[" << kv.first << ", " << kv.second << "]" << std::endl;
}
但是这种方法仍远不完美,因为:
-
变量必须事先单独声明,其类型都需显式表示,无法自动推导;
-
对于默认构造函数执行零初始化的类型,零初始化的过程是多余的;
-
也许根本没有可用的默认构造函数,如
std::ofstream
。
为此,C++17引入了结构化绑定(structured binding)。
#include <iostream>
#include <map>
int main()
{
std::map<int, int> map;
auto&& [iter, inserted] = map.insert({1, 2});
if (inserted)
std::cout << "inserted successfully" << std::endl;
for (auto&& [key, value] : map)
std::cout << "[" << key << ", " << value << "]" << std::endl;
}
结构化绑定这一语言特性在提议的阶段曾被称为分解声明(decomposition declaration),后来又被改回结构化绑定。这个名字想强调的是,结构化绑定的意义重在绑定而非声明。
语法
结构化绑定有三种语法:
attr(optional) cv-auto ref-operator(optional) [ identifier-list ] = expression;
attr(optional) cv-auto ref-operator(optional) [ identifier-list ] { expression };
attr(optional) cv-auto ref-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-auto ref-operator(optional) [ identifier-list ] initializer;
。
整个语句是一个结构化绑定声明,标识符也称为结构化绑定(structured bindings),不过两处“binding”的词性不同。
顺带一提,C++20中volatile
的许多用法都被废弃了。
行为
结构化绑定有三类行为,与上面的三种语法之间没有对应关系。
第一种情况,expression
是数组,identifier-list
的长度必须与数组长度相等。
第二种情况,对于expression
的类型E
,std::tuple_size<E>
是一个完整类型,则称E
为类元组(tuple-like)类型。在STL中,std::array
、std::pair
和std::tuple
都是这样的类型。此时,identifier-list
的长度必须与std::tuple_size<E>::value
相等,每个标识符的类型都通过std::tuple_element
推导出(具体见后文),用成员get<I>()
或get<I>(e)
初始化。显然,这些标准库设施是与语言核心绑定的。
第三种情况,E
是非union
类类型,绑定非静态数据成员。所有非静态数据成员都必须是public
访问属性,全部在E
中,或全部在E
的一个基类中(即不能分散在多个类中)。identifier-list
按照类中非静态数据成员的声明顺序绑定,数量相等。
应用
结构化绑定擅长处理纯数据类型,包括自定义类型与std::tuple
等,给实例的每一个字段分配一个变量名:
#include <iostream>
struct Point
{
double x, y;
};
Point midpoint(const Point& p1, const Point& p2)
{
return { (p1.x + p2.x) / 2, (p1.y + p2.y) / 2 };
}
int main()
{
Point p1{ 1, 2 };
Point p2{ 3, 4 };
auto [x, y] = midpoint(p1, p2);
std::cout << "(" << x << ", " << y << ")" << std::endl;
}
配合其他语法糖,现代C++代码可以很优雅:
#include <iostream>
#include <map>
int main()
{
std::map<int, int> map;
if (auto&& [iter, inserted] = map.insert({ 1, 2 }); inserted)
std::cout << "inserted successfully" << std::endl;
for (auto&& [key, value] : map)
std::cout << "[" << key << ", " << value << "]" << std::endl;
}
利用结构化绑定在类元组类型上的行为,我们可以改变数据类型的结构化绑定细节,包括类型转换、是否拷贝等:
#include <iostream>
#include <string>
#include <utility>
class Transcript { /* ... */ };
class Student
{
public:
const char* name;
Transcript score;
std::string getName() const { return name; }
const Transcript& getScore() const { return score; }
template<std::size_t I>
decltype(auto) get() const
{
if constexpr (I == 0)
return getName();
else if constexpr (I == 1)
return getScore();
else
static_assert(I < 2);
}
};
namespace std
{
template<>
struct tuple_size<Student>
: std::integral_constant<std::size_t, 2> { };
template<>
struct tuple_element<0, Student> { using type = decltype(std::declval<Student>().getName()); };
template<>
struct tuple_element<1, Student> { using type = decltype(std::declval<Student>().getScore()); };
}
int main()
{
std::cout << std::boolalpha;
Student s{ "Jerry", {} };
const auto& [name, score] = s;
std::cout << name << std::endl;
std::cout << (&score == &s.score) << std::endl;
}
Student
是一个数据类型,有两个字段name
和score
。name
是一个C风格字符串,它大概是从C代码继承来的,我希望客户能用上C++风格的std::string
;score
属于Transcript
类型,表示学生的成绩单,这个结构比较大,我希望能传递const
引用以避免不必要的拷贝。为此,我写明了三要素:std::tuple_size
、std::tuple_element
和get
。这种机制给了结构化绑定很强的灵活性。
细节
#include <iostream>
#include <utility>
#include <tuple>
int main()
{
std::pair pair{ 1, 2.0 };
int number = 3;
std::tuple<int&> tuple(number);
const auto& [i, f] = pair;
//i = 4; // error
const auto& [ri] = tuple;
ri = 5;
}
如果结构化绑定i
被声明为const auto&
,对应的类型为int
,那么它应该是个const int&
吧?i = 4;
出错了,看起来正是如此。但是如何解释ri = 5;
是合法的呢?
这个问题需要系统地从头谈起。先引入一个名字e
,E
为其类型:
-
当
expression
是数组类型A
,且ref-operator
不存在时,E
为cv A
,每个元素由expression
中的对应元素拷贝(= expression
)或直接初始化({ expression }
或( expression )
; -
否则,相当于定义
e
为attr cv-auto ref-operator e initializer;
。
也就是说,方括号前面的修饰符都是作用于e
的,而不是那些新声明的变量。至于为什么第一条会独立出来,这是因为在标准C++中第二条的形式不能用于数组拷贝。
然后分三种情况讨论:
-
数组情形,每个结构化绑定都是指向
e
数组中元素的左值(但不是左值引用)——int array[2]{ 1, 2 }; auto& [i, j] = array; static_assert(!std::is_reference_v<decltype(i)>);
; -
类元组情形,如果
e
是左值引用,则e
是左值(lvalue),否则是消亡值(xvalue);记Ti
为std::tuple_element<i, E>::type
,则结构化绑定vi
的类型是Ti
的引用;当get
返回左值引用时是左值引用,否则是右值引用; -
数据成员情形,与数组类似,设数据成员
mi
被声明为Ti
类型,则结构化绑定的类型是指向cv Ti
的左值(同样不是左值引用)。
至此,我想“结构化绑定”的意义已经明确了:标识符总是绑定一个对象,该对象是另一个对象的成员(或数组元素),后者或是拷贝或是引用(引用不是对象,意会即可)。与引用类似,结构化绑定都是既有对象的别名(这个对象可能是隐式的);与引用不同,结构化绑定不一定是引用类型。
(不理解的话可以参考N4659 11.5节,尽管你很可能会更加看不懂……)
现在可以解释ri
非const
的现象了:编译器先创建了变量const auto& e = tuple;
,E
为const std::tuple<int&>&
,std::tuple_element<0, E>::type
为int&
,std::get<0>(e)
同样返回int&
,故ri
为int&
类型。
在面向底层的C++编程中常用union
和位域(bit field),结构化绑定支持这样的数据成员。如果类有union
类型成员,它必须是命名的,绑定的标识符的类型为该union
类型的左值;如果有未命名的union
成员,则这个类不能用于结构化绑定。
C++中不存在位域的指针和引用,但结构化绑定可以是指向位域的左值:
#include <iostream>
struct BitField
{
int f1 : 4;
int f2 : 4;
int f3 : 4;
};
int main()
{
BitField b{ 1, 2, 3 };
auto& [f1, f2, f3] = b;
f2 = 4;
auto print = [&] { std::cout << b.f1 << " " << b.f2 << " " << b.f3 << std::endl; };
print();
f2 = 21;
print();
}
程序输出:
1 4 3
1 5 3
f2
的功能就像位域的引用一样,既能写回原值,又不会超出位域的范围。
还有一些语法细节,比如get
的名字查找、std::tuple_size<E>
没有value
、explicit
拷贝构造函数等,除非是深挖语法的language lawyer,在实际开发中不必纠结(上面这一堆已经可以算language lawyer了吧)。
局限
以上代码示例应该已经囊括了所有类型的结构化绑定应用,你能想象到的其他语法都是错的,包括但不限于:
-
用
std::initializer_list<T>
初始化;因为
std::initializer_list<T>
的长度是动态的,但结构化绑定的标识符数量是静态的。 -
用列表初始化——
auto [x,y,z] = {1, "xyzzy"s, 3.14159};
;这相当于声明了三个变量,但结构化绑定的意图在于绑定而非声明。
-
不声明而直接绑定——
[iter, success] = mymap.insert(value);
;这相当于用
std::tie
,所以请继续用std::tie
。另外,由[
开始可能与attributes混淆,给编译器和编译器设计者带来压力。 -
指明结构化绑定的修饰符——
auto [& x, const y, const& z] = f();
;同样是脱离了结构化绑定的意图。如果需要这样的功能,或者一个个定义变量,或者手动写上三要素。
-
指明结构化绑定的类型——
SomeClass [x, y] = f();
或auto [x, std::string y] = f();
;第一种可用
auto [x, y] = SomeClass{ f() };
代替;第二种同上一条。 -
显式忽略一个结构化绑定——
auto [x, std::ignore, z] = f();
;消除编译器警告是一个理由,但是
auto [x, y, z] = f(); (void)y;
亦可。这还涉及一些语言问题,请移步P0144R2 3.8节。 -
标识符嵌套——
std::tuple<T1, std::pair<T2, T3>, T4> f(); auto [ w, [x, y], z ] = f();
;多写一行吧。
[
同样可能与attributes混淆。
以上语法都没有纳入C++20标准,不过可能在将来成为C++语法的扩展。
延伸
C++17的新特性不是孤立的,与结构化绑定相关的有:
-
类模板参数推导(class template argument deduction,CTAD),由构造函数参数推导类模板参数;
-
拷贝消除,保证NRV(named return value)优化;
-
constexpr
if
,简化泛型代码,消除部分SFINAE; -
带初始化的条件分支语句:语法糖,使代码更加优雅。
原文链接:https://www.cnblogs.com/jerry-fuyi/p/12892288.html
如有疑问请与原作者联系
标签:
版权申明:本站文章部分自网络,如有侵权,请联系:west999com@outlook.com
特别注意:本站所有转载文章言论不代表本站观点,本站所提供的摄影照片,插画,设计作品,如需使用,请与原作者联系,版权归原作者所有
上一篇:解析一下C++的异常处理
下一篇:类欧几里得算法
- 函数延迟绑定的C++实现 2020-04-16
- C++17 新特性之 std::optional(上) 2019-11-25
- 动态绑定与静态绑定 2018-06-27
- c语言学习目标 2018-06-18
- 获取checkboxlist选中的值以及绑定来自之前选中的来自数据库 2018-06-18
IDC资讯: 主机资讯 注册资讯 托管资讯 vps资讯 网站建设
网站运营: 建站经验 策划盈利 搜索优化 网站推广 免费资源
网络编程: Asp.Net编程 Asp编程 Php编程 Xml编程 Access Mssql Mysql 其它
服务器技术: Web服务器 Ftp服务器 Mail服务器 Dns服务器 安全防护
软件技巧: 其它软件 Word Excel Powerpoint Ghost Vista QQ空间 QQ FlashGet 迅雷
网页制作: FrontPages Dreamweaver Javascript css photoshop fireworks Flash