编译器是否可以在常量数据中存储函数作用域的非静态常量数组，并避免每次调用初始化？

Question

在阅读二进制文件（C/C）中如何存储字符数组/字符串时？，我在考虑原始字符串，“Nancy”，以各种方式在生成的二进制文件中完整地显示出来。该帖子的案例是：

int main()
{
    char temp[6] = "Nancy";
    printf("%s", temp);

    return 0;
}

显然，在一般情况下（编译器无法确认temp是否未发生突变），它必须实际初始化堆栈本地数组，以允许将来发生突变；数组本身必须分配空间（在堆栈上，或者可能使用寄存器来实现真正奇怪的体系结构），并且必须在每次调用函数时填充它（假设这不是main，它在C中只调用一次，通常在C中只调用一次），以避免重入问题等。它是将初始化硬编码到程序集中，还是从程序的常量数据部分执行memcpy，都无关紧要；每次调用都必须初始化某些内容。

相比之下，如果char temp[6]=“Nancy” 已替换为以下任一项：

1. const char*temp=“Nancy”
2. char*temp=“Nancy”（仅限C；在C中，文本是const char[]，但实际上它们在C中也不可变）
3. static const char temp[6]=“Nancy”
4. 静态字符温度[6]=“Nancy”

然后，程序不需要为每个调用分配任何基于数组长度的资源（在#1的情况下仅分配一个指针变量）

我的问题是：标准是否为const char temp[6]="Nancy"；提供了与静态const char temp[6]="Nancy"；行为等价的回旋余地？两者都是不可变的，修改它们是违反规则的。我所知道的唯一区别是：

1. 如果没有静态，您会期望数组的地址与其他本地地址进行主机定位，而不是在程序内存的其他部分（可能会影响缓存性能）
2. 如果没有静态，从技术上讲，变量在每次调用中都被创建和销毁

根据标准，我没有看到任何明显违反可观察行为的行为：

• 除了未定义的行为，例如返回指向temp的指针，在没有保证的情况下，你不能观察数组的存在和停止
• 您不能合法地计算不相关变量的ptrdiff_t（仅在给定数组内，加上超过该数组末端虚拟元素的变量）

因此，我认为编译器可以在这种情况下安全地“将视为静态的”，就像使用规则一样；没有办法观察差异，所以它可以做任何感觉最好的事情。

在C或C标准要求对const进行某种每次调用初始化，但不要求对静态函数作用域数组进行初始化的情况下，我缺少什么吗？如果C和C标准不一致，我也想知道。

编辑：正如Barmar在常量中指出的，有标准合法的方法来检测特定编译器中的这种行为，例如：

int myfunc() {
    const char temp[6] = "Nancy";
    const char temp2[6] = "Nancy";
    return temp == temp2;  // true if compiler implicitly made them static or combined them, false if not
}

或者：

int otherfunc(const char *s) {
    const char temp[6] = "Nancy";
    return s == temp;
}

int myfunc() {
    const char temp[6] = "Nancy";
    return otherfunc(temp); // true if compiler implicitly made them shared statics, false if not
}




Answer 1

试试costexpr关键字：

constexpr auto& compile="Nancy";

甚至可以在C 20中使用compile作为非类型模板参数。