为何类定义两种写法的编译链接结果不同？

代码文件 #

main.cpp #

class A{
    public:
        int value;
        A(int);
};

#include <iostream>
using namespace std;

int main(int argc, char **argv)
{ 
    A a{7};
    cout<<"a.value="<<a.value<<endl;
    return 0;
}

classA.cpp（链接失败的写法） #

class A{
    public: 
        int value;
        A(int x):value{x}{};
};

//A::A(int x):value{x}{}

classA.cpp（链接成功的写法） #

class A{
    public: 
        int value;
        A(int x); // 仅声明构造函数
};

A::A(int x):value{x}{} // 类外定义构造函数

原因解释 #

核心差异源于C++的内联函数规则：

1. 类内定义的成员函数默认是inline（内联）函数
   inline函数的设计目标是让编译器在调用点直接展开代码，避免函数调用开销。编译器处理inline函数的逻辑是：如果当前编译单元（classA.cpp）内没有任何代码调用该inline函数，就不会生成该函数的独立目标代码——因为当前单元用不到，生成了也是冗余。
   所以在第一种写法里，classA.cpp编译出的目标文件中完全没有A::A(int)的函数体符号，链接时main.cpp里的构造函数调用找不到对应实现，就会报错，且classA.o因无对外可见的可链接符号，看起来“为空”。

2. 类外定义的成员函数默认非inline
   类外定义的成员函数属于普通的外部链接函数，编译器会强制生成它的独立目标代码和符号，不管当前编译单元是否调用它——因为它是对外暴露的，其他编译单元（比如main.cpp）可能会依赖它。
   第二种写法中，classA.o里会包含A::A(int)的完整函数体，链接时main.cpp能找到对应的符号，因此可以顺利完成链接。

补充：即使是类内定义的inline函数，编译器也不是绝对不会生成独立符号，但只有当当前单元有调用，或编译器判断需要生成独立版本时才会处理。但你的场景里classA.cpp完全没有调用构造函数，所以编译器直接跳过了生成步骤。

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