C++中编译与链接对多文件constexpr声明的影响探究

一、理解《Effective Modern C++》中的“翻译阶段” #

先明确书中这段表述的核心：

从概念上讲，constexpr表示不仅是常量，且在编译期间可知的值。从技术上讲，它们的值在翻译阶段确定，而翻译不仅包括编译，还包括链接。不过除非你编写C++编译器或链接器，否则这对你没有影响，你可以放心地认为constexpr对象的值是在编译期间确定的。

这里的翻译阶段是C++标准定义的完整程序构建流程，包含预处理、编译、汇编、链接等步骤。但对普通开发者来说，关键结论是：常量表达式的求值必须在单个翻译单元的编译阶段完成——链接阶段仅负责合并编译好的目标文件、解析符号地址，不会重新计算常量表达式。书中的“翻译阶段确定”是从标准底层逻辑出发的表述，实际开发中不用纠结链接环节的细节。

二、你的代码编译失败的原因 #

看你的跨文件代码：

• source.cpp中定义了constexpr函数func()，依赖同文件的constexpr变量c
• main.cpp仅对func()做前向声明，未包含其定义

编译main.cpp这个翻译单元时，编译器只能看到func()的声明，看不到具体实现。而constexpr变量s和l要求初始化值是常量表达式——常量表达式的求值必须在编译当前翻译单元时完成，编译器需要拿到func()的完整定义，才能计算出它的返回值，进而确定s和l的具体数值。

因为编译main.cpp时无法获取func()的定义，编译器无法验证初始化是否符合常量表达式要求，因此报错。而将所有代码合并到一个文件时，编译器能看到完整的函数定义，自然可以完成编译期求值。

三、constexpr实体的核心可见性规则 #

• 要在常量表达式中调用constexpr函数，编译器必须在调用点看到函数的完整定义，而非仅声明
• 同理，constexpr变量要被用作常量表达式，也必须在使用点可见其完整定义（C++17及以后的inline constexpr变量支持跨文件可见）

四、修复方案 #

你可以通过以下两种方式解决问题：

1. 将constexpr实体移入头文件：
   创建头文件constexpr_defs.hpp：

   #pragma once
   #include <string_view>
   
   constexpr std::string_view c = "Hello world";
   
   constexpr std::string_view func()
   {
       return c;
   }
   

   在source.cpp和main.cpp中都包含该头文件，确保编译main.cpp时编译器能获取func()的完整定义。

2. 合并到单个翻译单元：即你已经验证过的方式，把所有代码放在同一个.cpp文件中。

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