そのうちc++のオブジェクトファイルとリンクできるけど取り扱いの難しい機能を禁止したSmartC++が出てくるんじゃない？

生ポインタ禁止(スマートポインタ強制)するだけでもいい感じになると思うけどなぁ。