你可能不知道的printf


前言

printf多是咱们在学习C语言的过程当中最先接触的库函数了。其基本使用想必咱们都已经很是清楚了。可是下面的这些状况你是否已经清楚地知道了呢?css

示例程序

咱们来看一个示例程序,看看你可否对下面的结果输出有很是清晰的认识。编程

#include <stdio.h>
int main(void)
{
    int a = 4;
    int b = 3;
    int c = a/b;
    float d =  *(float*)(&c);
    long long e = 0xffffffffffffffff;
    printf("a/b:%f,a:%d\n",a/b,a,b);          //打印0

    printf("(float)a/b:%f\n",((float)a)/b);   //打印1

    printf("(double)a/b:%lf\n",((double)a)/b);//打印2

    printf("d:%f\n",d);                       //打印3

    printf("%.*f\n",20,(double)a/b);          //打印4

    printf("e:%d,a:%d\n",e,a);                //打印5

    printf("a:%d,++a:%d,a++:%d\n",a,++a,a++); //打印6

    return 0;
}

编译为32位程序:bash

gcc -m32 -o test test.c

在运行以前,你能够本身先猜测一下打印结果会是什么。实际运行结果:函数

a/b:0.000000,a:3        //打印0的结果
(float)a/b:1.333333      //打印1的结果
(double)a/b:1.333333     //打印2的结果
d:0.000000               //打印3的结果
1.33333333333333325932   //打印4的结果
e:-1,a:-1                //打印5的结果
a:6,++a:6,a++:4          //打印6的结果

你的猜测是否都正确呢?若是猜测错误,那么接下来的内容你就不该该错过了。学习

你是否会有如下疑问:ui

  • 0.打印0的a/b为何不是1,a为何不是4?spa

  • 1.打印1和打印2有什么区别呢?3d

  • 2.打印3为何结果会是0.000000?code

  • 3.打印4的结果为何最后的小数位不对?其中的*是什么意思?orm

  • 4.打印5中,为何a的值是-1而不是4?

  • 5.打印6中,结果为何分别是6,6,4?

在解答这些问题以前,咱们须要先了解一些基本内容。

可变参数中的类型提高

printf是接受变长参数的函数,传入printf中的参数个数能够不定。而咱们在变长参数探究中说到:
调用者会对每一个参数执行“默认实际参数提高",提高规则以下:
——float将提高到double
——char、short和相应的signed、unsigned类型将提高到int

也就是说printf实际上只会接受到double,int,long int等类型的参数。而历来不会实际接受到float,char,short等类型参数
咱们能够经过一个示例程序来检验:

//bad code
#include<stdio.h>
int main(void)
{
    char *p = NULL;
    printf("%d,%f,%c\n",p,p,p);
    return 0;
}

编译报错以下:

printf.c: In function ‘main’:
printf.c:5:12: warning: format ‘%d’ expects argument of type ‘int’, but argument 2 has type ‘char *’ [-Wformat=]
     printf("%d,%f,%c\n",p,p,p);
            ^
printf.c:5:12: warning: format ‘%f’ expects argument of type ‘double’, but argument 3 has type ‘char *’ [-Wformat=]
printf.c:5:12: warning: format ‘%c’ expects argument of type ‘int’, but argument 4 has type ‘char *’ [-Wformat=]

咱们能够从报错信息中看到:

  • %d 指望的是 int 类型参数

  • %f 指望的是 double 类型参数

  • %c 指望的也是 int 类型参数

而编译之因此有警告是由于,char *类型没法经过默认实际参数提高,将其提高为int或double。

参数入栈顺序以及计算顺序

在C语言中,参数入栈顺序是肯定的,从右往左。而参数的计算顺序倒是没有规定的。也就是说,编译器能够实现从右往左计算,也能够实现从左往右计算。

浮点数的有效位

对于double类型,其有效位为15~~16位(参考:对浮点数的一些理解)。

可变域宽和精度

printf中,*的使用可实现可变域宽和精度,使用时只须要用*替换域宽修饰符和精度修饰符便可。在这样的状况下,printf会从参数列表中取用实际值做为域宽或者精度。示例程序以下:

#include<stdio.h>
int main(void)
{
    float a = 1.33333333;
    char *p = "hello";
    printf("%.*f\n",6,a);
    printf("%*s\n",8,p);
    return 0;
}

运行结果:

1.333333
   hello

而这里的6或者8彻底能够是一个宏定义或者变量,从而作到了动态地格式控制。

格式控制符是如何处理参数的

printf有不少格式控制符,例如%d,它在处理输入时,会从堆栈中取其对应大小,即4个字节做为对应的参数值。也就是说,当你传入参数和格式控制符匹配或者在通过类型提高后和格式控制符匹配的时候,参数处理是没有任何问题的。可是不匹配时,可能会出现未定义行为(有两种状况例外,咱们后面再说)。例如,%f指望一个double(8字节)类型,可是传入的参数是int(4字节),那么在处理这个int参数值,可能会多处理4个字节,而且也会形成处理数据错误。

真相大白

有了前面这些内容的铺垫,咱们再来解答开始的疑问:

  • 对于问题0,a/b的结果显然为4字节的int类型1,而%f指望的是8字节的double,而计算结果只有4个字节,所以会继续格式化后面4个字节的a,而整型1和后面a组合成的8字节数据,按照浮点数的方式解释时,它的值就是0.000000了。因为前面已经读取解释了a的内容,所以第二个%d只能继续读取4个字节,也就是b的值3,最终就会出现打印a的值是3,而不是4。

  • 对于问题1,实际上在printf中,是不须要%lf的,%f指望的就是double类型,在编译最开始的示例程序其实就能够发现这个事实。固然了在scanf函数中,这二者是有区别的。

  • 对于问题2,也很简单,2的二进制存储形式按照浮点数方式解释读取时,就是该值。

  • 对于问题3,double的有效位为15~16位,也就是以外的位数都是不可靠的。printf中的*可用于实现可变域宽和精度,前面已经解释过了。

  • 对于问题4,这里不给出,留给读者思考,欢迎你们可留言区给出缘由。

  • 对于问题5,虽然参数计算顺序没有规定,可是实际上至少对于gcc来讲,它是从右往左计算的。也就是说,先计算a++,而a++是先用在加,即压入a=4,其后,a的值变为5;再计算++a,先加再用,即压入a=5+1=6;最后a=6,压入栈。最终从左往右压入栈的值就分别为6,6,4。也就是最终的打印结果。可是实际状况中,这样的代码绝对不应出现!

至此,真相大白。

总结

虽然咱们前面解释了那些难以理解的现象,同时读者能够参考变长参数探究对浮点数的一些理解找到更多的信息。可是咱们在实际编程中应该注意如下几点:

  • 格式控制符应该与对应参数类型匹配或者与类型提高后的参数类型匹配。

  • 绝对避免出现计算结果与参数计算顺序有关的代码。

  • *在printf中实现可变域宽和精度。

  • printf不会实际接受到char,short和float类型参数。

  • 若是%s对应的参数可能为NULL或者对应整型,那将是一场灾难。

  • 不要忽略编译器的任何警告,除非你很清楚你在作什么。

  • 例外状况指的是有符号整型和无符号整型之间,以及void*和char*之间。

问题思考

若是编译为64位程序运行,结果仍是同样吗?为何?