• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // © 2017 and later: Unicode, Inc. and others.
2 // License & terms of use: http://www.unicode.org/copyright.html
3 
4 #include "unicode/utypes.h"
5 
6 #if !UCONFIG_NO_FORMATTING
7 #ifndef __NUMBER_DECIMALQUANTITY_H__
8 #define __NUMBER_DECIMALQUANTITY_H__
9 
10 #include <cstdint>
11 #include "unicode/umachine.h"
12 #include "standardplural.h"
13 #include "plurrule_impl.h"
14 #include "number_types.h"
15 
16 U_NAMESPACE_BEGIN namespace number {
17 namespace impl {
18 
19 // Forward-declare (maybe don't want number_utils.h included here):
20 class DecNum;
21 
22 /**
23  * An class for representing a number to be processed by the decimal formatting pipeline. Includes
24  * methods for rounding, plural rules, and decimal digit extraction.
25  *
26  * <p>By design, this is NOT IMMUTABLE and NOT THREAD SAFE. It is intended to be an intermediate
27  * object holding state during a pass through the decimal formatting pipeline.
28  *
29  * <p>Represents numbers and digit display properties using Binary Coded Decimal (BCD).
30  *
31  * <p>Java has multiple implementations for testing, but C++ has only one implementation.
32  */
33 class U_I18N_API DecimalQuantity : public IFixedDecimal, public UMemory {
34   public:
35     /** Copy constructor. */
36     DecimalQuantity(const DecimalQuantity &other);
37 
38     /** Move constructor. */
39     DecimalQuantity(DecimalQuantity &&src) U_NOEXCEPT;
40 
41     DecimalQuantity();
42 
43     ~DecimalQuantity() override;
44 
45     /**
46      * Sets this instance to be equal to another instance.
47      *
48      * @param other The instance to copy from.
49      */
50     DecimalQuantity &operator=(const DecimalQuantity &other);
51 
52     /** Move assignment */
53     DecimalQuantity &operator=(DecimalQuantity&& src) U_NOEXCEPT;
54 
55     /**
56      * Sets the minimum integer digits that this {@link DecimalQuantity} should generate.
57      * This method does not perform rounding.
58      *
59      * @param minInt The minimum number of integer digits.
60      */
61     void setMinInteger(int32_t minInt);
62 
63     /**
64      * Sets the minimum fraction digits that this {@link DecimalQuantity} should generate.
65      * This method does not perform rounding.
66      *
67      * @param minFrac The minimum number of fraction digits.
68      */
69     void setMinFraction(int32_t minFrac);
70 
71     /**
72      * Truncates digits from the upper magnitude of the number in order to satisfy the
73      * specified maximum number of integer digits.
74      *
75      * @param maxInt The maximum number of integer digits.
76      */
77     void applyMaxInteger(int32_t maxInt);
78 
79     /**
80      * Rounds the number to a specified interval, such as 0.05.
81      *
82      * <p>If rounding to a power of ten, use the more efficient {@link #roundToMagnitude} instead.
83      *
84      * @param roundingIncrement The increment to which to round.
85      * @param roundingMode The {@link RoundingMode} to use if rounding is necessary.
86      */
87     void roundToIncrement(double roundingIncrement, RoundingMode roundingMode,
88                           UErrorCode& status);
89 
90     /** Removes all fraction digits. */
91     void truncate();
92 
93     /**
94      * Rounds the number to the nearest multiple of 5 at the specified magnitude.
95      * For example, when magnitude == -2, this performs rounding to the nearest 0.05.
96      *
97      * @param magnitude The magnitude at which the digit should become either 0 or 5.
98      * @param roundingMode Rounding strategy.
99      */
100     void roundToNickel(int32_t magnitude, RoundingMode roundingMode, UErrorCode& status);
101 
102     /**
103      * Rounds the number to a specified magnitude (power of ten).
104      *
105      * @param roundingMagnitude The power of ten to which to round. For example, a value of -2 will
106      *     round to 2 decimal places.
107      * @param roundingMode The {@link RoundingMode} to use if rounding is necessary.
108      */
109     void roundToMagnitude(int32_t magnitude, RoundingMode roundingMode, UErrorCode& status);
110 
111     /**
112      * Rounds the number to an infinite number of decimal points. This has no effect except for
113      * forcing the double in {@link DecimalQuantity_AbstractBCD} to adopt its exact representation.
114      */
115     void roundToInfinity();
116 
117     /**
118      * Multiply the internal value. Uses decNumber.
119      *
120      * @param multiplicand The value by which to multiply.
121      */
122     void multiplyBy(const DecNum& multiplicand, UErrorCode& status);
123 
124     /**
125      * Divide the internal value. Uses decNumber.
126      *
127      * @param multiplicand The value by which to multiply.
128      */
129     void divideBy(const DecNum& divisor, UErrorCode& status);
130 
131     /** Flips the sign from positive to negative and back. */
132     void negate();
133 
134     /**
135      * Scales the number by a power of ten. For example, if the value is currently "1234.56", calling
136      * this method with delta=-3 will change the value to "1.23456".
137      *
138      * @param delta The number of magnitudes of ten to change by.
139      * @return true if integer overflow occured; false otherwise.
140      */
141     bool adjustMagnitude(int32_t delta);
142 
143     /**
144      * @return The power of ten corresponding to the most significant nonzero digit.
145      * The number must not be zero.
146      */
147     int32_t getMagnitude() const;
148 
149     /**
150      * @return Whether the value represented by this {@link DecimalQuantity} is
151      * zero, infinity, or NaN.
152      */
153     bool isZeroish() const;
154 
155     /** @return Whether the value represented by this {@link DecimalQuantity} is less than zero. */
156     bool isNegative() const;
157 
158     /** @return The appropriate value from the Signum enum. */
159     Signum signum() const;
160 
161     /** @return Whether the value represented by this {@link DecimalQuantity} is infinite. */
162     bool isInfinite() const U_OVERRIDE;
163 
164     /** @return Whether the value represented by this {@link DecimalQuantity} is not a number. */
165     bool isNaN() const U_OVERRIDE;
166 
167     /** @param truncateIfOverflow if false and the number does NOT fit, fails with an assertion error. */
168     int64_t toLong(bool truncateIfOverflow = false) const;
169 
170     uint64_t toFractionLong(bool includeTrailingZeros) const;
171 
172     /**
173      * Returns whether or not a Long can fully represent the value stored in this DecimalQuantity.
174      * @param ignoreFraction if true, silently ignore digits after the decimal place.
175      */
176     bool fitsInLong(bool ignoreFraction = false) const;
177 
178     /** @return The value contained in this {@link DecimalQuantity} approximated as a double. */
179     double toDouble() const;
180 
181     /** Computes a DecNum representation of this DecimalQuantity, saving it to the output parameter. */
182     void toDecNum(DecNum& output, UErrorCode& status) const;
183 
184     DecimalQuantity &setToInt(int32_t n);
185 
186     DecimalQuantity &setToLong(int64_t n);
187 
188     DecimalQuantity &setToDouble(double n);
189 
190     /** decNumber is similar to BigDecimal in Java. */
191     DecimalQuantity &setToDecNumber(StringPiece n, UErrorCode& status);
192 
193     /** Internal method if the caller already has a DecNum. */
194     DecimalQuantity &setToDecNum(const DecNum& n, UErrorCode& status);
195 
196     /**
197      * Appends a digit, optionally with one or more leading zeros, to the end of the value represented
198      * by this DecimalQuantity.
199      *
200      * <p>The primary use of this method is to construct numbers during a parsing loop. It allows
201      * parsing to take advantage of the digit list infrastructure primarily designed for formatting.
202      *
203      * @param value The digit to append.
204      * @param leadingZeros The number of zeros to append before the digit. For example, if the value
205      *     in this instance starts as 12.3, and you append a 4 with 1 leading zero, the value becomes
206      *     12.304.
207      * @param appendAsInteger If true, increase the magnitude of existing digits to make room for the
208      *     new digit. If false, append to the end like a fraction digit. If true, there must not be
209      *     any fraction digits already in the number.
210      * @internal
211      * @deprecated This API is ICU internal only.
212      */
213     void appendDigit(int8_t value, int32_t leadingZeros, bool appendAsInteger);
214 
215     double getPluralOperand(PluralOperand operand) const U_OVERRIDE;
216 
217     bool hasIntegerValue() const U_OVERRIDE;
218 
219     /**
220      * Gets the digit at the specified magnitude. For example, if the represented number is 12.3,
221      * getDigit(-1) returns 3, since 3 is the digit corresponding to 10^-1.
222      *
223      * @param magnitude The magnitude of the digit.
224      * @return The digit at the specified magnitude.
225      */
226     int8_t getDigit(int32_t magnitude) const;
227 
228     /**
229      * Gets the largest power of ten that needs to be displayed. The value returned by this function
230      * will be bounded between minInt and maxInt.
231      *
232      * @return The highest-magnitude digit to be displayed.
233      */
234     int32_t getUpperDisplayMagnitude() const;
235 
236     /**
237      * Gets the smallest power of ten that needs to be displayed. The value returned by this function
238      * will be bounded between -minFrac and -maxFrac.
239      *
240      * @return The lowest-magnitude digit to be displayed.
241      */
242     int32_t getLowerDisplayMagnitude() const;
243 
244     int32_t fractionCount() const;
245 
246     int32_t fractionCountWithoutTrailingZeros() const;
247 
248     void clear();
249 
250     /** This method is for internal testing only. */
251     uint64_t getPositionFingerprint() const;
252 
253 //    /**
254 //     * If the given {@link FieldPosition} is a {@link UFieldPosition}, populates it with the fraction
255 //     * length and fraction long value. If the argument is not a {@link UFieldPosition}, nothing
256 //     * happens.
257 //     *
258 //     * @param fp The {@link UFieldPosition} to populate.
259 //     */
260 //    void populateUFieldPosition(FieldPosition fp);
261 
262     /**
263      * Checks whether the bytes stored in this instance are all valid. For internal unit testing only.
264      *
265      * @return An error message if this instance is invalid, or null if this instance is healthy.
266      */
267     const char16_t* checkHealth() const;
268 
269     UnicodeString toString() const;
270 
271     /** Returns the string in standard exponential notation. */
272     UnicodeString toScientificString() const;
273 
274     /** Returns the string without exponential notation. Slightly slower than toScientificString(). */
275     UnicodeString toPlainString() const;
276 
277     /** Visible for testing */
isUsingBytes()278     inline bool isUsingBytes() { return usingBytes; }
279 
280     /** Visible for testing */
isExplicitExactDouble()281     inline bool isExplicitExactDouble() { return explicitExactDouble; }
282 
283     bool operator==(const DecimalQuantity& other) const;
284 
285     inline bool operator!=(const DecimalQuantity& other) const {
286         return !(*this == other);
287     }
288 
289     /**
290      * Bogus flag for when a DecimalQuantity is stored on the stack.
291      */
292     bool bogus = false;
293 
294   private:
295     /**
296      * The power of ten corresponding to the least significant digit in the BCD. For example, if this
297      * object represents the number "3.14", the BCD will be "0x314" and the scale will be -2.
298      *
299      * <p>Note that in {@link java.math.BigDecimal}, the scale is defined differently: the number of
300      * digits after the decimal place, which is the negative of our definition of scale.
301      */
302     int32_t scale;
303 
304     /**
305      * The number of digits in the BCD. For example, "1007" has BCD "0x1007" and precision 4. The
306      * maximum precision is 16 since a long can hold only 16 digits.
307      *
308      * <p>This value must be re-calculated whenever the value in bcd changes by using {@link
309      * #computePrecisionAndCompact()}.
310      */
311     int32_t precision;
312 
313     /**
314      * A bitmask of properties relating to the number represented by this object.
315      *
316      * @see #NEGATIVE_FLAG
317      * @see #INFINITY_FLAG
318      * @see #NAN_FLAG
319      */
320     int8_t flags;
321 
322     // The following three fields relate to the double-to-ascii fast path algorithm.
323     // When a double is given to DecimalQuantityBCD, it is converted to using a fast algorithm. The
324     // fast algorithm guarantees correctness to only the first ~12 digits of the double. The process
325     // of rounding the number ensures that the converted digits are correct, falling back to a slow-
326     // path algorithm if required.  Therefore, if a DecimalQuantity is constructed from a double, it
327     // is *required* that roundToMagnitude(), roundToIncrement(), or roundToInfinity() is called. If
328     // you don't round, assertions will fail in certain other methods if you try calling them.
329 
330     /**
331      * Whether the value in the BCD comes from the double fast path without having been rounded to
332      * ensure correctness
333      */
334     UBool isApproximate;
335 
336     /**
337      * The original number provided by the user and which is represented in BCD. Used when we need to
338      * re-compute the BCD for an exact double representation.
339      */
340     double origDouble;
341 
342     /**
343      * The change in magnitude relative to the original double. Used when we need to re-compute the
344      * BCD for an exact double representation.
345      */
346     int32_t origDelta;
347 
348     // Positions to keep track of leading and trailing zeros.
349     // lReqPos is the magnitude of the first required leading zero.
350     // rReqPos is the magnitude of the last required trailing zero.
351     int32_t lReqPos = 0;
352     int32_t rReqPos = 0;
353 
354     /**
355      * The BCD of the 16 digits of the number represented by this object. Every 4 bits of the long map
356      * to one digit. For example, the number "12345" in BCD is "0x12345".
357      *
358      * <p>Whenever bcd changes internally, {@link #compact()} must be called, except in special cases
359      * like setting the digit to zero.
360      */
361     union {
362         struct {
363             int8_t *ptr;
364             int32_t len;
365         } bcdBytes;
366         uint64_t bcdLong;
367     } fBCD;
368 
369     bool usingBytes = false;
370 
371     /**
372      * Whether this {@link DecimalQuantity} has been explicitly converted to an exact double. true if
373      * backed by a double that was explicitly converted via convertToAccurateDouble; false otherwise.
374      * Used for testing.
375      */
376     bool explicitExactDouble = false;
377 
378     void roundToMagnitude(int32_t magnitude, RoundingMode roundingMode, bool nickel, UErrorCode& status);
379 
380     /**
381      * Returns a single digit from the BCD list. No internal state is changed by calling this method.
382      *
383      * @param position The position of the digit to pop, counted in BCD units from the least
384      *     significant digit. If outside the range supported by the implementation, zero is returned.
385      * @return The digit at the specified location.
386      */
387     int8_t getDigitPos(int32_t position) const;
388 
389     /**
390      * Sets the digit in the BCD list. This method only sets the digit; it is the caller's
391      * responsibility to call {@link #compact} after setting the digit.
392      *
393      * @param position The position of the digit to pop, counted in BCD units from the least
394      *     significant digit. If outside the range supported by the implementation, an AssertionError
395      *     is thrown.
396      * @param value The digit to set at the specified location.
397      */
398     void setDigitPos(int32_t position, int8_t value);
399 
400     /**
401      * Adds zeros to the end of the BCD list. This will result in an invalid BCD representation; it is
402      * the caller's responsibility to do further manipulation and then call {@link #compact}.
403      *
404      * @param numDigits The number of zeros to add.
405      */
406     void shiftLeft(int32_t numDigits);
407 
408     /**
409      * Directly removes digits from the end of the BCD list.
410      * Updates the scale and precision.
411      *
412      * CAUTION: it is the caller's responsibility to call {@link #compact} after this method.
413      */
414     void shiftRight(int32_t numDigits);
415 
416     /**
417      * Directly removes digits from the front of the BCD list.
418      * Updates precision.
419      *
420      * CAUTION: it is the caller's responsibility to call {@link #compact} after this method.
421      */
422     void popFromLeft(int32_t numDigits);
423 
424     /**
425      * Sets the internal representation to zero. Clears any values stored in scale, precision,
426      * hasDouble, origDouble, origDelta, and BCD data.
427      */
428     void setBcdToZero();
429 
430     /**
431      * Sets the internal BCD state to represent the value in the given int. The int is guaranteed to
432      * be either positive. The internal state is guaranteed to be empty when this method is called.
433      *
434      * @param n The value to consume.
435      */
436     void readIntToBcd(int32_t n);
437 
438     /**
439      * Sets the internal BCD state to represent the value in the given long. The long is guaranteed to
440      * be either positive. The internal state is guaranteed to be empty when this method is called.
441      *
442      * @param n The value to consume.
443      */
444     void readLongToBcd(int64_t n);
445 
446     void readDecNumberToBcd(const DecNum& dn);
447 
448     void readDoubleConversionToBcd(const char* buffer, int32_t length, int32_t point);
449 
450     void copyFieldsFrom(const DecimalQuantity& other);
451 
452     void copyBcdFrom(const DecimalQuantity &other);
453 
454     void moveBcdFrom(DecimalQuantity& src);
455 
456     /**
457      * Removes trailing zeros from the BCD (adjusting the scale as required) and then computes the
458      * precision. The precision is the number of digits in the number up through the greatest nonzero
459      * digit.
460      *
461      * <p>This method must always be called when bcd changes in order for assumptions to be correct in
462      * methods like {@link #fractionCount()}.
463      */
464     void compact();
465 
466     void _setToInt(int32_t n);
467 
468     void _setToLong(int64_t n);
469 
470     void _setToDoubleFast(double n);
471 
472     void _setToDecNum(const DecNum& dn, UErrorCode& status);
473 
474     void convertToAccurateDouble();
475 
476     /** Ensure that a byte array of at least 40 digits is allocated. */
477     void ensureCapacity();
478 
479     void ensureCapacity(int32_t capacity);
480 
481     /** Switches the internal storage mechanism between the 64-bit long and the byte array. */
482     void switchStorage();
483 };
484 
485 } // namespace impl
486 } // namespace number
487 U_NAMESPACE_END
488 
489 
490 #endif //__NUMBER_DECIMALQUANTITY_H__
491 
492 #endif /* #if !UCONFIG_NO_FORMATTING */
493