Прохождение типа аргумента к методу Эйфелева

Question

Я хотел бы написать литой метод в Эйфеле, который принимает «тип для толкания» в качестве параметра типа. Есть ли способ пройти тип в метод в Эйфеле.

Единственная альтернатива, которую я могу придумать, это создать новый класс для преобразования. Что-то типа:

class
   CAST [G, H]

feature

   cast (in: LIST [G]): LIST [H]
      do
         -- cast code here
      end

Есть ли лучший способ сделать это в Эйфеле. В C # Я могу указать, что метод принимает параметры типа отдельно от параметров типа классов. Есть ли похожая особенность в Эйфеле?

Я использую Eiffelstudio 6.6.8.3873 GPL.

Спасибо.

Answer 1

Невозможно иметь общие методы, где тип возврата определяется пропущенным параметром в Эйфеле. Извиняюсь. Я столкнулся с такой же проблемой. Вы получите общий суперкласс и использовать попытки назначения, чтобы получить ссылку на возвращенный объект с правильным типом.