Re: Type safety, C++ and code generation


Maciej Sobczak wrote:
REH wrote:

http://www.msobczak.com/prog/typegen/

You maybe interested in a C++ class that I wrote.

Been there, done that:

http://www.msobczak.com/prog/downloads.html

(see safetypes.tar.gz and range.tar.gz)

I have dropped this idea because I think that the external code
generator is much more flexible and more powerful with regard to the
type safety that can be gained. Range checking is just one little part
of what is needed. Template classes are fine if you can afford limiting
yourself only to this little part, but that's not usually the case.


Not to beat a dead horse, but your logic is also flawed in that it will
not detect overflows. If an operation overflows, and wraps around into
range, your code will be non-the-wiser.

REH

.