在C中，什么构成“未定义的引用”？到一个符号？

Question

我正在阅读有关 GCC 链接器的 --wrap 选项的 GNU 文档，该选项可用于模拟函数进行测试。

https://ftp.gnu.org/ old-gnu/Manuals/ld-2.9.1/html_node/ld_3.html 表示以下内容：

--换行符号

对符号使用包装函数。任何未定义的符号引用都将解析为 __wrap_symbol。对 __real_symbol 的任何未定义引用都将解析为符号。这可用于为系统功能提供包装器。包装函数应称为 __wrap_symbol。如果它想调用系统函数，它应该调用__real_symbol。

我注意到它说任何对符号的未定义引用都将解析为 __wrap_symbol，但它没有说明对符号的未定义引用到底意味着什么。有谁具体知道什么是未定义？

我很困惑，因为我创建了一个成功模拟 read 函数的示例程序（它是用 gcc test.c -o test -Wl,--wrap=read 编译的启用模拟）。为什么链接器认为这个符号未定义？我包含了 unistd.h，所以不应该定义 read 吗？我认为文档说 --wrap 仅适用于未定义的符号？

#include <stdio.h>
#include <string.h>
#include <unistd.h>

#define DUMMY_STR "I don't care because this function is mocked."
#define DUMMY_LEN (strlen(DUMMY_STR))

ssize_t __wrap_read(int fd, void *buf, size_t count)
{
   sprintf(buf, DUMMY_STR);
   return DUMMY_LEN;
}

int main()
{
   char buf[128] = {'\0'};
   puts("Press anything, then ENTER, to continue");
   read(1, buf, sizeof(buf) - 1);
   puts(buf);
   return 0;
}

Answer 1

包含头文件只是声明符号，它不会定义它们——它们在 test.c 编译单元中将是未定义，因为它从来没有定义过它们。

读取符号实际上是在 libc.so（C 标准库）中定义的，但是在链接程序时，它首先会看到您的编译单元 (test.o)，此时读取仍然是 未定义。因此，对 read 的引用被映射到 __wrap_read。

定义和声明是两个不同的东西。相关，但又不同。