埃菲尔铁塔：像前驱

Question

也许我要走的很远，但是埃菲尔（Eiffel）真是太美了，我想对功能的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

会很好，它存在吗？

更新：我在埃菲尔铁塔here

上许愿

Answer 1

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

give_me_foo: like {A}.give_me_foo

不那么优雅，但更明确。

Answer 2

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