->auto
自动类型推断,编译器可以根据表达式的类型,自动决定变量的类型,C++14开始,还可以自动推断函数的返回类型,不需要手工声明。auto的变量类型仍然是编译时就确定了的(C++是静态类型语言),只不过编译器能够自动填充这个类型。
->decltype
获得一个表达式的类型,结果可以跟类型一样使用。
decltype(变量名)获取变量的精确类型
decltype(表达式)获取表达式的引用类型,如果表达式的结果是prvalue的情况获得值类型
int a;
decltype(a) // int
decltype((a)) // int& -> a是lvalue
decltype(a+a) // int -> a+a是prvalue
->decltype(auto)
用auto定义变量时需要确定时值类型还是引用类型。auto auto& auto&&
decltype(expr)既可以时值类型也可以是引用类型,因此可以写decltype(expr) a = expr;
C++14引入了decltype(auto) a = expr;当expr很长的时候可以很好的简化书写
这种代码主要用于通用的转发函数模板中:不知道调用的函数是不是会返回一个引用。
->C++14函数的返回值可以用auto decltype(auto)声明。还引入了后置返回值类型声明。
auto foo(para) -> returntype {}
类模板的模板参数推导
auto pr = make_pari(1, 11);
C++17: pair pr{1, 11};
array
C++17: array arr{1,2,3}
列表初始化
容器的初始化列表可以以更简单的方式初始化对象。vector
这不仅仅是针对标准容器的特殊方法,而是一个通用的,可以用于各种类型的方法。
编译器对{1,2,3}这样的表达式自动生成一个初始化列表initializer_list
统一初始化 uniform initialization
C++11引入了统一初始化的新语法,用{}来进行对象的初始化,{}初始化优先匹配initializer_list。
统一初始化避免了the most vexing parse
T1 name1(T2(name2)); // C++标准将其视为函数声明T1 name(T2 name2),而不是a function style cast
conversion operator:
用于将一个类型的对象转换成另一个类型的对象operator T() {} 可以看作是对()的重载。当需要一个T类型的变量时,operator T() 将会被调用
T a = obj; <=> T a = (T)obj;
converting constructor:
调用时只需要传入一个实参的构造函数,相当于一个隐式类型转换的方法。不过类类型转换只允许一步转换。如果要禁止这种隐式类型转换可以将构造函数声明为explicit
class test
{
test(string s) {}
void add(const test& t) {}
}
string s = "hello";
test t("hello");
t.add(s); // OK s隐式类型转换为test类型
t.add("hello"); // NG hello->string->test两步转换
C++11类数据成员的默认初始化
class XX
{
private:
m_f1{0}; // 如果构造函数没有提供初始化列表,则成员初始化由默认初始化完成
}