埃菲尔：功能调用中不兼容的实际参数

Question

我不明白为什么会这样。

• 如果我说 attached {G} 它有效
• 如果我什么都不说，这对我来说是调用实体的预期行为：可拆卸的 RELATED_DB_EN​​TITY 应该符合（一旦附加）到 G，即 -> DB_EN​​TITY
• 如果我说 DB_EN​​TITY 它没有
• 如果我说 RELATED_DB_EN​​TITY 是否通过

为什么我必须指定{G}???

SIT_HANDLER

class
    SIT_HANDLER[G -> DB_ENTITY create default_create, make_from_db_service, make_from_json end]

feature --

    some_feature
        do
            if attached {G} l_rest_request.calling_entity as l_calling_entity then
                db_service.set_item_prototype (l_calling_entity) -- Complains here!!!!!!!!!!!!
                db_service.load_with_relationships (l_rest_request)
            ...
        end
end -- class

REST_REQUEST

class
    REST_REQUEST

feature -- Access
    calling_entity: detachable RELATED_DB_ENTITY -- RELATED_DB_ENTITY inherits DB_ENTITY
...
end -- class

DB_SERVICE

class
    DB_SERVICE [G -> DB_ENTITY create default_create, make_from_db_service, make_from_json end]

feature -- Status setting

    item_prototype: G

    set_item_prototype (v: like item_prototype)
        do
            item_prototype := v
        ensure
            item_prototype = v
        end

...
end -- class

Answer 1

RELATED_DB_ENTITY 类型不符合G 类型。

这里是一个例子。假设有一个类FOO 继承自DB_ENTITY 并具有所有必需的创建过程。 FOO 和 RELATED_DB_ENTITY 彼此不一致。对于SIT_HANDLER [FOO] 类型，特征db_service.set_item_prototype 的参数类型为FOO，而表达式l_rest_request.calling_entity 的类型为RELATED_DB_ENTITY。不允许将RELATED_DB_ENTITY 类型的表达式分配给FOO 类型的实体。