块范围标识符与静态存储持续时间的联系是什么？

Question

我相信答案是没有链接，因为标准只保证具有静态存储持续时间的文件范围标识符具有内部链接。但是，似乎递归调用具有静态存储持续时间的标识符的函数不会为局部变量强加额外的内存。换句话说，在递归过程的任何阶段，标识符总是表示同一个对象，这很奇怪，因为它没有链接。这是为什么呢？

void recursive(void) {
    static int a;
    printf("%d", &a);   // it repeatedly spits out the same address.
    recursive();
}

Answer 1

局部静态变量没有链接（或者更准确地说，它们的链接是none）。来自 N1570（C11 草案）6.2.2 标识符的链接（强调我的）：

6) 以下标识符没有链接：声明为的标识符 不是对象或函数；声明的标识符 成为函数参数；对象的块范围标识符 声明时没有存储类说明符 extern。

但是static 说明符强制要求此类变量具有静态存储持续时间，这是一种不同的东西。您指的是对象的生命周期。此类变量表示对象，它们具有整个程序执行的生命周期，并且在概念上在程序实际启动之前初始化一次。

6.2.4 对象的存储时长：

2) 对象的生命周期是程序执行期间的一部分 保证为它保留哪些存储空间。对象存在， 有一个固定地址，³³⁾并保留其最后存储的值 ³⁴⁾ 如果一个对象在其外部被引用 生命周期，行为未定义。指针的值变为 不确定它指向（或刚刚过去）的对象何时到达 生命周期结束。

3) 一个对象，其标识符被声明为没有存储类 说明符 _Thread_local，以及具有外部或内部链接或存储类说明符 static，具有静态存储持续时间。它的 生命周期是程序的整个执行过程及其存储的值 在程序启动之前只初始化一次。