艾菲尔：像先驱

Question

也许我说的太远了，但是埃菲尔铁塔是如此的美丽，以至于我想能够为函数

的结果class说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，即函数的结果必须符合前体 class A。但是回答你问题的另一个人有不同的解释。我认为其他人的解释可能是您的意图，但我认为提议的 like Precursor 语法不是一个好主意，因为它肯定是模棱两可的。

艾菲尔：像先驱

Eiffel: like Precursor

eiffel

covariance