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