generics - タイプ引数をEiffelメソッドに渡す

Question

型パラメータとして「キャスト先の型」をとるキャストメソッドをEiffelで記述したいと思います。Eiffelのメソッドに型を渡す方法はありますか？

私が考えることができる唯一の選択肢は、変換用の新しいクラスを作成することです。何かのようなもの：

class
   CAST [G, H]

feature

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

エッフェルでこれを行うためのより良い方法はありますか？C＃では、メソッドがクラス型パラメーターとは別の型パラメーターを受け取るように指定できます。Eiffelにも同様の機能がありますか？

EiffelStudio6.6.8.3873GPLを使用しています。

ありがとう。

score 0 · Accepted Answer

戻り型がEiffelで渡されたパラメーターによって決定される、汎用メソッドを持つことはできません。ごめん。私は同じ問題に遭遇しました。共通のスーパークラスを返し、割り当ての試行を使用して、正しいタイプで返されたオブジェクトへの参照を取得します。

1 に答える 1