Home | History | Annotate | Download | only in strconv
      1 // Copyright 2009 The Go Authors. All rights reserved.
      2 // Use of this source code is governed by a BSD-style
      3 // license that can be found in the LICENSE file.
      4 
      5 // Multiprecision decimal numbers.
      6 // For floating-point formatting only; not general purpose.
      7 // Only operations are assign and (binary) left/right shift.
      8 // Can do binary floating point in multiprecision decimal precisely
      9 // because 2 divides 10; cannot do decimal floating point
     10 // in multiprecision binary precisely.
     11 
     12 package strconv
     13 
     14 type decimal struct {
     15 	d     [800]byte // digits, big-endian representation
     16 	nd    int       // number of digits used
     17 	dp    int       // decimal point
     18 	neg   bool      // negative flag
     19 	trunc bool      // discarded nonzero digits beyond d[:nd]
     20 }
     21 
     22 func (a *decimal) String() string {
     23 	n := 10 + a.nd
     24 	if a.dp > 0 {
     25 		n += a.dp
     26 	}
     27 	if a.dp < 0 {
     28 		n += -a.dp
     29 	}
     30 
     31 	buf := make([]byte, n)
     32 	w := 0
     33 	switch {
     34 	case a.nd == 0:
     35 		return "0"
     36 
     37 	case a.dp <= 0:
     38 		// zeros fill space between decimal point and digits
     39 		buf[w] = '0'
     40 		w++
     41 		buf[w] = '.'
     42 		w++
     43 		w += digitZero(buf[w : w+-a.dp])
     44 		w += copy(buf[w:], a.d[0:a.nd])
     45 
     46 	case a.dp < a.nd:
     47 		// decimal point in middle of digits
     48 		w += copy(buf[w:], a.d[0:a.dp])
     49 		buf[w] = '.'
     50 		w++
     51 		w += copy(buf[w:], a.d[a.dp:a.nd])
     52 
     53 	default:
     54 		// zeros fill space between digits and decimal point
     55 		w += copy(buf[w:], a.d[0:a.nd])
     56 		w += digitZero(buf[w : w+a.dp-a.nd])
     57 	}
     58 	return string(buf[0:w])
     59 }
     60 
     61 func digitZero(dst []byte) int {
     62 	for i := range dst {
     63 		dst[i] = '0'
     64 	}
     65 	return len(dst)
     66 }
     67 
     68 // trim trailing zeros from number.
     69 // (They are meaningless; the decimal point is tracked
     70 // independent of the number of digits.)
     71 func trim(a *decimal) {
     72 	for a.nd > 0 && a.d[a.nd-1] == '0' {
     73 		a.nd--
     74 	}
     75 	if a.nd == 0 {
     76 		a.dp = 0
     77 	}
     78 }
     79 
     80 // Assign v to a.
     81 func (a *decimal) Assign(v uint64) {
     82 	var buf [24]byte
     83 
     84 	// Write reversed decimal in buf.
     85 	n := 0
     86 	for v > 0 {
     87 		v1 := v / 10
     88 		v -= 10 * v1
     89 		buf[n] = byte(v + '0')
     90 		n++
     91 		v = v1
     92 	}
     93 
     94 	// Reverse again to produce forward decimal in a.d.
     95 	a.nd = 0
     96 	for n--; n >= 0; n-- {
     97 		a.d[a.nd] = buf[n]
     98 		a.nd++
     99 	}
    100 	a.dp = a.nd
    101 	trim(a)
    102 }
    103 
    104 // Maximum shift that we can do in one pass without overflow.
    105 // A uint has 32 or 64 bits, and we have to be able to accommodate 9<<k.
    106 const uintSize = 32 << (^uint(0) >> 63)
    107 const maxShift = uintSize - 4
    108 
    109 // Binary shift right (/ 2) by k bits.  k <= maxShift to avoid overflow.
    110 func rightShift(a *decimal, k uint) {
    111 	r := 0 // read pointer
    112 	w := 0 // write pointer
    113 
    114 	// Pick up enough leading digits to cover first shift.
    115 	var n uint
    116 	for ; n>>k == 0; r++ {
    117 		if r >= a.nd {
    118 			if n == 0 {
    119 				// a == 0; shouldn't get here, but handle anyway.
    120 				a.nd = 0
    121 				return
    122 			}
    123 			for n>>k == 0 {
    124 				n = n * 10
    125 				r++
    126 			}
    127 			break
    128 		}
    129 		c := uint(a.d[r])
    130 		n = n*10 + c - '0'
    131 	}
    132 	a.dp -= r - 1
    133 
    134 	var mask uint = (1 << k) - 1
    135 
    136 	// Pick up a digit, put down a digit.
    137 	for ; r < a.nd; r++ {
    138 		c := uint(a.d[r])
    139 		dig := n >> k
    140 		n &= mask
    141 		a.d[w] = byte(dig + '0')
    142 		w++
    143 		n = n*10 + c - '0'
    144 	}
    145 
    146 	// Put down extra digits.
    147 	for n > 0 {
    148 		dig := n >> k
    149 		n &= mask
    150 		if w < len(a.d) {
    151 			a.d[w] = byte(dig + '0')
    152 			w++
    153 		} else if dig > 0 {
    154 			a.trunc = true
    155 		}
    156 		n = n * 10
    157 	}
    158 
    159 	a.nd = w
    160 	trim(a)
    161 }
    162 
    163 // Cheat sheet for left shift: table indexed by shift count giving
    164 // number of new digits that will be introduced by that shift.
    165 //
    166 // For example, leftcheats[4] = {2, "625"}.  That means that
    167 // if we are shifting by 4 (multiplying by 16), it will add 2 digits
    168 // when the string prefix is "625" through "999", and one fewer digit
    169 // if the string prefix is "000" through "624".
    170 //
    171 // Credit for this trick goes to Ken.
    172 
    173 type leftCheat struct {
    174 	delta  int    // number of new digits
    175 	cutoff string // minus one digit if original < a.
    176 }
    177 
    178 var leftcheats = []leftCheat{
    179 	// Leading digits of 1/2^i = 5^i.
    180 	// 5^23 is not an exact 64-bit floating point number,
    181 	// so have to use bc for the math.
    182 	// Go up to 60 to be large enough for 32bit and 64bit platforms.
    183 	/*
    184 		seq 60 | sed 's/^/5^/' | bc |
    185 		awk 'BEGIN{ print "\t{ 0, \"\" }," }
    186 		{
    187 			log2 = log(2)/log(10)
    188 			printf("\t{ %d, \"%s\" },\t// * %d\n",
    189 				int(log2*NR+1), $0, 2**NR)
    190 		}'
    191 	*/
    192 	{0, ""},
    193 	{1, "5"},                                           // * 2
    194 	{1, "25"},                                          // * 4
    195 	{1, "125"},                                         // * 8
    196 	{2, "625"},                                         // * 16
    197 	{2, "3125"},                                        // * 32
    198 	{2, "15625"},                                       // * 64
    199 	{3, "78125"},                                       // * 128
    200 	{3, "390625"},                                      // * 256
    201 	{3, "1953125"},                                     // * 512
    202 	{4, "9765625"},                                     // * 1024
    203 	{4, "48828125"},                                    // * 2048
    204 	{4, "244140625"},                                   // * 4096
    205 	{4, "1220703125"},                                  // * 8192
    206 	{5, "6103515625"},                                  // * 16384
    207 	{5, "30517578125"},                                 // * 32768
    208 	{5, "152587890625"},                                // * 65536
    209 	{6, "762939453125"},                                // * 131072
    210 	{6, "3814697265625"},                               // * 262144
    211 	{6, "19073486328125"},                              // * 524288
    212 	{7, "95367431640625"},                              // * 1048576
    213 	{7, "476837158203125"},                             // * 2097152
    214 	{7, "2384185791015625"},                            // * 4194304
    215 	{7, "11920928955078125"},                           // * 8388608
    216 	{8, "59604644775390625"},                           // * 16777216
    217 	{8, "298023223876953125"},                          // * 33554432
    218 	{8, "1490116119384765625"},                         // * 67108864
    219 	{9, "7450580596923828125"},                         // * 134217728
    220 	{9, "37252902984619140625"},                        // * 268435456
    221 	{9, "186264514923095703125"},                       // * 536870912
    222 	{10, "931322574615478515625"},                      // * 1073741824
    223 	{10, "4656612873077392578125"},                     // * 2147483648
    224 	{10, "23283064365386962890625"},                    // * 4294967296
    225 	{10, "116415321826934814453125"},                   // * 8589934592
    226 	{11, "582076609134674072265625"},                   // * 17179869184
    227 	{11, "2910383045673370361328125"},                  // * 34359738368
    228 	{11, "14551915228366851806640625"},                 // * 68719476736
    229 	{12, "72759576141834259033203125"},                 // * 137438953472
    230 	{12, "363797880709171295166015625"},                // * 274877906944
    231 	{12, "1818989403545856475830078125"},               // * 549755813888
    232 	{13, "9094947017729282379150390625"},               // * 1099511627776
    233 	{13, "45474735088646411895751953125"},              // * 2199023255552
    234 	{13, "227373675443232059478759765625"},             // * 4398046511104
    235 	{13, "1136868377216160297393798828125"},            // * 8796093022208
    236 	{14, "5684341886080801486968994140625"},            // * 17592186044416
    237 	{14, "28421709430404007434844970703125"},           // * 35184372088832
    238 	{14, "142108547152020037174224853515625"},          // * 70368744177664
    239 	{15, "710542735760100185871124267578125"},          // * 140737488355328
    240 	{15, "3552713678800500929355621337890625"},         // * 281474976710656
    241 	{15, "17763568394002504646778106689453125"},        // * 562949953421312
    242 	{16, "88817841970012523233890533447265625"},        // * 1125899906842624
    243 	{16, "444089209850062616169452667236328125"},       // * 2251799813685248
    244 	{16, "2220446049250313080847263336181640625"},      // * 4503599627370496
    245 	{16, "11102230246251565404236316680908203125"},     // * 9007199254740992
    246 	{17, "55511151231257827021181583404541015625"},     // * 18014398509481984
    247 	{17, "277555756156289135105907917022705078125"},    // * 36028797018963968
    248 	{17, "1387778780781445675529539585113525390625"},   // * 72057594037927936
    249 	{18, "6938893903907228377647697925567626953125"},   // * 144115188075855872
    250 	{18, "34694469519536141888238489627838134765625"},  // * 288230376151711744
    251 	{18, "173472347597680709441192448139190673828125"}, // * 576460752303423488
    252 	{19, "867361737988403547205962240695953369140625"}, // * 1152921504606846976
    253 }
    254 
    255 // Is the leading prefix of b lexicographically less than s?
    256 func prefixIsLessThan(b []byte, s string) bool {
    257 	for i := 0; i < len(s); i++ {
    258 		if i >= len(b) {
    259 			return true
    260 		}
    261 		if b[i] != s[i] {
    262 			return b[i] < s[i]
    263 		}
    264 	}
    265 	return false
    266 }
    267 
    268 // Binary shift left (* 2) by k bits.  k <= maxShift to avoid overflow.
    269 func leftShift(a *decimal, k uint) {
    270 	delta := leftcheats[k].delta
    271 	if prefixIsLessThan(a.d[0:a.nd], leftcheats[k].cutoff) {
    272 		delta--
    273 	}
    274 
    275 	r := a.nd         // read index
    276 	w := a.nd + delta // write index
    277 
    278 	// Pick up a digit, put down a digit.
    279 	var n uint
    280 	for r--; r >= 0; r-- {
    281 		n += (uint(a.d[r]) - '0') << k
    282 		quo := n / 10
    283 		rem := n - 10*quo
    284 		w--
    285 		if w < len(a.d) {
    286 			a.d[w] = byte(rem + '0')
    287 		} else if rem != 0 {
    288 			a.trunc = true
    289 		}
    290 		n = quo
    291 	}
    292 
    293 	// Put down extra digits.
    294 	for n > 0 {
    295 		quo := n / 10
    296 		rem := n - 10*quo
    297 		w--
    298 		if w < len(a.d) {
    299 			a.d[w] = byte(rem + '0')
    300 		} else if rem != 0 {
    301 			a.trunc = true
    302 		}
    303 		n = quo
    304 	}
    305 
    306 	a.nd += delta
    307 	if a.nd >= len(a.d) {
    308 		a.nd = len(a.d)
    309 	}
    310 	a.dp += delta
    311 	trim(a)
    312 }
    313 
    314 // Binary shift left (k > 0) or right (k < 0).
    315 func (a *decimal) Shift(k int) {
    316 	switch {
    317 	case a.nd == 0:
    318 		// nothing to do: a == 0
    319 	case k > 0:
    320 		for k > maxShift {
    321 			leftShift(a, maxShift)
    322 			k -= maxShift
    323 		}
    324 		leftShift(a, uint(k))
    325 	case k < 0:
    326 		for k < -maxShift {
    327 			rightShift(a, maxShift)
    328 			k += maxShift
    329 		}
    330 		rightShift(a, uint(-k))
    331 	}
    332 }
    333 
    334 // If we chop a at nd digits, should we round up?
    335 func shouldRoundUp(a *decimal, nd int) bool {
    336 	if nd < 0 || nd >= a.nd {
    337 		return false
    338 	}
    339 	if a.d[nd] == '5' && nd+1 == a.nd { // exactly halfway - round to even
    340 		// if we truncated, a little higher than what's recorded - always round up
    341 		if a.trunc {
    342 			return true
    343 		}
    344 		return nd > 0 && (a.d[nd-1]-'0')%2 != 0
    345 	}
    346 	// not halfway - digit tells all
    347 	return a.d[nd] >= '5'
    348 }
    349 
    350 // Round a to nd digits (or fewer).
    351 // If nd is zero, it means we're rounding
    352 // just to the left of the digits, as in
    353 // 0.09 -> 0.1.
    354 func (a *decimal) Round(nd int) {
    355 	if nd < 0 || nd >= a.nd {
    356 		return
    357 	}
    358 	if shouldRoundUp(a, nd) {
    359 		a.RoundUp(nd)
    360 	} else {
    361 		a.RoundDown(nd)
    362 	}
    363 }
    364 
    365 // Round a down to nd digits (or fewer).
    366 func (a *decimal) RoundDown(nd int) {
    367 	if nd < 0 || nd >= a.nd {
    368 		return
    369 	}
    370 	a.nd = nd
    371 	trim(a)
    372 }
    373 
    374 // Round a up to nd digits (or fewer).
    375 func (a *decimal) RoundUp(nd int) {
    376 	if nd < 0 || nd >= a.nd {
    377 		return
    378 	}
    379 
    380 	// round up
    381 	for i := nd - 1; i >= 0; i-- {
    382 		c := a.d[i]
    383 		if c < '9' { // can stop after this digit
    384 			a.d[i]++
    385 			a.nd = i + 1
    386 			return
    387 		}
    388 	}
    389 
    390 	// Number is all 9s.
    391 	// Change to single 1 with adjusted decimal point.
    392 	a.d[0] = '1'
    393 	a.nd = 1
    394 	a.dp++
    395 }
    396 
    397 // Extract integer part, rounded appropriately.
    398 // No guarantees about overflow.
    399 func (a *decimal) RoundedInteger() uint64 {
    400 	if a.dp > 20 {
    401 		return 0xFFFFFFFFFFFFFFFF
    402 	}
    403 	var i int
    404 	n := uint64(0)
    405 	for i = 0; i < a.dp && i < a.nd; i++ {
    406 		n = n*10 + uint64(a.d[i]-'0')
    407 	}
    408 	for ; i < a.dp; i++ {
    409 		n *= 10
    410 	}
    411 	if shouldRoundUp(a, a.dp) {
    412 		n++
    413 	}
    414 	return n
    415 }
    416