C++关键字系列(一)——auto 关键字

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 113 天前的主题，其中的信息可能已经有所发展或是发生改变。

最近看完了《 C++20 高级编程（第 5 版）》，想整理一下主要内容，就从关键字开始吧，既作为总结复习，也作为面试准备。主要内容由 GPT 生成，我个人负责审查内容和代码，介意者请关闭并拉黑。

注意：本文包含 AI 生成内容

在 C++中，auto关键字有两个主要的用途：自动类型推断和返回值占位符。

自动类型推断🔍：auto可以根据初始化的值自动推断变量的类型。这在处理复杂类型，如 STL 容器的迭代器时，非常有用，可以使代码更加简洁。

std::vector<int> vec = {1, 2, 3, 4, 5};

// 使用 auto 关键字自动推断类型
for(auto it = vec.begin(); it != vec.end(); ++it) {
    std::cout << *it << std::endl;
}

在这个例子中，auto被用来自动推断it的类型，它是std::vector<int>::iterator。没有auto，我们需要手动写出这个复杂的类型📚。

返回值占位符🎯：在 C++14 以后，auto可以用作函数的返回值占位符，让编译器在编译时推断函数的返回类型。这在处理返回类型复杂或者依赖于模板参数的函数时非常有用。

template<typename T, typename U>
auto add(T t, U u) {
    return t + u;
}

int main() {
    auto result = add(1, 1.5);  // result 的类型被推断为 double
    std::cout << result << std::endl;
    return 0;
}

在这个例子中，auto被用作函数add的返回值类型🏷️。函数add可以接受任何类型的参数，返回值类型依赖于这些参数。由于参数类型在编译时才知道，所以我们使用auto让编译器在编译时推断返回值类型🔄。

range-based for 循环📝： auto关键字也可用于 range-based for 循环中，这样可以让编译器自动推断容器元素的类型🔎。例如：

std::vector<int> vec = {1, 2, 3, 4, 5};

for(auto x : vec) {
    std::cout << x << std::endl;
}

auto也可以搭配const/&/&&等修饰符使用，以避免拷贝或用于直接修改容器元素的值，例如：

std::vector<int> vec = {1, 2, 3, 4, 5};

for(const auto& x : vec) {
    std::cout << x << std::endl;
}

结构化绑定🎁：在 C++17 以后，auto可以用于结构化绑定，这使得我们可以更方便地从复杂的数据结构中提取数据。例如👇：

std::map<std::string, int> map = {{"John", 1}, {"Mary", 2}};
for(auto [key, value] : map) {
    std::cout << key << ": " << value << std::endl;
}

在这个例子中，auto被用于结构化绑定，它可以自动推断key和value的类型，这是std::map<std::string, int>中的key_type和mapped_type。

当然，auto关键字在 C++中的用途不止于此🔍。它也可以用来构造泛型 lambda 表达式和简化函数模板👏。

泛型 lambda 表达式📝：在 C++14 以后，auto可以用于 lambda 表达式的参数类型，这使得我们可以写出通用的 lambda 表达式🎉。

auto add = [](auto x, auto y) { return x + y; };

std::cout << add(1, 2) << std::endl;        // 输出 3
std::cout << add("Hello, "s, "World!") << std::endl; // 输出 Hello, World!

在这个例子中，add是一个通用的 lambda 表达式，它可以接受任何类型的参数，并返回它们的和💡。auto关键字使得我们可以在编译时推断参数的类型💼。

简化函数模板 📝: 在 C++20 以后，auto可以用于普通函数的参数类型，这使得我们可以使用函数模板的简化语法。这是一个非常方便的特性，因为它可以让我们在编写函数模板时，无需显式声明模板参数。下面是一些示例：

auto add(auto a, auto b) {
    return a + b;
}

在这个例子中，add 函数可以接受任何类型的参数，只要这些类型支持 + 运算符。例如，我们可以这样调用它：

int main() {
    std::cout << add(1, 2) << std::endl; // 输出: 3
    std::cout << add(1, 2.5) << std::endl; // 输出: 3.5
    std::cout << add("John "s, "Smith") << std::endl; // 输出: John Smith
}

简化函数模板与 Concepts📚：C++20 引入了 concepts ，这是一种表达模板参数要满足的条件的方法🎈。它允许我们在函数参数中直接使用 concepts 来约束参数的类型，这种特性使得我们可以更简洁地编写泛型代码✍️。

首先，我们需要定义一个 concept 。以下是一个简单的Incrementable的定义🧮：

template<typename T>
concept Incrementable = requires(T t) {
    { t++ } -> std::same_as<T>;
};

这个 concept 检查一个类型是否可以被（后缀）自增🔍。

然后，我们可以在函数参数中使用这个 concept 和auto来约束参数的类型🎯：

void increment(const Incrementable auto& t) {
    // ...
}

这个函数接受一个Incrementable类型的参数🔎。如果我们尝试传递一个不能自增的类型，编译器就会报错⚠️。

下面是一个完整的例子，包括一个接受Incrementable类型参数的函数和一些调用这个函数的代码📖：

#include <iostream>
#include <concepts>

template<typename T>
concept Incrementable = requires(T t) {
    { t++ } -> std::same_as<T>;
};

void increment(const Incrementable auto& t) {
    auto copy = t;
    copy++;
    std::cout << copy << std::endl;
}

int main() {
    int a = 5;
    increment(a); // 输出 6

    // std::string b = "hello";
    // increment(b); // 编译错误，std::string 不是 Incrementable
    return 0;
}

在这个例子中，increment函数接受一个Incrementable类型的参数，复制它，然后打印自增后的值🖨️。在main函数中，我们传递了一个整数给increment函数，这是一个Incrementable类型🎯。如果我们尝试取消注释并传递一个std::string给increment函数，编译器就会报错，因为std::string不是Incrementable类型😵‍💫。