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

【问题标题】：why is that I can't create an instance_free feature in a deferred class?为什么我不能在延迟类中创建 instance_free 功能？
【发布时间】：2019-08-29 01:38:24
【问题描述】：

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

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

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

【问题讨论】：

标签： eiffel

【解决方案1】：

这是当前版本的 EiffelStudio (19.07) 的实现约束。将来会被移除。

【讨论】：