Эйфелева

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

Было бы неплохо, оно существует?

Обновление : я оставил желание на сайте Eiffel здесь

Answer 1

Что бы значило like Precursor?Когда я прочитал ваш вопрос, я предположил, что пример будет означать как A, то есть результат функции должен соответствовать классу предшественника A.Но другой человек, который ответил на ваш вопрос, интерпретировал его по-другому.Я думаю, что интерпретация другого человека, вероятно, соответствует вашим ожиданиям, но я не думаю, что предложенный синтаксис like Precursor был бы хорошей идеей, поскольку он, безусловно, неоднозначен.

Answer 2

К сожалению, нет, но это возможно:

give_me_foo: like {A}.give_me_foo

, что менее элегантно, но более явно.