常量操作不能更改它们所操作的数据。
常量操作的 me 参数指向标记为 const 的结构。在这种情况下,const 在自变量列表中出现在数据类型说明符之前。例如,以下样本是名称为 check() 的常量操作的生成代码,该操作可以访问但不能更改 B 的内容:
void B_check(const B* const me) { /*#[ operation check() */ /*#]*/ }