编译器和链接动态库过程

是的，如果你不使用 `dlopen` 和 `dlsym` 动态加载库，而是直接调用动态库中的函数，那么链接器在链接阶段会检查这些函数的定义。这意味着在编译和链接阶段，链接器需要找到并解析这些函数，以确保生成的可执行文件在运行时能够正确调用它们。

### 编译和链接动态库的过程

当你直接调用动态库中的函数时，链接器会确保这些函数在链接时存在。如果链接器找不到这些函数的定义，链接过程会失败。

### 示例

假设你有一个动态库 `libexample.so`，它包含一个函数 `example_function`。这个函数的声明在 `example.h` 头文件中。

**example.h**：
```c
// 函数声明
void example_function();
```

**main.c**：
```c
#include <stdio.h>
#include "example.h"  // 包含函数声明

int main() {
    example_function();  // 调用动态库函数
    return 0;
}
```

在编译和链接 `main.c` 时，链接器会检查 `example_function` 是否存在于动态库中。

### 生成和使用动态库

首先，创建动态库：

**plugin.c**（动态库的实现文件）：
```c
#include <stdio.h>
#include "example.h"

// 函数定义
void example_function() {
    printf("Hello from example_function!\n");
}
```

生成动态库：
```sh
gcc -shared -o libexample.so plugin.c
```

### 编译和链接主程序

编译和链接主程序时，需要告诉链接器在哪里可以找到 `libexample.so`，并确保它包含了 `example_function` 的定义：

```sh
gcc -o main main.c -L. -lexample
```

在这条命令中：
- `-L.` 指定链接器在当前目录中查找库文件。
- `-lexample` 告诉链接器要链接 `libexample.so` 动态库。

在链接阶段，链接器会解析所有的函数调用，并确保它们存在于指定的库中。如果找不到 `example_function`，链接器会报错。

### 运行时

生成的可执行文件 `main` 依赖于 `libexample.so` 在运行时存在。当你运行 `main` 时，动态链接器会在运行时加载 `libexample.so` 并解析 `example_function` 的定义。

```sh
./main
```

如果 `libexample.so` 在运行时不可用或路径不正确，程序会在运行时失败。

### 总结

- **使用 `dlopen` 和 `dlsym`**：
  - 编译和链接阶段：编译器和链接器不检查动态库文件，只需要头文件来解析函数声明。
  - 运行时：程序动态加载库并解析符号。

- **直接调用动态库函数**：
  - 编译和链接阶段：编译器和链接器检查动态库文件，确保所有被调用的函数在库中定义。
  - 运行时：动态链接器加载库并解析符号。

如果你不使用 `dlopen` 和 `dlsym`，而是直接调用动态库中的函数，链接器会在链接阶段检查这些函数的定义，确保它们存在于链接的动态库中。这样可以在编译和链接阶段发现缺失的符号，而不是在运行时发现。