C语言返回空字符串的最佳实践：内存优化与避免重复实例

现有两个C函数，均需要返回空字符串，希望通过最佳实践节省内存，避免空字符串的重复实例。原代码如下：

const char* function_one() {
    return "";
}
const char* function_two() {
    return "";
}
int main() {
    printf("One: %s\n", function_one());
    printf("Two: %s\n", function_two());
}

请问以下优化写法是否正确？

const char* empty = "";
const char* function_one() {
    return empty;
}
const char* function_two() {
    return empty;
}
int main() {
    printf("One: %s\n", function_one());
    printf("Two: %s\n", function_two());
}

解答 #

这种优化写法是正确且符合内存优化最佳实践的，原因如下：

1. 编译器行为的不确定性：C标准并没有强制要求编译器合并相同的字符串字面量。虽然很多主流编译器会开启字符串池优化，自动把多个""合并为同一个内存实例，但这是可选行为——如果编译选项或编译器不同，两个""可能会被分配到不同的内存地址，造成不必要的内存冗余。
2. 强制共享实例：显式定义全局的const char* empty并指向""，让两个函数统一返回这个指针，就能强制保证整个程序中只有一份空字符串的内存实例，彻底消除了重复存储的可能性，不受编译器优化选项的影响。
3. 安全性与规范：const修饰符确保该空字符串不会被意外修改，符合只读数据的编码规范，避免了潜在的内存修改风险。

补充：这个全局的空字符串会被存储在程序的只读数据段，内存占用极小（仅1字节的'\0'），且在程序整个生命周期内只会存在一份，完全达到了节省内存的目的。

内容的提问来源于stack exchange，提问作者Albert Shown