enforce()?

[Andrei Alexandrescu]

bearophile wrote:
> Andrei Alexandrescu:
>> C APIs also check their arguments.
> 
> Try again, C doesn't have DbC :-)

What I meant to say was that even the standard library of a language 
famous for its to-the-metal performance still checks parameters 
compulsively whenever it can. Search e.g. this page:

http://google.com/codesearch/p?hl=en#XAzRy8oK4zA/libc/stdio/fseek.c&q=fseek&sa=N&cd=2&ct=rc

for "whence".

> Norbert Nemec says some good things.

I think it's an area where reasonable people may disagree.


Andrei