извиняется заранее, если я использую плохую терминологию.
когда я компилирую С++-приложение под gdb и использую printf(), он дает мне потрясающие предупреждения, касающиеся согласованности строки формата и переданных аргументов.
например, этот код:
printf("%s %s", "foo");
приводит к предупреждению компилятора "слишком мало аргументов для формата", что очень полезно. он также выдаст предупреждения о типе типа строки против типа аргумента. он должен был проверить строку формата и сравнить ее с указанными типами аргументов. - это такая интроспекция времени компиляции, которую можно добавить в обычный исходный код, или это что-то, что нужно скомпилировать в сам gcc?
fwiw это под gcc 4.2.1 на os x.