概要

(書きかけ)

C# は、企画段階では "Safe C" (安全な C 言語)と呼ばれていた時期もあるそうです。 プログラマーが陥りがちなミスを避けるため、間違いそうな文法を避けたり、細かな規則を設けています。

予定

http://www.slideshare.net/Coverity/the-psychology-of-c-analysis-24025354
switch fall through
 これはでも、今の感覚からすると「breakを書かなくてもcaseをまたがない」にした方が好感度高そう。
 大体の人は「いちいちbreak書くのめんどくさい」って言うし。
 実際、最近の言語でbreak書く言語あまり見ないし。
 この辺りはC言語からの負の遺産。
 
unfase 制限
 
実装依存をなくす
x = ++x + x++; とかの、term の評価順
配列の境界外アクセス禁止、lengthを自分で知ってる
 
{
 {
 var x;
 }
 var x; // error
}
 
未初期化変数禁止、フィールド/配列の0クリア
 non-null 参照の考え方と相性悪いけど
数値系の暗黙的変換なし
 ポインター ⇔ 整数 ⇔ char, bool, enum
 符号
x + 1; みたいな、何も起こさない式だけを認めない
if (x = 0) エラー
return してないパスを認めない

誤字等を見つけた場合や、ご意見・ご要望がございましたら、GitHub の Issues まで気兼ねなくご連絡ください。