例項化錯誤

一個例項如果引數是不充分的,則會引發錯誤例項

重要的是,例項化錯誤不能靜默失敗所取代 :在這種情況下失敗意味著沒有解決方案,而例項化錯誤意味著引數的例項可能參與解決方案。

這與例如域錯誤形成對比,域錯誤可以在不改變程式的宣告性含義的情況下由靜默失敗代替。