Un langage typé statiquement peut-il prendre en charge des listes hétérogènes?

Question

En Python, je peux facilement créer une liste contenant des valeurs de différents types, par exemple .:

[0, 1.0, '2', MyClass(3)] 

Cependant, dans les je connais, les listes ne peuvent contenir que des langues statiquement typé valeurs d'un seul type. Par exemple, std::vector<T> de C++ ne peut contenir que des valeurs de type T. Le List<T> de C# est similaire.

Est-il possible qu'un langage typé statiquement supporte des listes hétérogènes? Si oui, quelles langues ont un tel support?

Answer 1

Oui, en Java vous pouvez le faire en utilisant le type Object, mais pour moi, il pue comme un anti-modèle Java et vous avez probablement devriez pas le faire: P

package teststackoverflowquestion; 

import java.util.ArrayList; 
import java.util.List; 

public class TestStackOverflowQuestion { 

    public static void main(String[] args) { 
     List<Object> list = new ArrayList<>(); 
     list.add(10); 
     list.add(10.50); 
     list.add("blahblah"); 
     list.add(new MyClass(3)); 

     list.stream().forEach(o -> System.out.println(o.getClass() + " : " + o)); 
     System.out.println("-------------"); 
     list.stream().filter(o -> o.getClass().equals(Integer.class)) 
       .forEach(o -> System.out.println((int) o + 4)); 
    } 
} 

class MyClass { 
    int someField; 
    public MyClass(int someField) { 
     this.someField = someField; 
    } 

    @Override 
    public String toString() { 
     return Integer.toString(someField); 
    } 
} 

sortie:

classe java.lang.Integer: 10
classe java.lang.Double: 10,5
classe java.lang.String: blahbl ah
classe teststackoverflowquestion.MyClass: 3
-------------

Answer 2

C++ a std :: tuple, bien que les types doivent être connus à la compilation temps.

http://en.cppreference.com/w/cpp/utility/tuple

En outre, vous pouvez avoir un pointeur/référence à un descendant d'un type de parent, aussi bien.

liste {fordptr, chevyptr};