目录
- 定义
- 1、用于原生数组的结构化绑定声明
- 2、用于std::array的结构化绑定声明
- 3、用于对象数据成员的结构化绑定声明
定义
结构化绑定声明是一个声明语句,意味着声明了一些标识符并对标识符做了初始化。将指定的一些名字绑定到初始化器的子对象或者元素上。
对于初始化器赋值的理解:
1、用于原生数组的结构化绑定声明
若初始化表达式为数组类型,则标识符列表中的名字绑定到数组元素。
标识符数量必须等于数组元素数量
标识符类型与数组元素类型一致
int main() {int priArr [] {42, 21, 7};// ai/bi/ci 的基本类型都是int,只是cv标识或引用标识不同auto [a1, a2, a3] = priArr; // a1 是 priArr[0] 的拷贝,a2, a3类推const auto [b1, b2, b3] (priArr); // b1 是 priArr[0] 的只读拷贝,b2, b3类推auto &[c1, c2, c3] {priArr}; // c1 是 priArr[0] 的引用,c2, c3类推c3 = 14; // priArr[2]的值变为14return 0;
}
2、用于std::array的结构化绑定声明
若初始化表达式为数组类型,则标识符列表中的名字绑定到数组元素
标识符数量必须等于std::array数组中的元素数量
标识符类型与std::array中的数组元素类型一致
int main() {// std::array stdArr = {'a','b','c'}; c++17std::array<char,3> stdArr = {'a','b','c'};auto [d1, d2, d3] {stdArr}; return 0;
}
3、用于对象数据成员的结构化绑定声明
若初始化表达式为类/结构体类型,则标识符列表中的名字绑定到类/结构体的非静态数据成员上。
数据成员必须为公有成员
标识符数量必须等于数据成员的数量
标识符类型与数据成员类型一致
class C { // 可以改用 struct C,然后去掉下面的public属性说明
public:int i { 420 }; // 就地初始化char ca[ 3 ] { 'O', 'K', '!' };
};
int main() {C c;auto [a1, a2] {c}; // a1是int类型,a2是char[]类型std::cout << "c.i:" << a1 << " c.ca:" << b2 << std::endl;
}
auto后跟&,则标识符是数据成员的引用。
auto前可放置const,表明标识符是只读的。
int main() {C c; // c.i: 420; c.ca: 'O','K','!'auto [a1, a2] {c}; // a1是c.i的拷贝,a2是char[]类型auto& [b1, b2] {c}; // b1是int&类型,是c.i的引用,// b2是char(&)[3]类型(数组的引用),是c.ca的引用a1 = 100;std::cout << "c.i:" << c.i << std::endl; // 输出420,改a1不影响c.ib1 = 200;std::cout << "c.i:" << c.i << std::endl; // 输出200,通过b1修改了c.i}
注意:C++中对class中的两个数据类型没有private、public声明,则认为是私有的。
例如下面的代码就是错误的,因为两个变量是私有的。
class C{int a{0};int b{1};
};
int main() {C c;auto [ x, y] {c};
}