c中同一函数的两个声明

Question

我在测试中遇到了这个问题，但我仍然不明白给出的答案：

假设我写了以下代码：

#include <math.h>
#include <stdio.h>

float cos(float x){
    return 1-x*x/4;
}

int main()
{
    printf("%0f",cos(0.05f)+sin(0.05f));
}

假设cos 和sin 在数学库中声明和定义（接收和返回double），我正在尝试将我的代码与数学库链接。

另一个假设是cos 是在math.c 中定义的。

问题是：

"代码会编译/链接成功吗？如果是，是哪个cos函数 会被调用吗？”

答案是：

“是的，代码会编译，我的cos会被调用”。

如何解释这种行为？这不是同一个函数的多个定义吗？

Answer 1

您的老师可能犯了一个错误并打算使用double cos(double x)。在这种情况下，许多 C 实现将接受该程序，并且它将链接并运行，因为链接器从它提供的对象模块中获取 每个 模块，但只获取 需要的它提供的库中的模块。因此，因为cos 已经在程序中定义，链接器不会从数学库中获取它。然而，尽管这在许多 C 实现中都有效，但它违反了标准 C 的规则，该规则保留了库标识符；普通程序可能不会定义它们。

另一种可能是您的老师不打算包含math.h。这将使cos 的声明不会出错，因为它不会与另一个声明冲突，但它意味着sin 也应该由程序声明，因为它已被使用。

Answer 2

它不会编译。

我在main() 的末尾添加了return 0; 以消除-Wall -Werror 的第二个问题。如果你这样做，你会看到：

$ gcc -Wall -Werror costest1.c -o costest -lm
costest1.c:5:1: error: conflicting types for ‘cos’

这在编译阶段失败，因为math.h 还定义了一个名为cos 的函数。注意cos 的原型是：

double cos(double x);

不是

float cos(float x);

如果你没有包含math.h，你可以编译，但是会得到：

$ gcc -Wall -Werror costest1.c -o costest -lm
costest1.c:5:1: error: conflicting types for built-in function ‘cos’ [-Werror]
costest1.c: In function ‘main’:
costest1.c:13:3: error: implicit declaration of function ‘sin’ [-Werror=implicit-function-declaration]
costest1.c:13:32: error: incompatible implicit declaration of built-in function ‘sin’ [-Werror]
cc1: all warnings being treated as errors

这是因为cos不是普通函数，而是作为builtin处理的。如您所见，它是根据sin 定义的。如果cos 是一个普通函数，您会看到某种重复符号错误。

在 C 中你不能有两个同名的函数，即使它们有不同的参数。在 C++ 中，您可以，因为相同名称的方法可能会因调用参数而异（但不仅仅是返回类型）。

Answer 3

Online C2011 standard:

6.7 声明
...
约束
...
4 在同一范围内引用同一对象或函数的所有声明应指定 兼容类型

您发布的代码违反了上述约束； math.h 声明 cos 为

double cos(double x);    

这种行为不能解释为C；它可以解释为 C++，它允许名称重载。

确保您真正谈论的是 C 而不是 C++，否则您最终会非常感到困惑。

Answer 4

编辑：

我认为问题是关于 C++ 而不是 C，因为将代码编译为 C 程序会产生冲突类型错误：https://eval.in/93380。

此行为是由Function Overloading 引起的。 cos() 函数具有程序集名称 _cos@double 并重新声明 cos() 函数以接受 float 参数将具有程序集名称_cos@float 并且它不会与数学库中定义的 cos() 冲突.并且使用float 参数调用cos() 将被转换为对汇编函数_cos@float 的调用，这是您自己的cos()。

请注意，Function Overloading 只允许在 C++ 中使用，而不是 C。

在 C 中你只能在不改变函数的参数和返回类型的情况下执行此操作 (https://eval.in/93381) 否则会产生前面的错误。

正如假设所阐明的那样（cos 在 math.c 中定义），这种情况下的 cos() 函数不同于 math.h 中定义的函数，在这种情况下，如果它被定义为接受float 类型的参数并返回float 类型的值。在这种情况下，程序将毫无问题地编译。

Answer 5

它根本不起作用。

你会看到这样的错误：

conflicting types for 'cos'

我用 gcc 编译器的代码块得到它......

您可以使用另一种解决方案，请查看此帖子：Override a function call in C

Answer 6

不，它不会编译。

头文件math.h 声明double cos(double)。 C 中不允许尝试重载。

error C2371: 'cos' : redefinition; different basic types