Kürzen

Etwas zu kürzen bedeutet, es zu verkürzen oder einen Teil davon abzuschneiden. In der Informatik wird der Begriff häufig im Zusammenhang mit Datentypen oder Variablen verwendet, etwa bei Gleitkommazahlen und Zeichenfolgen.

Beispielsweise kann eine Funktion den Dezimalteil einer Gleitkommazahl abschneiden, um sie in eine Ganzzahl umzuwandeln. Wird die Zahl 3.875 gekürzt, wird sie zu 3. Beachten Sie, dass dies etwas anderes ist, als wenn die Zahl auf die nächste Ganzzahl gerundet worden wäre, was 4 ergeben würde. Zeichenfolgen können ebenfalls gekürzt werden. Das kann nützlich sein, wenn eine Zeichenfolge das maximale Zeichenlimit einer bestimmten Anwendung überschreitet.

Mehrere Programmiersprachen verwenden die Funktion trunc(), um eine Variable zu kürzen. PHP verwendet strlen(), um eine Zeichenfolge auf eine festgelegte Anzahl von Zeichen zu kürzen.