现在可以初始化特定(指定的)聚合成员并跳过其他成员。与C语言不同,初始化顺序必须与聚合声明相同。
#include <iostream>#include <string>struct S{ int x; int y{2}; std::string s;}; int main(){ S s1{.y = 3}; // {0, 3, {}} S s2 = {.x = 1, .s = 'abc'}; // {1, 2, {'abc'}} //S s3{.y = 1, .x = 2}; // Error, x should be initialized before y std::cout << s1.y << std::endl; return 0;}
在线测试
https://wandbox.org/nojs/gcc-headhttps://wandbox.org/nojs/clang-head
在C++ 20之前,要为位域提供默认值,必须创建默认构造函数,现在可以使用方便的默认成员初始化语法来实现。
#include <iostream>#include <string>#include <stdio.h>// until C++20:struct S1{ int a : 1; int b : 1; S1() : a{0}, b{1}{}};// since C++20:struct S2{ short int a : 1 {0}; short int b : 1 {1};}; int main(){ S1 s1; S2 s2; std::cout << sizeof(s1) << std::endl; printf( 'S2.b : %hhu\n', s1.b ); std::cout << sizeof(s2) << std::endl; printf( 'S2.b : %hhu\n', s2.b ); return 0;}
typename可以在只出现类型名的上下文中省略(类型转换、返回类型、类型别名、成员类型、成员函数的参数类型等)。
inline关键字允许出现在嵌套的命名空间定义中:
#include <iostream>#include <string>#include <stdio.h>// C++20namespace A::B::inline C1{ void f(){std::cout << 'C1' << std::endl;}}// C++17namespace A::B{ inline namespace C2{ void f(){std::cout << 'C2' << std::endl;} }}int main(){ A::B::C1::f(); A::B::C2::f(); return 0;}
作用域枚举很棒,唯一的问题是它们的冗长使用(例如my_enum::enum_value)。例如,在检查每个可能的enum值的switch语句中,应该为每个case-label重复my_enum:: part。使用enum声明将所有枚举名称引入当前作用域,因此它们作为非限定名称可见,my_enum::部分可以省略。它可以应用于无作用域枚举,甚至单个枚举器。
#include <iostream>#include <string>#include <stdio.h>namespace my_lib { enum class color { red, green, blue }; enum COLOR {RED, GREEN, BLUE}; enum class side {left, right};}void f(my_lib::color c1, my_lib::COLOR c2){ using enum my_lib::color; // introduce scoped enum using enum my_lib::COLOR; // introduce unscoped enum using my_lib::side::left; // introduce single enumerator id // C++17 if(c1 == my_lib::color::red){std::cout << 'red' << std::endl;} // C++20 if(c1 == green){/*...*/} if(c2 == RED){std::cout << 'RED' << std::endl;} auto r = my_lib::side::right; // qualified id is required for `right` auto l = left; // but not for `left`}int main(){ f(my_lib::color::red, my_lib::COLOR::RED); return 0;}
这个修复允许编译器推导new表达式中的数组大小,就像它对局部变量所做的那样。
#include <iostream>#include <string>#include <stdio.h>int main(){ // before C++20 int p0[]{1, 2, 3}; int* p1 = new int[3]{1, 2, 3}; // explicit size is required // since C++20 int* p2 = new int[]{1, 2, 3}; int* p3 = new int[]{}; // empty char* p4 = new char[]{'hi'}; // works with parenthesized initialization of aggregates int p5[](1, 2, 3); int* p6 = new int[](1, 2, 3); return 0;}
#include <iostream>#include <string>#include <stdio.h>template<typename T>using IntPair = std::pair<int, T>;int main(){ double d{}; IntPair<double> p0{1, d}; // C++17 IntPair p1{1, d}; // std::pair<int, double> // C++20 IntPair p2{1, p1}; // std::pair<int, std::pair<int, double>> return 0;}
联系客服