Playing With Pointers

The C preprocessor, being a dumb text-manipulating tool that does not understand the syntactic structure of the underlying program, is often a hiding place for subtle headache-inducing bugs. I've been bitten such bugs myself and one bug I had a particularly difficult debugging is often not mentioned in lists such as [1]. Can you spot [...]

It is possible to have some kind of dependent typing in C++ using templates. The "solution" isn't elegant or usable, but I found it mildly interesting so I'll try to explain it here. The C++ type system with templates is Turing complete, so that something like this can be done shouldn't be a surprise. The [...]