I thought that ANSI function prototypes were supposed to guard against argument type mismatches.

Q

I thought that ANSI function prototypes were supposed to guard against argument type mismatches.

✍: Guest

A

When a function accepts a variable number of arguments, its prototype does not (and cannot) provide any information about the number and types of those variable arguments. Therefore, the usual protections do not apply in the variable-length part of variable-length argument lists: the compiler cannot perform implicit conversions or (in general) warn about mismatches. The programmer must make sure that arguments match, or must manually insert explicit casts.
In the case of printf-like functions, some compilers (including gcc) and some versions of lint are able to check the actual arguments against the format string, as long as the format string is an immediate string literal.

2015-11-06, 1207👍, 0💬