定数操作

定数操作は、それが操作するデータを変更できません。

定数操作の me パラメーターは、const とタグを付けられた構造をポイントします。 この場合、const キーワードは、引数リスト内でデータ型指定子より前に指定されます。 例えば、次の例は、check() と呼ばれる定数操作の生成コードです。この操作は、B の内容にアクセスできますが変更はできません。

void B_check(const B* const me) {
    /*#[ operation check() */
    /*#]*/
}

フィードバック