与抽象类型相关的操作