埃菲尔的多重继承复制

Question

我很难理解多重继承与复制和多态性的相互作用。请考虑以下形成经典菱形图案的类。

deferred class A
  feature 
    a  deferred end
  end

deferred class B
  inherit A
    rename a as b end
  end

deferred class C
  inherit A
    rename a as c end
end

class D
  inherit 
    B
    C
    select c end
feature
  b do print("b") end
  c do print("c") end
end

如果我将 D 的实例附加到 C 类型的对象 ob_as_c，则 ob_as_c.c 会按预期打印“c”。但是，如果将实例附加到 B 类型的对象 ob_as_b，那么 ob_as_b.b 也会打印 print "c"。

这是预期的行为吗？显然，我希望ob_as_b.b 打印“b”。

Answer 1

仅描述 EiffelStudio 中可能与实际 ECMA 规范不同的实际行为。

发生的情况是，如果没有 select，b 和 c 都对应于 a 的一个版本。编译器会抱怨您有 2 个名称不同但版本相同的例程。通过使用“选择”，您正在修复错误并告诉编译器对于动态绑定，要使用的版本是 c，这与目标的类型无关，它基于运行时目标。

Answer 2

（化妆品：拼写“延迟”。否则无法编译！）

“select”只影响调用的语义，该调用的目标是用重复的祖先类型声明的实体，这里是 A，因为在这种情况下我们需要消除歧义。对于 B、C 或 D 类型的实体没有歧义，因此适用多态性和动态绑定的常规规则：对于同一个目标对象，实体（程序中的名称）是否声明为 B 类型无关紧要或 C。

-- 伯特兰·迈耶