先行のゼロ

先行のゼロ

[1] の表記において、最上位に1桁以上、冗長な「0」の表記を含める時、これを先導 0 (leading zero) といいます。

[2]

0000120.15600

... は、 120.15600 と同じを表す別の表記です。先頭の 0000 は冗長なので、先導0に当たります。

[5]

-0000510

... では、負符号に続く4つの 0 が冗長であり、先導0です。

[3]

0

... は、 0 という数字からはじまることには違いありませんが、 これを除去すると空文字列になってしまうため、先導0ではありません。

[4]

000.0012

... では、最初の 00 は冗長なので先導0ですが、それ以後の3つの 0 は除去できないので、先導0ではありません。絶対値1 に満たないにおいて小数点より前の 0 を表記しないことがあり、 この場合最初の 000先導0と解することも可能です。

従って、小数を扱う場合、先導0の定義は自明ではありません。

メモ

[6] の表記は、多くの場合先導0を明示的あるいは暗示的に認めています。しかし表記の一意性が重要な場面では、 先導0を禁止していることもあります。

[7] 先導0があると八進数として解釈されることが、古めの言語を中心にしばしばあります。