強類型的理解

先定義一些基礎概念

Program Errors

• trapped errors。導致程序終止執行，如除0，Java中數組越界訪問
• untrapped errors。 出錯后繼續執行，但可能出現任意行為。如C里的緩沖區溢出、Jump到錯誤地址

Forbidden Behaviours

語言設計時，可以定義一組forbidden behaviors. 它必須包括所有untrapped errors, 但可能包含trapped errors.

Well behaved、ill behaved

• well behaved: 如果程序執行不可能出現forbidden behaviors, 則為well behaved。
• ill behaved: 否則為ill behaved..

?

轉載于:https://www.cnblogs.com/lyz007/p/6289335.html

總結

以上是生活随笔為你收集整理的c++ 随手记的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。