printf输出double类型的问题

[fantasy408]

在codeblocks（17.12）中，勾选-std=c99后，编译下面的程序：

#include "stdio.h"
int main(void)
{
    double f=3.1415926;
    printf("%lf\n",f);
    return 0;
}

发现输出为0.000000
书上说c99标准允许printf函数可以使用%lf，并且codeblocks也勾选了-std=c99，但是为何还会输出0.000000呢？

附件图片是《C语言程序设计--现代方法 第二版》94页。

[赵4老师]

不要迷信书、考题、老师、回帖； 要迷信CPU、编译器、调试器、运行结果。 并请结合“盲人摸太阳”和“驾船出海时一定只带一个指南针。”加以理解。 任何理论、权威、传说、真理、标准、解释、想象、知识……都比不上摆在眼前的事实！

[fantasy408]

感谢各位老师告知。

[wang0635]

只能说这一处标准还没有实现。不过，C99标准中只是说了一句 %lf conversion specifier allowed in printf，也没有看见更多的解释和示例

[paschen]

[paschen]

确实C99才支持，C89下是未定义行为，但编译器可能不完全支持C99

[paschen]

http://en.cppreference.com/w/c/io/fprintf