7.2.1. インスタンスの構造の修正

インスタンスをクラスCtoへ修正するために、クラスCtoには定義されているがCfromには定義されていない局所スロットは追加され、クラスCtoには定義されていないがCfromには定義されている局所スロットは削除されます。

クラスCtoとクラスCfromの両方に定義されている局所スロットの値は保持されます。もし局所スロットがunboundであった場合は、unboundのままです。

クラスCfromでは共有スロットであり、Ctoでは局所スロットとして定義されたスロットの値は保持されます。

最初の更新ステップでは、どの共有スロットの値も影響がありません。