C auto 关键字用在哪里？

Question

在大学时代，我读到过 auto 关键字，但随着时间的推移，我实际上忘记了它是什么。它定义为：

将局部变量定义为具有 本地生命周期

我从未发现它在任何地方使用，它是否真的使用过，如果是的话那么它在哪里使用以及在什么情况下使用？

Answer 1

如果您阅读了IAQ（常见问题）列表，您会知道 auto 主要用于定义或声明车辆：

auto my_car;

始终停在户外的车辆：

extern auto my_car;

对于那些缺乏幽默感并想要“只是事实女士”的人：简短的答案是，永远没有任何理由使用完全自动。唯一允许您使用 auto 的情况是对于已经具有 auto 存储类的变量，因此您只需指定无论如何都会发生的事情。尝试对任何尚未具有 auto 存储类的变量使用 auto 将导致编译器拒绝您的代码。我想如果您想获得技术知识，您的实现不必是编译器（但它是），并且理论上它可以在发出诊断后继续编译代码（但它不会）。

kaz 的小附录：

还有：

static auto my_car;

需要根据 ISO C 进行诊断。这是正确的，因为它声明车坏了。诊断是免费的，但关闭仪表板灯将花费您八十美元。 （如果您从 eBay 购买自己的用于车载诊断的 USB 加密狗，则为 20 个或更少）。

前面提到的 extern auto my_car 也需要诊断，因此，除了负责停车执法的城市工作人员之外，它永远不会通过编译器运行。

如果您在任何代码库中看到大量 extern static auto ...，那么您就处于一个糟糕的环境中；在整个地方都转向 Rust 之前，立即寻找更好的工作。

Answer 2

auto 是一个类似于 static 的修饰符。它定义了变量的存储类别。但是，由于局部变量的默认值为 auto，因此您通常不需要手动指定它。

本页列出了 C 中的不同存储类。

Answer 3

auto 关键字在 C 语言中没有用处。之所以存在，是因为在 C 语言之前就存在 B 语言，其中该关键字对于声明局部变量是必需的。 （B发展成了NB，又变成了C）。

这是B 的参考手册。

正如您所看到的，该手册充满了使用 auto 的示例。之所以如此，是因为没有 int 关键字。需要某种关键字来表示“这是变量的声明”，并且该关键字还指示它是本地变量还是外部变量（auto 与 extrn）。如果您不使用其中之一，就会出现语法错误。也就是说，x, y; 本身不是声明，但 auto x, y; 是。

由于随着语言的开发，用 B 编写的代码库必须移植到 NB 和 C，因此该语言的较新版本带有一些改进向后兼容性的包袱，从而减少了工作量。对于 auto 来说，程序员不必查找所有出现的 auto 并将其删除。

从手册中可以明显看出，现在 C 中已经过时的“隐式 int”（能够在前面不使用任何 int 的情况下编写 main() { ... } ）也很糟糕来自 B。这是支持 B 代码的另一个向后兼容功能。函数没有在 B 中指定返回类型，因为没有类型。一切都是一个词，就像许多汇编语言一样。

请注意如何将函数声明为 extrn putchar，然后使其成为标识符使用的函数的唯一因素：它在像 这样的函数调用表达式中使用putchar(x)，这就是告诉编译器将该无类型字视为函数指针的原因。

Answer 4

在 C 中，auto 是一个关键字，表示变量是块的局部变量。由于这是块作用域变量的默认设置，因此它是不必要的并且很少使用（我认为我从未见过它在讨论关键字的文本中的示例之外使用）。如果有人能指出需要使用 auto 才能获得正确的解析或行为的情况，我很感兴趣。

然而，在 C++11 标准中，auto 关键字已被“劫持”以支持类型推断，其中变量的类型可以从其初始值设定项的类型中获取：

auto someVariable = 1.5;   // someVariable will have type double

正在添加类型推断主要是为了支持在模板中声明变量或从模板函数返回的变量，其中基于模板参数（或在实例化模板时由编译器推导）的类型通常手动声明会非常痛苦。

Answer 5

使用旧的 Aztec C 编译器，可以使用命令行开关将所有自动变量转换为静态变量（以提高寻址速度）。

但在这种情况下，使用 auto 显式声明的变量将保持原样。 （递归函数必须使用，否则将无法正常工作！）

Answer 6

auto 关键字类似于 Python 中分号的包含，这是以前的语言所必需的 (B），但开发人员意识到这是多余的，因为大多数事情都是auto。

我怀疑它是为了帮助从 B 到 C 的过渡而保留的。简而言之，一种用途是 B 语言兼容性。

例如 B 和 80 年代 C：

/* The following function will print a non-negative number, n, to
   the base b, where 2<=b<=10.  This routine uses the fact that
   in the ASCII character set, the digits 0 to 9 have sequential
   code values.  */

printn(n, b) {
        extern putchar;
        auto a;

        if (a = n / b)        /* assignment, not test for equality */
                printn(a, b); /* recursive */
        putchar(n % b + '0');
}

Answer 7

auto 只能用于块作用域变量。 extern auto int 是垃圾，因为编译器无法确定它是否使用外部定义或是否使用 auto 定义覆盖 extern（而且 auto 和 extern 是完全不同的存储持续时间，例如 static auto int，这显然也是垃圾）。它总是可以选择以一种方式解释它，而是选择将其视为错误。

auto 确实提供了一项功能，即在函数内启用“一切都是 int”规则。与函数外部不同，在函数外部，a=3 被解释为定义 int a =3，因为文件范围内不存在赋值，a=3< /code> 是函数内部的错误，因为显然编译器总是将其解释为对外部变量的赋值而不是定义（即使函数或中没有 extern int a 前向声明）文件范围），但像 static、const、volatile 或 auto 这样的说明符会暗示它是一个定义，编译器将其视为定义，但 auto 没有其他说明符的副作用。因此，auto a=3 隐式为 auto int a = 3。诚然，signed a = 3 具有相同的效果，unsigned a = 3 始终是一个无符号 int。

另请注意，“auto”对于是否将对象分配到寄存器没有影响（除非某些特定编译器注意到它，但这似乎不太可能）”

Answer 8

Auto 关键字是一个存储类（决定变量和存储位置的生命周期的某种技术）示例。它具有这样的行为：该关键字的帮助创建的变量的生命周期（lifetime）仅驻留在花括号内

{
    auto int x=8;        
    printf("%d",x);  // here x is 8

    { 
        auto int x=3;
        printf("%d",x);  // here x is 3
    }              

    printf("%d",x);  // here x is 8
}          

Answer 9

-std=iso9899:2024（你称之为C23）答案

对象定义的类型推断 — 作者：JeanHeyd Meneide — 项目编辑器以及C 和 C++ ISO/IEC 兼容性研究小组主席编程语言，C 工作组：

如果您曾经使用过 来自 GCC 的 __auto_type：就是这样，名称为 auto。我这样描述它是因为它明显不像 C++ 的 auto 功能：它明显较弱且受到更多限制。

虽然 C++ 的 auto 允许您在同一行声明多个变量，甚至可以用它推导部分限定符/类型……，auto 的 C 版本的建模非常直接在 __auto_type 的较弱版本之后。您一次只能声明一个变量。没有指针捕获。等等，等等。

那些日子回答

专家 C 编程 — Peter van der Linden — 1994 年：

除了类型系统之外，许多其他功能都被放入 C 中，以方便 C 编译器编写者……：

永远不需要存储类说明符auto。它仅对在符号表中创建条目的编译器编写者有意义 - 它表示此存储在进入块时自动分配（与编译时的全局静态分配或编译时的动态分配相反）堆）。 auto 与其他程序员无关，因为它只能在函数内部使用，但函数中的数据声明默认具有此属性。

堆栈为函数内声明的局部变量提供存储区域。这些在 C 术语中称为“自动变量”。

---

另请参阅 https://en.cppreference.com/w/c/keyword/auto< /a>.

---

新黑客词典，第三版。 — 埃里克·S·雷蒙德 — 1996 年：

语言律师的特点是能够向您展示散布在 200 多页手册中的五个句子，这些句子共同暗示了您问题的答案“只要您想到看那里” ”。

Answer 10

我相信您熟悉 C 中的存储类说明符，它们是“extern”、“static”、“register”和“auto”。
“auto”的定义几乎在其他答案中给出，但这里是“auto”关键字的可能用法，我不确定，但我认为它依赖于编译器。
您会看到，关于存储类说明符，有一个规则。我们不能对一个变量使用多个存储类说明符。这就是为什么静态全局变量不能被外部化的原因。因此，只有他们的档案才知道他们。
当您进入编译器设置时，您可以启用优化标志以提高速度。编译器优化的方法之一是，它查找没有存储类说明符的变量，然后根据高速缓存的可用性和其他一些因素进行评估，以确定是否应该使用寄存器说​​明符来处理该变量。现在，如果我们想优化代码以提高速度，同时知道程序中的特定变量不是很重要并且我们不希望编译器将其视为寄存器，该怎么办？不过，通过输入 auto，编译器将无法将寄存器说明符添加到变量，因为输入“register auto int a;”或“自动注册 int a;”引发使用多个存储类说明符的错误。
综上所述，我认为auto可以通过优化来禁止编译器将变量视为寄存器。

这个理论不适用于 GCC 编译器，但我没有尝试过其他编译器。