为什么在内联函数中调用的函数不需要定义？

Question

考虑以下示例：

extern void not_defined();

void f() {
    not_defined();
}

int main() {}

如果我要编译并链接上述程序，则会获得链接器错误undefined引用到not_defined（）。 https://godbolt.org/z/jpzsck7ja ）

（ 代码> not_defined 。

但是，如果我制作f（） inline函数，则程序正确编译和链接（ https://godbolt.org/z/qeeob9ann ）：

extern void not_defined();

// inline is added here
inline void f() {
    not_defined();
}

int main() {}

这也适用于成员函数的内联定义（因为它们也是内联的？） xce3neofw“ rel =” nofollow noreferrer”> https://godbolt.org/z/xce3neofw

extern void not_defined();

struct C {
    void f_member() { 
        not_defined(); 
    }
    
    void recurse() { 
        f_member(); 
    };
};

inline void f_free_inline() {
    not_defined();
}

// void f_free() {
//     not_defined();
// }

int main() {
    C c;
    // f_free_inline();
}

）在main（）中，它不再有效。由于recurse调用f_member和f_member调用not_defined（）。

所以我的问题是，导致这可能的内联函数有什么特别之处？

编辑：

如果内联函数在模块的范围内（即使未导出），则此技巧停止工作：

export module mod_interface;

extern void not_defined();

export inline void f_module() {
  not_defined();
}

以上会导致not_defined 。

这很可悲，因为我正在将图书馆移植到模块上，并突然得到了很多不确定的参考文献。其中一些功能包裹在内联函数中。

Answer 1

标准不仅是编译器行为的设定要求。这也是对程序员行为的一系列要求。

GCC的链接器如果函数x（） odr使用了丢失的符号y是inline或static代码>函数，因为如果它具有本地链接并且可以忽略不计，则不可能从外部模块中调用它们。

但是瞧！忽略了您能够编译和运行此程序的事实，根据标准，您的程序形成不佳。只有在Inline函数x（）链接器中，只要在任何编译单元中找到对Inline X（）的引用后，链接器才能将其优化。

如果不是内联功能，它将一直持续到链接的最后阶段，而丢失的名称将通过模块查找。编译器的实现使其在排除未使用x（）之前将进行搜索。其他一些编译器的行为可能会有所不同。

这就是为什么它是“不良”代码，但“不需要诊断”。通过某些实现，可以进行诊断。有些实现将诊断出这两种情况是错误，而有些则无法检测到您的欺骗。某些实现只有在您拥有多个编译单元时才能检测到问题。