为什么我无法在延迟 class 中创建 instance_free 功能？

Question

我想创建一个具有 instance_free (ensure class) 功能和 deferred 功能的 class。

为什么我不能 调用 延迟 class 中的 instance_free 功能，而只能在后代上调用？

不明白其中的逻辑...是编译的原因吗？或者我看不到的任何意义？我的逻辑哪里错了？

Answer 1

这是当前版本 EiffelStudio (19.07) 的一个实现限制。将来会被移除。