常數作業無法變更其操作的資料。
常數作業的 me 參數指向標籤為 const 的結構。 在此情況下,const 關鍵字在引數清單中會顯示於資料類型指定元之前。例如,下列範例是常數作業的產生程式碼稱為 check(),可以存取但不能變更 B 的內容:
void B_check(const B* const me) { /*#[ operation check() */ /*#]*/ }