------- Comment #4 from paolo dot carlini at oracle dot com 2009-03-14 23:41 ------- Also - I admit not having studied in detail all your requirements, sorry about that - I suppose you would be interested in static_assert, available with -std=c++0x, in gcc4.3.x (and 4.4.x, of course):
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2004/n1720.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39462