该C++程序是否违反单定义规则（ODR）？若违反请指明违反部分

问题代码 #

a.h #

#include<iostream>
constexpr auto f() {
    int i = 0;
    auto l1 = [](int& j) { return ++j; };
    auto l2 = [](int& j) { return j*=2; };
    return l1(i) + l2(i);
}
template<auto V> struct constant {};
inline auto g() {
    constexpr auto x = f();
    std::ios_base::Init init; // 避免可能的初始化顺序问题
    std::cout << x;
    return constant<x>{};
}
static auto x = g();
inline auto y = g();

a.cpp #

#include "a.h"

main.cpp #

#include "a.h"
int main() { }

问题描述 #

将a.cpp和main.cpp作为翻译单元编译时，我认为g()的定义存在ODR违规，因为f()的求值结果可能为1或3，这会改变g()的返回类型以及输出到std::cout的内容。但在每个包含a.h的翻译单元中，g()定义中的所有名称经名称查找和重载解析后都指向相同实体，因此我不清楚违反了哪条ODR要求。请问该程序是否违反单定义规则？若违反，具体违反了哪一部分？

解答 #

这个程序确实违反了单定义规则（ODR），具体原因如下：

1. f()的求值结果存在未指定行为 #

f()是constexpr函数，但它的返回值依赖于l1(i)和l2(i)的调用顺序。根据C++标准，表达式l1(i) + l2(i)中两个函数调用的执行顺序是未指定行为：

• 若先调用l1(i)：i从0变为1，返回1；接着调用l2(i)，i变为2，返回2，最终结果为1+2=3
• 若先调用l2(i)：i保持0（0*2=0），返回0；接着调用l1(i)，i变为1，返回1，最终结果为0+1=1

在constexpr求值语境下，编译器可以选择任意一种顺序，这意味着不同翻译单元（比如a.cpp和main.cpp）中，f()的求值结果可能完全不同。

2. 违反内联函数的ODR要求 #

对于inline函数g()，C++标准的ODR有两个核心要求：

• 所有翻译单元中的g()定义必须语义等价：不仅代码令牌完全一致，其中的常量表达式求值结果也必须在所有翻译单元中相同。
• 内联函数的所有实例必须表现出完全相同的行为，包括返回类型和运行时副作用。

而你的程序中：

• 如果a.cpp中f()求值得到3，g()会返回constant<3>{}，并向std::cout输出3；
• 如果main.cpp中f()求值得到1，g()会返回constant<1>{}，并向std::cout输出1。

这导致两个翻译单元中的g()定义本质上是不同的：返回类型不同，执行的副作用也不同。这种情况直接违反了ODR中关于内联函数必须在所有翻译单元中保持一致定义和行为的要求。

3. 关于“名称查找指向相同实体”的补充 #

你提到每个翻译单元中名称查找都指向相同实体，这一点是对的，但ODR的要求不止于此——它还要求内联函数的语义一致性，包括常量表达式的求值结果必须统一。只要不同翻译单元中函数的行为或返回类型可能存在差异，就构成了ODR违规。

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