08 自动类型推断和初始化

->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 arr{1,2,3};

C++17: array arr{1,2,3}

列表初始化

容器的初始化列表可以以更简单的方式初始化对象。vector v{1,2,3}

这不仅仅是针对标准容器的特殊方法,而是一个通用的,可以用于各种类型的方法。

编译器对{1,2,3}这样的表达式自动生成一个初始化列表initializer_list,代码只需要声明一个接收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}; // 如果构造函数没有提供初始化列表,则成员初始化由默认初始化完成

}

你可能感兴趣的:(08 自动类型推断和初始化)