C++中：内联const变量与返回静态const变量的函数，该选哪种？

问题背景 #

在多模块（独立翻译单元编译后链接）的C++代码中，常能看到头文件中声明带链接属性宏的函数：

IMPORTOREXPORT std::string const& foo();
IMPORTOREXPORT std::string const& bar();
IMPORTOREXPORT std::string const& baz();

对应的实现文件（cpp）中是：

std::string const& foo() {
  static std::string const s{"foo"};
  return s;
}
std::string const& bar() {
  static std::string const s{"bar"};
  return s;
}
std::string const& baz() {
  static std::string const s{"baz"};
  return s;
}

其中IMPORTOREXPORT是处理动态库链接属性的宏。

对比C++17起支持的头文件内联变量写法：

inline std::string const foo = "foo";
inline std::string const bar = "bar";
inline std::string const baz = "baz";

需要分析前者相比后者的选择优势，同时先纠正一个错误观点：有说法称内联变量在不同模块中地址不同，但根据C++标准，相关描述翻译如下：

2. 具有外部链接的inline函数或变量（C++17起）（例如未声明为static），具备以下额外特性：
   3. 它在每个翻译单元中的地址都相同。

内联变量的地址一致性是有标准保证的，无需质疑。

函数式方案的选择优势 #

• 延迟初始化：静态局部变量的初始化是在函数首次被调用时进行的，而内联变量会在程序启动的全局初始化阶段完成构造。对于大型程序或构造代价较高的对象，这种延迟可以减少程序启动时间，还能避免从未被使用的常量进行不必要的初始化。
• 规避全局初始化顺序问题：全局（包括内联）变量的初始化顺序在不同翻译单元中是未定义的，如果某个内联变量的构造依赖于其他全局变量，可能触发未定义行为。而函数返回的静态局部变量，初始化发生在函数调用时，此时依赖的其他对象已经完成初始化，彻底解决了这一问题。
• 更好的兼容性：函数式写法兼容C17之前的所有标准，而内联变量是C17才引入的特性。如果代码需要兼容旧编译器或旧标准环境，函数式方案是唯一可行的选择。
• 初始化逻辑更灵活：如果后续需要修改常量的初始化逻辑（比如从配置文件读取、动态计算生成等），函数式方案可以直接在cpp实现文件中修改，无需改动头文件；而内联变量的初始化逻辑必须写在头文件中，修改会导致所有包含该头的翻译单元重新编译。
• 链接属性控制更精准：通过IMPORTOREXPORT宏，可以灵活控制函数是导出（供其他模块使用）还是导入（使用其他模块的实现）。内联变量默认具有外部链接，虽然也能结合链接属性，但函数式的导出/导入逻辑在传统动态库开发中更成熟，也更容易被开发者理解和维护。

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