將類型參數傳遞給Eiffel方法

Question

我想在Eiffel中編寫一個類型轉換方法，該方法將“要轉換的類型”作為類型參數。 有沒有一種方法可以將類型傳遞給Eiffel中的方法。

我唯一想到的替代方法是為轉換創建一個新類。 就像是：

class
   CAST [G, H]

feature

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

在Eiffel中有沒有更好的方法可以做到這一點。 在C＃中，我可以指定一個方法采用與類類型參數分開的類型參數。 埃菲爾鐵塔有類似的功能嗎？

我正在使用EiffelStudio 6.6.8.3873 GPL。

謝謝。

Answer 1

不可能有通用方法，其中返回類型由Eiffel中的傳遞參數確定。 抱歉。 我遇到了同樣的問題。 您將返回一個公共的超類，並使用分配嘗試獲取對具有正確類型的返回對象的引用。