为什么我不能在延迟的类中创建instance_free功能？

Question

我想创建一个具有instance_free（ensure class）功能和deferred功能的类。

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

不了解其逻辑...出于编译原因吗？还是我看不到任何意义？我的逻辑哪里错了？

Answer 1

这是当前版本EiffelStudio（19.07）的实现约束。将来会删除它。