strange behavior of by-value function arguments in postcondition

Meta jared771 at gmail.com
Thu Sep 2 13:33:34 UTC 2021


On Wednesday, 1 September 2021 at 06:14:27 UTC, bauss wrote:
> Pre/post conditions _are_ assert statements tho. User 
> validation should be done using exceptions, not asserts.

The fact that they are assert statements is an implementation 
detail. The point of pre/post conditions is to enforce that 
certain properties of the function hold, and assertions are just 
how the language happens to implement that.


More information about the Digitalmars-d mailing list