Content deleted Content added
→Constructors simplified, with pseudocode: not helpful |
Filling in 1 references using Reflinks |
||
Line 249:
=== Failure ===
A constructor that cannot create a valid value should throw an [[Exception handling|exception]]. This is because exceptions should be thrown when [[Postcondition|post-conditions]] cannot be met, and the post-condition of a constructor is the existence of a valid object. An object which throws during its constructor never comes into existence (although some of its member objects might). This affects how one handles errors and special consideration must be given for exceptions emitted by member variables' constructors.<ref>
=== F# ===
| |||