Boost C++ Libraries: Ticket #6815: Compile time checking of format string (e.g. in printf)

attachment set

d.starosud@… — Sat, 21 Apr 2012 15:51:12 GMT

attachment → templ_literal.h

attachment set

Sat, 21 Apr 2012 15:51:32 GMT

attachment → main.cpp

attachment set

d. — Sat, 21 Apr 2012 15:51:35 GMT

attachment → main.2.cpp

d.starosud@… — Sat, 21 Apr 2012 15:53:39 GMT

Sorry, I added two similar files.

anonymous — Thu, 05 Dec 2013 12:16:12 GMT

Awesome! I've been looking for something like this for years

attachment set

anonymous — Mon, 23 Mar 2015 07:06:25 GMT

attachment → printf.cpp

additional format type checking

owner, status changed

James E. King, III — Wed, 18 Oct 2017 18:36:17 GMT

owner changed from Samuel Krempp to James E. King, III
status new → assigned

status changed; resolution set

James E. King, III — Wed, 18 Oct 2017 18:53:11 GMT

status assigned → closed
resolution → wontfix

This implementation is incomplete so I am going to mark it as wontfix. Seems like a cool idea but it wouldn't support dynamically generated format specifications and doesn't support the complete syntax of boost format... unit tests should be used in consuming code to ensure no exceptions occur.

An interesting place to make a change like this could be in the gcc/clang static analyzers... if you build with "-Wformat" they can stop a build on a static format string that is malformed or when the wrong sized argument is given for a conversion specifier. Perhaps adding support for boost::format to that would be useful, but it still wouldn't take care of dynamically generated format specifications.