静态非成员函数与非静态非成员函数的差异及链接性疑问

先看你给出的两个函数代码：

static void
function1() {
    std::cout << "Test" << std::endl;
}

void
function2() {
    std::cout << "Test" << std::endl;
}

你提到的内部链接（Internal linkage）和外部链接（External linkage）的定义是准确的，但实际差异主要体现在跨文件的可访问性和同名函数的兼容性上，同时你对“包含文件”的理解存在误区，下面逐一说明：

一、核心差异：跨翻译单元的可见性 #

• 普通全局函数（function2）：拥有外部链接，它的定义会被链接器视为全局可见的实体。只要在其他翻译单元（比如另一个.cpp文件）中提供该函数的声明（比如通过头文件包含，或者手动写void function2();），编译通过后，链接器就能找到该函数的定义，将调用与定义关联起来，最终生成可执行文件。
• static全局函数（function1）：拥有内部链接，它的定义仅属于当前翻译单元（即定义它的.cpp文件），链接器不会将其暴露给其他翻译单元。哪怕你在其他文件中声明了该函数，链接阶段也会报未定义引用错误，因为链接器找不到对应的定义实体。

二、同名函数的冲突问题 #

• 若多个翻译单元中都定义了同名的static函数（比如两个.cpp文件都有static void function1()），编译器和链接器不会报错——每个static函数都是各自翻译单元内的独立实体，彼此互不影响。
• 但若多个翻译单元中定义了同名的普通全局函数，链接器会直接报多重定义错误——因为外部链接的同名函数会被链接器视为同一个实体，多个定义会产生冲突。

三、关于“包含文件”的误区 #

你认为“无论函数是否为static，其他文件使用都必须包含所在文件”，这是把编译阶段的声明需求和链接阶段的可见性控制混为一谈了：

• 包含头文件（或手动写声明）是为了让编译器知道函数的签名（名称、参数、返回值），保证编译时不会报“未声明的标识符”错误，这和函数的链接属性无关。
• 但链接属性决定了链接器能否找到函数的定义：对于function2，包含声明后链接器能找到定义；对于function1，哪怕包含了声明，链接器也找不到属于当前翻译单元的function1定义，最终报错。

你引用的定义准确描述了链接属性的本质：

Internal linkage：名称可在当前翻译单元的所有作用域中被引用。
External linkage：名称可在其他翻译单元的作用域中被引用。

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