埃菲尔铁塔：像前驱

Question

也许我要走的很远，但是Eiffel真是太美了，我想可以like precursor Result类的功能like precursor说

我的意思是

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

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

会很好，它存在吗？

更新 ：我在这里在埃菲尔铁塔上许愿

Answer 1

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

give_me_foo: like {A}.give_me_foo

不太优雅，但更显眼。

Answer 2

请问like Precursor是什么意思？ 当我阅读您的问题时，我假设该示例的含义类似于A，即该函数的Result必须符合前驱类A 但是回答您问题的另一个人对此有不同的解释。 我认为其他人的解释可能正是您想要的，但是我认为like Precursor语法这样的提议不是一个好主意，因为它肯定是模棱两可的。