-2

我知道使用没有原型的函数是错误的。但是当我摆弄时，我遇到了这种奇怪而矛盾的 行为。

测试1

    #include <stdio.h>
    #include <limits.h>
    void main(){
        char c='\0';
        float f=0.0;
           xof(c,f);/* at this point implicit function declaration is 
generated as int xof(int ,double ); */ 
    }
    int xof(char c,float f)
    {
        printf("%d %f\n", c,f);
    }

隐式函数声明将是 int xof(int ,double );

错误是

variablename.c:8:5: error: 'xof' int xof(char c,float f) 的类型冲突

我理解这一点，因为隐式生成的函数声明（默认整数值为 INT，小数为 DOUBLE）与以下函数定义不匹配

测试2

#include <stdio.h>


 #include <limits.h>
    void main(){
        unsigned int a =UINT_MAX;
        int b=0;
        xof(a); /* implicit function declaration should be int xof(int); */
    }

    int xof(unsigned a,int b)
    {
        printf("%d %d\n", a,b);
    }

隐式函数声明将是 int xof(int); 应该与函数定义冲突

但这运行良好（没有错误）并且输出是'a'表现为 'int' 值并且'b'有 'undefined Garbage'

-1 12260176

有人可以解释一下吗。提前致谢。

4

1 回答 1

1

当遇到没有定义的函数调用时，生成的隐式定义将始终为int (*)()，即一个函数接受未指定数量的参数并返回int。不考虑函数调用中的实际参数。这就是你的误解的来源。

在第一个程序的情况下，生成的错误消息是：

/tmp/x1.c:10：错误：“xof”的类型冲突<br> /tmp/x1.c:10：注意：具有默认提升的参数类型无法匹配空参数名称列表声明
/ tmp/x1.c:6: 错误: 'xof' 的先前隐式声明在这里

出现该错误是因为实际函数定义包含一个或多个参数，其类型受默认提升规则约束。具体来说，任何等级低于int（在这种情况下为 a）的整数类型都会在表达式char中提升为。int对于float提升为doublein 表达式的参数也是如此。换句话说，不可能通过隐式声明将正确类型的参数传递给这个函数。

第二个程序不会产生错误，因为参数 (int和unsigned int) 都不受默认提升规则的约束。在这种情况下，您调用未定义的行为，因为您没有传递正确类型的正确数量的参数。如果您确实传入了 2 个正确类型的参数，则行为将得到很好的定义。

请注意，隐式函数声明是 C89 功能，在 C99 及更高版本中不受支持，尽管某些编译器仍可能在 C99 或 C11 模式下接受它们作为扩展。

于 2017-07-03T02:57:41.207 回答