内联constexpr指针变量是否保证跨翻译单元的字符串字面量地址唯一？

代码场景回顾 #

头文件中的内联变量定义：

inline constexpr const char16_t* const test_string = u"Test";

翻译单元1的映射与查找函数：

static const std::unordered_map<const char16_t*, int> map = {
    { test_string, 1 }
};

bool lookup(const char16_t* key) {
    return map.find(key) != map.end();
}

翻译单元2的调用：

bool found = lookup(test_string);

核心问题解答 #

1. 标准是否保证lookup(test_string)必须返回true？ #

是，标准强制保证该调用返回true。

原因在于：

• test_string是inline变量，C++标准明确规定，所有翻译单元中的inline变量是同一个实体，其存储的数值（此处为指向字符串字面量的指针）必须在所有翻译单元中完全一致。
• 虽然标准允许编译器为不同翻译单元中的相同字符串字面量创建独立对象，但test_string作为单一实体的inline变量，其初始化结果必须唯一。编译器必须确保所有翻译单元中test_string存储的指针指向同一个字符串实例（要么合并所有u"Test"字面量为同一对象，要么让inline变量统一指向其中一个实例）。

2. 是否存在符合标准的场景导致不同翻译单元观察到不同的指针值？ #

不存在。

inline变量的核心特性就是跨翻译单元的实体唯一性，其初始化后的数值必须全局一致。任何符合标准的编译器都不能让不同翻译单元中的test_string持有不同的指针值，否则就违反了inline变量的定义规则。

3. ODR-use在该问题中是否起作用？ #

ODR（单一定义规则）在这里起到关键约束作用：

• test_string被用作std::unordered_map的键值，以及作为函数参数传递，这些操作都属于ODR-use——即需要该变量有一个唯一的定义。
• 对于inline变量，ODR允许其在多个翻译单元中出现定义，但要求所有定义完全相同。这一规则确保了test_string作为单一实体存在，其数值全局一致，正是ODR的约束保证了跨翻译单元的指针值统一。

内容的提问来源于stack exchange，提问作者Christian Ammer