상수 오퍼레이션은 오퍼레이션이 작동되는 데이터를 변경할 수 없습니다.
상수 오퍼레이션의 me 매개변수는 const로 태그가 지정된 구조를 지시합니다. 이러한 경우, 인수 목록에 지정된 데이터 유형 앞에 const 키워드가 놓입니다. 예를 들어, 다음 샘플은 B의 컨텐츠에 액세스할 수 있지만 변경할 수 없는 check()라고 하는 상수 오퍼레이션의 생성된 코드입니다.
void B_check(const B* const me) {
/*#[ operation check() */
/*#]*/
}