ローカル変数宣言がブロックの先頭に縛られないこと
特にforなどで変数宣言できること

inline関数
constで定数宣言できること

強力な型安全性の保障（ベターCとして使うならvoid*から他のポインタ型への暗黙の変換まで禁じられるのはきついが）