Wie wird ein typsicheres Array konstanter Größe in scala benötigt?

8

Ich brauche so etwas:

%Vor%

Also, um sicher zu sein, dass ich nur 128-Bit-Array als Eingabe empfange.

    
dk14 02.02.2015, 22:01
quelle

1 Antwort

7

Shapeless kann das für Seqs tun:

%Vor%

Der an .size übergebene Parameter sollte Literal(Constant(n: Int)) sein, so dass Sie keine Variablen oder Ausdrücke übergeben können.

Es ist auch möglich, ein Array in ein paar IndexedSeq ( .toSeq ) zu konvertieren, wie zum Beispiel Vector ( .toVector )

Sie können auch einige akzeptierbare Größen mit dem Typ disjunction angeben:

%Vor%

Maximum-N Einschränkung (von @DougC und @Miles Sabin):

%Vor%     
dk14 02.02.2015, 22:01
quelle

Tags und Links