埃菲尔铁塔：一种检查给定CLASS_NAME类型符合性的方法

Question

我正在尝试做一些事情

work (a_father: FATHER)
    do
        if a_father.conforms_to ({DEVELOPER}) then
           a_father.code
        else
           a_father.change_job ({DEVELOPER})
        end
    end

编译工作正常，但是在我的实现@runtime中，它没有通过。 我输错了什么？

Answer 1

您的示例中的问题是您试图查看FATHER类型（对象a_father的类型）是否符合TYPE [DEVELOPER]类型（对象{DEVELOPER}的类型）。

您应该做的是：

if a_father.generating_type.is_conforming_to ({DEVELOPER}) then

因此，将TYPE [FATHER]与TYPE [DEVELOPER] 。

请注意，我会认为它会通过更换工作is_conforming_to通过conforms_to ，但类TYPE推出这个程序is_conforming_to有一个更具体的参数类型。

Answer 2

我最好使用内置机制来检查对象类型的符合性：

if attached {DEVELOPER} a_father as dev then
     dev.code
else
     a_father.rest
end

并在前提条件中使用相同的方法：

attached {RELATED_DB_ENTITY} a_relationship_entity

对象测试执行您a_relationship_entity ：它检查附加到参数a_relationship_entity的对象的类型a_relationship_entity符合RELATED_DB_ENTITY类型。