無為空間 |C++の参照型について、つらつらと無為空間 むいむい(´ω｀*) Entries C++の参照型について、つらつらと タグ: C++ 参照型の特徴は主に以下の2点。 正当なオブジェクトを参照するよう初期化しなければならないことが規格で明記されている（JIS X 3014:2003 §8.3.2） 実引数を変更しないことを意味するconst参照型の引数が、値渡しの代替として優秀 1は、端的に言えば「関数の引数型をポインタではなく参照にすることによって、その引数にNULLが渡されないことを確認する責任を呼び出し側に押しつけられる」ということ。それによって、 関数の仕様書から「この引数にNULLを渡してはならない」という記述を省ける 関数の実装から冗長なNULL引数チェックを省ける 関数の呼び出し側は「NULLを渡したらどうなるか」を気にする必要がなくなる というメリットが生まれる。 これは一種の静的表明（コンパイル前契約）であ
