Passe argument de type à méthode Eiffel

Question

Je souhaite écrire un procédé de coulée en Eiffel qui est « du type de fonte à » en tant que paramètre de type. Est-il un moyen de passer un type dans une méthode Eiffel.

La seule alternative que je peux penser est de créer une nouvelle classe pour la conversion. Quelque chose comme:

class
   CAST [G, H]

feature

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

Y at-il une meilleure façon de le faire en Eiffel. En C # Je peux spécifier qu'une méthode prend des paramètres de type séparés des paramètres de type de classe. Y at-il une caractéristique similaire Eiffel?

J'utilise EiffelStudio 6.6.8.3873 GPL.

Merci.

Answer 1

Il est impossible d'avoir des méthodes génériques, où le type de retour est déterminé par un paramètre passé dans Eiffel. Pardon. Je suis tombé sur la même question. Vous aurez un retour superclasse commun et utiliser une tentative d'affectation pour obtenir une référence à l'objet retourné avec le bon type.