auto类型推导
利用auto关键字,编译器会在编译期间通过初始值推导出变量的类型,通过auto定义的变量必须有初始值。
auto var = val1 + val2
decltype类型推导
和auto的功能一样,都用来在编译时期进行自动类型推导。如果想通过表达式推断出变量的类型,而不需要进行初始化,则不能使用auto,而是使用decltype
auto var = var1 + var2;
decltype(var1 + var2) var = 0;
auto 根据 = 右边的初始值 val1 + val2 推导出变量的类型,并将该初始值赋值给变量 var;decltype 根据 val1 + val2 表达式推导出变量的类型,变量的初始值和与表达式的值无关。
auto 要求变量必须初始化,因为它是根据初始化的值推导出变量的类型,而 decltype 不要求,定义变量的时候可初始化也可以不初始化。
lambda表达式
lambda表达式的定义
[capture list] (parameter list) -> return type
{
function body;
};
capture list:捕获列表,指 lambda 所在函数中定义的局部变量的列表,通常为空。
return type、parameter list、function body:分别表示返回值类型、参数列表、函数体,和普通函数一样。
范围for语句
for (declaration : expression){
statement
}
expression:必须是一个序列,例如用花括号括起来的初始值列表、数组、vector ,string 等,这些类型的共同特点是拥有能返回迭代器的 beign、end 成员。
declaration:此处定义一个变量,序列中的每一个元素都能转化成该变量的类型,常用 auto 类型说明符。
#include <iostream>
#include <vector>
using namespace std;
int main() {
char arr[] = "hello world!";
for (char c : arr) {
cout << c;
}
return 0;
}
/*
程序执行结果为:
hello world!
*/
右值引用
右值引用:绑定到右值的引用,用 &&
来获得右值引用,右值引用只能绑定到要销毁的对象。为了和右值引用区分开,常规的引用称为左值引用。
include <iostream>
#include <vector>
using namespace std;
int main()
{
int var = 42;
int &l_var = var;
int &&r_var = var; // error: cannot bind rvalue reference of type 'int&&' to lvalue of type 'int' 错误:不能将右值引用绑定到左值上
int &&r_var2 = var + 40; // 正确:将 r_var2 绑定到求和结果上
return 0;
}
标准库move()函数
move()
函数:通过该函数可获得绑定到左值上的右值引用,该函数包括在 utility 头文件中。
智能指针
shard_ptr, weak_ptr, unique_ptr
delete函数和default函数
delete
函数:= delete
表示该函数不能被调用。default
函数:= default
表示编译器生成默认的函数,例如:生成默认的构造函数。
#include <iostream>
using namespace std;
class A
{
public:
A() = default; // 表示使用默认的构造函数
~A() = default; // 表示使用默认的析构函数
A(const A &) = delete; // 表示类的对象禁止拷贝构造
A &operator=(const A &) = delete; // 表示类的对象禁止拷贝赋值
};
int main()
{
A ex1;
A ex2 = ex1; // error: use of deleted function 'A::A(const A&)'
A ex3;
ex3 = ex1; // error: use of deleted function 'A& A::operator=(const A&)'
return 0;
}