Eiffel：有没有办法禁止使用任何特别继承的创建方法？

Question

由于default_create 始终是创建方法的示例，如果我不想让类的后代将其用作创建方法，则可以将其用作create some_instance 的实例创建方法有没有办法这样做？

一个

deferred class A
feature
   make (a_db_connection: DB_CONNECTION)
      do
          default_create
          db_connection := a_db_connection
      end

B

class B
inherit
    A
create
    make
    -- default_create -- I'd be able to do that and want to avoid it

Answer 1

只要一个过程未被列为创建过程，它就不能用于创建对象。在原始示例中，可以使用make 创建类B 的实例，但不能使用default_create，即创建指令create b 将被标记为错误（假设b 的类型为B） .

另一方面，如果根本没有create 子句，并且类没有被延迟，那么过程default_create 用于创建对象。这可以通过有一个空的创建子句来禁止：

class C
inherit
    A
create -- There are no creation procedures, no instance of the class can be created.
feature
    ...
end

总结：

1. 没有创建子句：使用了default_create。
2. 空创建子句：无法创建实例。
3. 非空创建子句：只能使用列出的过程进行创建。