C语言静态函数绑定异常：跨文件调用为何未触发链接错误？

我在A.c文件中调用func()函数，代码如下：

#include <stdio.h>
#include <stdlib.h>
#include "B.c"

int func(int a, int b);  // 函数声明

int main(){
    system("cls");
    int sum = func(3, 4);
    printf("%d", sum);

    return 0;
} 

在B.c文件中定义func()函数：

int func(int a, int b){  // 函数定义
    int c;
    c = a + b;
    return c;
}

当我将B.c中func()的存储类改为static后，预期应出现以下链接错误：

undefined reference to `func'                               
collect2.exe: error: ld returned 1 exit status.

修改后的B.c代码如下：

static int func(int a, int b){  // 函数定义
    int c;
    c = a + b;
    return c;
}

但实际程序仍能正常输出结果，未触发预期错误。请问为何会出现这种情况？如何实现让static函数仅绑定在定义它的B.c文件内，使A.c调用时触发链接错误？（注：两个文件在同一文件夹下，操作环境为VS Code）

你在A.c中直接使用#include "B.c"，预处理器会将B.c的代码完整插入到A.c中，最终A.c和B.c的代码会被合并成同一个编译单元。此时static修饰的func虽然作用域仅限于当前编译单元，但这个单元已经包含了main函数和func的定义，main对func的调用属于编译单元内部调用，根本不会进入链接阶段的符号查找流程，自然不会触发链接错误。

要实现static函数的作用域隔离，需将两个文件作为独立编译单元处理，步骤如下：

1. 移除A.c中的#include "B.c"：这是避免代码合并的核心操作。
2. 创建头文件B.h：用于声明func函数，保证编译时的类型检查：

#ifndef B_H
#define B_H

int func(int a, int b);

#endif

3. 在A.c中引入头文件：将原#include "B.c"替换为#include "B.h"，获取函数声明。
4. 独立编译并链接两个文件：在VS Code中配置编译任务（如tasks.json），确保同时编译A.c和B.c。例如使用gcc命令：

gcc A.c B.c -o program

完成以上操作后，B.c中的static func仅在自身编译单元内可见，A.c在链接阶段无法找到该外部符号，就会触发你预期的链接错误。

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