covariance - 埃菲尔：像先驱者

Question

也许我会走得更远，但埃菲尔是如此美丽，我想like precursor对 Result 函数类说

我的观点是

deferred class A
    give_me_foo: STRING
    deferred
    end
end -- class

class real_foo
    give_me_foo: like Precursor
        do
        end
end -- class

会很好，它存在吗？

更新：我在这里的埃菲尔网站上许愿

标签： covarianceeiffel

Answer 1

不幸的是，没有，但是这是可能的：

give_me_foo: like {A}.give_me_foo

这不那么优雅但更明确。