1) 自动类型推导（auto 和 decltype）
自动类型推导（auto）
在C++11及以后的版本中，auto关键字被引入用于自动类型推导。这意味着编译器会自动推断变量的类型，基于其初始化的表达式。使用auto可以让代码更加简洁，尤其是在处理复杂类型或模板编程时。
示例：
std::vector<int> v = {1, 2, 3, 4}; | |
auto it = v.begin(); // it的类型被推导为std::vector<int>::iterator |
在上面的例子中，it的类型被自动推导为std::vector<int>::iterator，而不需要我们显式地声明。
decltype
decltype关键字用于查询表达式的类型，而不进行实际计算。它通常用于模板编程和类型推导，尤其是在需要获取复杂表达式类型的情况下。
示例：
int x = 5; | |
decltype(x) y = 10; // y的类型被推导为int | |
std::vector<int> v = {1, 2, 3, 4}; | |
decltype(v.begin()) it = v.begin(); // it的类型被推导为std::vector<int>::iterator |
在第一个例子中，y的类型被推导为int，因为x的类型是int。在第二个例子中，it的类型被推导为std::vector<int>::iterator，与v.begin()的返回类型相同。
2) 右值引用和移动语义
右值引用
右值引用是C++11中引入的一种新特性，允许我们引用临时对象（右值）。右值引用使用&&符号表示。右值引用使得我们可以避免不必要的拷贝，从而提高程序的性能。
示例：
void foo(int&& x) { | |
// x是一个右值引用 | |
} | |
int main() { | |
foo(10); // 10是一个右值，可以传递给foo | |
} |
移动语义
移动语义是C++11中引入的一种优化技术，用于处理资源所有权从一个对象转移到另一个对象的情况。它依赖于右值引用和移动构造函数/移动赋值运算符。
移动构造函数和移动赋值运算符允许对象在不需要复制其内部资源的情况下进行“移动”。这通常涉及将资源指针从一个对象“偷”到另一个对象，并将源对象设置为一个安全的状态（通常是空状态）。
示例：
class MyClass { | |
public: | |
MyClass(int size) : data(new int[size]), size(size) {} | |
// 移动构造函数 | |
MyClass(MyClass&& other) noexcept : data(other.data), size(other.size) { | |
other.data = nullptr; // 将源对象设置为空状态 | |
other.size = 0; | |
} | |
// 移动赋值运算符 | |
MyClass& operator=(MyClass&& other) noexcept { | |
if (this != &other) { | |
delete[] data; // 释放当前资源 | |
data = other.data; | |
size = other.size; | |
other.data = nullptr; // 将源对象设置为空状态 | |
other.size = 0; | |
} | |
return *this; | |
} | |
~MyClass() { | |
delete[] data; | |
} | |
private: | |
int* data; | |
int size; | |
}; |
在这个例子中，MyClass有一个移动构造函数和一个移动赋值运算符，它们允许对象在不需要复制其内部数组的情况下进行移动。这可以显著提高性能，特别是在处理大型数据结构时。
总的来说，右值引用和移动语义是C++11中引入的重要特性，它们使得C++程序能够更高效地管理资源，提高性能。