Kann eine statisch typisierte Sprache heterogene Listen unterstützen?

Question

In Python, ich eine Liste einfach erstellen kann Listen Werte verschiedenen Typen, z .:

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

jedoch in den statisch typisierten Sprachen Ich bin vertraut mit, können nur Werte eines einzigen Typs enthält. Zum Beispiel kann C++ std::vector<T> nur Werte des Typs T enthalten. C# List<T> ist ähnlich.

Kann eine statisch typisierte Sprache heterogene Listen unterstützen? Wenn ja, welche Sprachen haben diese Unterstützung?

Answer 1

Ja, in Java Sie könnte dies tun, indem Typ mit Object, aber für mich ist es stinkt wie ein Java anti-Muster und Sie wahrscheinlich sollte es nicht tun: 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); 
    } 
} 

Ausgang:

Klasse java.lang.Integer: 10
Klasse java.lang.Double: 10.5
Klasse java.lang.String: blahbl ah
Klasse teststackoverflowquestion.MyClass: 3
-------------

Answer 2

C++ hat std :: tuple, obwohl die Typen bei der Kompilierung bekannt sein müssen Zeit.

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

Sie können aber auch einen Zeiger/Verweis auf jeden Abkömmling einer Elterntyp haben, wie gut.

Liste {fordptr, chevyptr};