埃菲尔铁塔：更改继承特征的签名

Question

如何更改Eiffel中特征的签名（如果有）的正确方法？ 如果没有我所理解的选项，那么如何在父类中定义将有一个功能可以选择但仍然不知道参数的数量和类型（类型可以通过多态解析。 。）

是唯一具有多态性的播放器，它具有将类A选为ANY类型的参数的方法吗？

SELECTABLE类

class SELECTABLE

    select
        deferred 
        end

end -- class

类DB_SERVICE

class DB_SERVICE

inherit
    SELECTABLE
        (...)

feature -- Status setting


    select (a_db_connection: DB_CONNECTION)
        local
            l_qry: STRING
        do
            item := first_item_from_qry (l_qry)
        end

end -- class

Answer 1

在SELECTABLE类中包含以下内容确实是一种解决方案：

select (a: ANY)
    deferred
    end

另一个解决方案是使用TUPLE ：

select (a: TUPLE)
    deferred
    end

这使您可以在后代类中拥有多个参数：

select (a: TUPLE [db_connection: DB_CONNECTION])
    do
        a.db_connection.do_something
    end

可以称为：

a_db_server.select (a_db_connection)

要么：

select (a: TUPLE [db_connection: DB_CONNECTION; db_parameters: DB_PARAMETERS])
    do
        a.db_connection.do_something (a.db_parameters)
    end

可以称为：

a_db_server.select (a_db_connection, a_dp_parameters)

请注意，在这种情况下，需要明确的元组符号[...]中的参数select是可选的。

当然， select是Eiffel中的关键字。 您将不得不为功能使用其他名称。