Assertions mit Divisionsbedingung

[Incanus (Gast)]

Hallo liebe Community,

ich habe folgende Frage:
Ich habe einen Quellcode, der "nur" unter der Bedingung arbeitet, das 
Input_Länge/Output_Länge = natürliche Zahl.
Die beiden Längen sind als Generics definiert.
Ich würde jetzt gerne einen Error werfen lassen, also praktisch eine 
assertion machen, wenn diese Bedingung verletzt wird.
Ist das irgendwie sinnvoll möglich ? Wie müsste das aussehen ?

Viele Grüße & Danke im vorraus

[Fritz (Gast)]

"Generics" sagt mir nichts.  Ich würde die Fehlerbehandlung auch so 
machen, dass nicht einfach alles abgebrochen wird, aber wenn es denn 
sein muss:

assert((Input_Länge/Output_Länge)*Output_Länge == Input_Länge);

(unter der Annahme, dass Input_Länge und Output_Länge Ganzzahl-Typen 
haben)

[Hilfsgatter (Gast)]

Das geht auch mit dem "mod"-Operator. Wenn der Quotient eine natürliche 
Zahl ist, dann ist der Rest gleich Null.
Soweit es mich betrifft, scheint mir das "offensichtlicher" als die 
Division mit anschliessender Multiplikation.