程序启动自动执行代码置于头文件是否违反ODR？inline能否阻止违规？

嘿，咱们先拆解你的代码和问题——这个借助模板+inline static变量实现main前自动执行代码的思路挺巧妙的！下面针对你的三个问题逐一解答：

首先贴出你的代码方便参考：

#include <iostream>
//-----
template <void(*init_function)()>
class execute_at_start {
struct dummy final {};
~execute_at_start() = delete;
inline static dummy execute_() {
init_function();
return dummy{};
}
inline static dummy auto_init_ = execute_();
};
//-----
inline void echo(){ std::cout << "echo" << std::endl; }
template class execute_at_start<&echo>;
int main() {
std::cout << "EXIT SUCCESS" << std::endl;
return EXIT_SUCCESS;
}

问题1：将main()之前的代码放入头文件是否违反ODR？ #

答案是：如果直接把所有代码（包括显式实例化语句）放进头文件并被多个.cpp文件包含，会违反ODR，问题出在这句显式实例化：template class execute_at_start<&echo>;。

具体细节：

• 模板类execute_at_start的定义本身完全可以放在头文件，模板的设计就是要在使用点可见，这完全符合ODR规则。
• inline void echo()也是安全的：C++标准允许inline函数在多个翻译单元中有完全一致的定义，编译器会自动合并为单一实体。
• 但非extern的显式实例化属于定义性声明，如果把它放进头文件，每个包含该头文件的.cpp都会生成execute_at_start<&echo>的完整特化定义。而ODR要求同一个模板特化在整个程序中只能有一个定义，这就违反了规则。

如果只把模板类和echo函数放进头文件，把显式实例化语句只放在一个.cpp文件里，那完全不会违反ODR。

问题2：inline函数和变量能否阻止这种违规情况？ #

你的代码已经用到了inline，但它只能解决部分问题，无法解决显式实例化带来的ODR违规：

• inline函数（比如echo）：没问题，多个翻译单元的一致定义是ODR允许的。
• inline static成员（execute_和auto_init_）：C++17及以后，inline static变量允许多个翻译单元有相同定义，编译器会合并成单一实体。所以如果模板是被隐式实例化的，即使多个翻译单元用到它，auto_init_也只会初始化一次。
• 但显式实例化的规则不受inline属性约束：非extern的显式实例化是定义，多个翻译单元的定义会直接违反ODR，inline救不了这个。

如果想把所有代码安全放进头文件，有两个方案：

1. 去掉显式实例化语句，让模板在需要的地方隐式实例化——借助inline static变量的合并规则，即使多个翻译单元用到特化，也只会触发一次初始化。
2. 保留显式实例化，但改成extern template class execute_at_start<&echo>;（声明）放在头文件，然后在一个.cpp文件里写template class execute_at_start<&echo>;（定义）。

问题3：若ODR被违反，是否会出现该函数被调用两次的情况？ #

是的，实际中很可能会出现echo()被多次调用的情况，但严格来说这属于“未定义行为”——标准不保证具体结果，一切皆有可能。

原因是：如果多个翻译单元都有execute_at_start<&echo>的显式实例化，编译器可能无法正确合并各个翻译单元里的auto_init_（因为ODR违反导致编译器的合并逻辑失效），每个翻译单元的auto_init_都会触发初始化，进而多次调用execute_()和echo()。当然，某些编译器的优化可能会让它只调用一次，但你绝对不能依赖这种情况——未定义行为的结果是不可预测的。

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