C++中未定义未使用函数为何可编译运行？含inline场景解析

场景1：未调用的类成员函数引用未定义函数，代码可编译运行 #

代码示例 #

void print(int x);

struct A {
    void print_in_A() {
        print(1);
    }
};

int main()
{
    A a;
    return 0;
}

原因解析 #

这是C++ **ODR（单定义规则）的作用：只有当函数被odr-used（实际使用）**时，编译器才会要求它的定义存在。
这里A::print_in_A()虽然在函数体内调用了未定义的print()，但整个程序中从来没有调用过print_in_A()——main函数只是创建了A对象，并未触发该成员函数的执行。因此print_in_A()属于未被odr-used的状态，编译器不会为它生成目标代码，自然也不会去检查print()的定义是否存在，最终代码可以正常编译运行。

场景2：inline与非inline函数引用未定义函数的编译差异 #

带inline的可编译代码 #

void print(int x);

inline void print_int(int a) {
    print(a);
}

int main()
{
    return 0;
}

移除inline后的编译失败代码 #

void print(int x);

void print_int(int a) {
    print(a);
}

int main()
{
    return 0;
}

原因解析 #

• 非inline普通函数：一旦你在代码中定义了这类函数，编译器默认会认为它会被odr-used，会尝试为它生成目标代码。此时函数体内调用了只有声明、没有定义的print()，链接阶段会因找不到print()的实现而报错。
• inline函数：C++标准明确规定，inline函数仅在被odr-used时才需要其定义。由于main函数并未调用print_int()，这个inline函数未被实际使用，编译器不会为它生成代码，也就不会触发对print()定义的检查，因此代码能正常通过编译链接。

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