C++ is a statically typed language. SQL is also a statically typed language. It looks like they should play ball together. So how comes that most C++/SQL bindings make it possible to write and compile code that contains not-so-subtle errors ? They could be caught at compile time since all the necessary information is there.

Well this is just what this library does.

Boost.RDB provides bindings to various relational database systems. It supports creating and executing SQL statements and retrieving the results by means of C++ objects. Most of the time the resulting syntax is very close to plain SQL. Moreover, Boost.RDB is a good citizen of the type-rich C++ world: all constructs are statically checked, which eliminates the risks of type errors. If your RDB code compiles, then it generates correct SQL. Since everything happens at compile-time, the library delivers performance that is close to hand-written code.