>>436
正確には、ISO/IEC 9899:1999 6.5.2.2.6。
可変長引数では float -> double の型変換が行われる。だから printf() に float と double の区別は不要。
scanf()系にわたるのはポインタだから float->double は不可能であり区別しなければならない。