| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397 |
- // Licensed to the .NET Foundation under one or more agreements.
- // The .NET Foundation licenses this file to you under the MIT license.
- // See the LICENSE file in the project root for more information.
- using System.Buffers.Text;
- using System.Diagnostics;
- using System.Globalization;
- using System.Runtime.CompilerServices;
- using System.Runtime.InteropServices;
- using System.Text;
- namespace System
- {
- // The Format methods provided by the numeric classes convert
- // the numeric value to a string using the format string given by the
- // format parameter. If the format parameter is null or
- // an empty string, the number is formatted as if the string "G" (general
- // format) was specified. The info parameter specifies the
- // NumberFormatInfo instance to use when formatting the number. If the
- // info parameter is null or omitted, the numeric formatting information
- // is obtained from the current culture. The NumberFormatInfo supplies
- // such information as the characters to use for decimal and thousand
- // separators, and the spelling and placement of currency symbols in monetary
- // values.
- //
- // Format strings fall into two categories: Standard format strings and
- // user-defined format strings. A format string consisting of a single
- // alphabetic character (A-Z or a-z), optionally followed by a sequence of
- // digits (0-9), is a standard format string. All other format strings are
- // used-defined format strings.
- //
- // A standard format string takes the form Axx, where A is an
- // alphabetic character called the format specifier and xx is a
- // sequence of digits called the precision specifier. The format
- // specifier controls the type of formatting applied to the number and the
- // precision specifier controls the number of significant digits or decimal
- // places of the formatting operation. The following table describes the
- // supported standard formats.
- //
- // C c - Currency format. The number is
- // converted to a string that represents a currency amount. The conversion is
- // controlled by the currency format information of the NumberFormatInfo
- // used to format the number. The precision specifier indicates the desired
- // number of decimal places. If the precision specifier is omitted, the default
- // currency precision given by the NumberFormatInfo is used.
- //
- // D d - Decimal format. This format is
- // supported for integral types only. The number is converted to a string of
- // decimal digits, prefixed by a minus sign if the number is negative. The
- // precision specifier indicates the minimum number of digits desired in the
- // resulting string. If required, the number will be left-padded with zeros to
- // produce the number of digits given by the precision specifier.
- //
- // E e Engineering (scientific) format.
- // The number is converted to a string of the form
- // "-d.ddd...E+ddd" or "-d.ddd...e+ddd", where each
- // 'd' indicates a digit (0-9). The string starts with a minus sign if the
- // number is negative, and one digit always precedes the decimal point. The
- // precision specifier indicates the desired number of digits after the decimal
- // point. If the precision specifier is omitted, a default of 6 digits after
- // the decimal point is used. The format specifier indicates whether to prefix
- // the exponent with an 'E' or an 'e'. The exponent is always consists of a
- // plus or minus sign and three digits.
- //
- // F f Fixed point format. The number is
- // converted to a string of the form "-ddd.ddd....", where each
- // 'd' indicates a digit (0-9). The string starts with a minus sign if the
- // number is negative. The precision specifier indicates the desired number of
- // decimal places. If the precision specifier is omitted, the default numeric
- // precision given by the NumberFormatInfo is used.
- //
- // G g - General format. The number is
- // converted to the shortest possible decimal representation using fixed point
- // or scientific format. The precision specifier determines the number of
- // significant digits in the resulting string. If the precision specifier is
- // omitted, the number of significant digits is determined by the type of the
- // number being converted (10 for int, 19 for long, 7 for
- // float, 15 for double, 19 for Currency, and 29 for
- // Decimal). Trailing zeros after the decimal point are removed, and the
- // resulting string contains a decimal point only if required. The resulting
- // string uses fixed point format if the exponent of the number is less than
- // the number of significant digits and greater than or equal to -4. Otherwise,
- // the resulting string uses scientific format, and the case of the format
- // specifier controls whether the exponent is prefixed with an 'E' or an 'e'.
- //
- // N n Number format. The number is
- // converted to a string of the form "-d,ddd,ddd.ddd....", where
- // each 'd' indicates a digit (0-9). The string starts with a minus sign if the
- // number is negative. Thousand separators are inserted between each group of
- // three digits to the left of the decimal point. The precision specifier
- // indicates the desired number of decimal places. If the precision specifier
- // is omitted, the default numeric precision given by the
- // NumberFormatInfo is used.
- //
- // X x - Hexadecimal format. This format is
- // supported for integral types only. The number is converted to a string of
- // hexadecimal digits. The format specifier indicates whether to use upper or
- // lower case characters for the hexadecimal digits above 9 ('X' for 'ABCDEF',
- // and 'x' for 'abcdef'). The precision specifier indicates the minimum number
- // of digits desired in the resulting string. If required, the number will be
- // left-padded with zeros to produce the number of digits given by the
- // precision specifier.
- //
- // Some examples of standard format strings and their results are shown in the
- // table below. (The examples all assume a default NumberFormatInfo.)
- //
- // Value Format Result
- // 12345.6789 C $12,345.68
- // -12345.6789 C ($12,345.68)
- // 12345 D 12345
- // 12345 D8 00012345
- // 12345.6789 E 1.234568E+004
- // 12345.6789 E10 1.2345678900E+004
- // 12345.6789 e4 1.2346e+004
- // 12345.6789 F 12345.68
- // 12345.6789 F0 12346
- // 12345.6789 F6 12345.678900
- // 12345.6789 G 12345.6789
- // 12345.6789 G7 12345.68
- // 123456789 G7 1.234568E8
- // 12345.6789 N 12,345.68
- // 123456789 N4 123,456,789.0000
- // 0x2c45e x 2c45e
- // 0x2c45e X 2C45E
- // 0x2c45e X8 0002C45E
- //
- // Format strings that do not start with an alphabetic character, or that start
- // with an alphabetic character followed by a non-digit, are called
- // user-defined format strings. The following table describes the formatting
- // characters that are supported in user defined format strings.
- //
- //
- // 0 - Digit placeholder. If the value being
- // formatted has a digit in the position where the '0' appears in the format
- // string, then that digit is copied to the output string. Otherwise, a '0' is
- // stored in that position in the output string. The position of the leftmost
- // '0' before the decimal point and the rightmost '0' after the decimal point
- // determines the range of digits that are always present in the output
- // string.
- //
- // # - Digit placeholder. If the value being
- // formatted has a digit in the position where the '#' appears in the format
- // string, then that digit is copied to the output string. Otherwise, nothing
- // is stored in that position in the output string.
- //
- // . - Decimal point. The first '.' character
- // in the format string determines the location of the decimal separator in the
- // formatted value; any additional '.' characters are ignored. The actual
- // character used as a the decimal separator in the output string is given by
- // the NumberFormatInfo used to format the number.
- //
- // , - Thousand separator and number scaling.
- // The ',' character serves two purposes. First, if the format string contains
- // a ',' character between two digit placeholders (0 or #) and to the left of
- // the decimal point if one is present, then the output will have thousand
- // separators inserted between each group of three digits to the left of the
- // decimal separator. The actual character used as a the decimal separator in
- // the output string is given by the NumberFormatInfo used to format the
- // number. Second, if the format string contains one or more ',' characters
- // immediately to the left of the decimal point, or after the last digit
- // placeholder if there is no decimal point, then the number will be divided by
- // 1000 times the number of ',' characters before it is formatted. For example,
- // the format string '0,,' will represent 100 million as just 100. Use of the
- // ',' character to indicate scaling does not also cause the formatted number
- // to have thousand separators. Thus, to scale a number by 1 million and insert
- // thousand separators you would use the format string '#,##0,,'.
- //
- // % - Percentage placeholder. The presence of
- // a '%' character in the format string causes the number to be multiplied by
- // 100 before it is formatted. The '%' character itself is inserted in the
- // output string where it appears in the format string.
- //
- // E+ E- e+ e- - Scientific notation.
- // If any of the strings 'E+', 'E-', 'e+', or 'e-' are present in the format
- // string and are immediately followed by at least one '0' character, then the
- // number is formatted using scientific notation with an 'E' or 'e' inserted
- // between the number and the exponent. The number of '0' characters following
- // the scientific notation indicator determines the minimum number of digits to
- // output for the exponent. The 'E+' and 'e+' formats indicate that a sign
- // character (plus or minus) should always precede the exponent. The 'E-' and
- // 'e-' formats indicate that a sign character should only precede negative
- // exponents.
- //
- // \ - Literal character. A backslash character
- // causes the next character in the format string to be copied to the output
- // string as-is. The backslash itself isn't copied, so to place a backslash
- // character in the output string, use two backslashes (\\) in the format
- // string.
- //
- // 'ABC' "ABC" - Literal string. Characters
- // enclosed in single or double quotation marks are copied to the output string
- // as-is and do not affect formatting.
- //
- // ; - Section separator. The ';' character is
- // used to separate sections for positive, negative, and zero numbers in the
- // format string.
- //
- // Other - All other characters are copied to
- // the output string in the position they appear.
- //
- // For fixed point formats (formats not containing an 'E+', 'E-', 'e+', or
- // 'e-'), the number is rounded to as many decimal places as there are digit
- // placeholders to the right of the decimal point. If the format string does
- // not contain a decimal point, the number is rounded to the nearest
- // integer. If the number has more digits than there are digit placeholders to
- // the left of the decimal point, the extra digits are copied to the output
- // string immediately before the first digit placeholder.
- //
- // For scientific formats, the number is rounded to as many significant digits
- // as there are digit placeholders in the format string.
- //
- // To allow for different formatting of positive, negative, and zero values, a
- // user-defined format string may contain up to three sections separated by
- // semicolons. The results of having one, two, or three sections in the format
- // string are described in the table below.
- //
- // Sections:
- //
- // One - The format string applies to all values.
- //
- // Two - The first section applies to positive values
- // and zeros, and the second section applies to negative values. If the number
- // to be formatted is negative, but becomes zero after rounding according to
- // the format in the second section, then the resulting zero is formatted
- // according to the first section.
- //
- // Three - The first section applies to positive
- // values, the second section applies to negative values, and the third section
- // applies to zeros. The second section may be left empty (by having no
- // characters between the semicolons), in which case the first section applies
- // to all non-zero values. If the number to be formatted is non-zero, but
- // becomes zero after rounding according to the format in the first or second
- // section, then the resulting zero is formatted according to the third
- // section.
- //
- // For both standard and user-defined formatting operations on values of type
- // float and double, if the value being formatted is a NaN (Not
- // a Number) or a positive or negative infinity, then regardless of the format
- // string, the resulting string is given by the NaNSymbol,
- // PositiveInfinitySymbol, or NegativeInfinitySymbol property of
- // the NumberFormatInfo used to format the number.
- internal static partial class Number
- {
- internal const int DecimalPrecision = 29; // Decimal.DecCalc also uses this value
- private const int SinglePrecision = 7;
- private const int DoublePrecision = 15;
- private const int ScaleNAN = unchecked((int)0x80000000);
- private const int ScaleINF = 0x7FFFFFFF;
- private const int MaxUInt32DecDigits = 10;
- private const int CharStackBufferSize = 32;
- private const string PosNumberFormat = "#";
- private static readonly string[] s_singleDigitStringCache = { "0", "1", "2", "3", "4", "5", "6", "7", "8", "9" };
- private static readonly string[] s_posCurrencyFormats =
- {
- "$#", "#$", "$ #", "# $"
- };
- private static readonly string[] s_negCurrencyFormats =
- {
- "($#)", "-$#", "$-#", "$#-",
- "(#$)", "-#$", "#-$", "#$-",
- "-# $", "-$ #", "# $-", "$ #-",
- "$ -#", "#- $", "($ #)", "(# $)"
- };
- private static readonly string[] s_posPercentFormats =
- {
- "# %", "#%", "%#", "% #"
- };
- private static readonly string[] s_negPercentFormats =
- {
- "-# %", "-#%", "-%#",
- "%-#", "%#-",
- "#-%", "#%-",
- "-% #", "# %-", "% #-",
- "% -#", "#- %"
- };
- private static readonly string[] s_negNumberFormats =
- {
- "(#)", "-#", "- #", "#-", "# -",
- };
- public static unsafe string FormatDecimal(decimal value, ReadOnlySpan<char> format, NumberFormatInfo info)
- {
- char fmt = ParseFormatSpecifier(format, out int digits);
- byte* pDigits = stackalloc byte[DecimalNumberBufferLength];
- NumberBuffer number = new NumberBuffer(NumberBufferKind.Decimal, pDigits, DecimalNumberBufferLength);
- DecimalToNumber(ref value, ref number);
- char* stackPtr = stackalloc char[CharStackBufferSize];
- ValueStringBuilder sb = new ValueStringBuilder(new Span<char>(stackPtr, CharStackBufferSize));
- if (fmt != 0)
- {
- NumberToString(ref sb, ref number, fmt, digits, info);
- }
- else
- {
- NumberToStringFormat(ref sb, ref number, format, info);
- }
- return sb.ToString();
- }
- public static unsafe bool TryFormatDecimal(decimal value, ReadOnlySpan<char> format, NumberFormatInfo info, Span<char> destination, out int charsWritten)
- {
- char fmt = ParseFormatSpecifier(format, out int digits);
- byte* pDigits = stackalloc byte[DecimalNumberBufferLength];
- NumberBuffer number = new NumberBuffer(NumberBufferKind.Decimal, pDigits, DecimalNumberBufferLength);
- DecimalToNumber(ref value, ref number);
- char* stackPtr = stackalloc char[CharStackBufferSize];
- ValueStringBuilder sb = new ValueStringBuilder(new Span<char>(stackPtr, CharStackBufferSize));
- if (fmt != 0)
- {
- NumberToString(ref sb, ref number, fmt, digits, info);
- }
- else
- {
- NumberToStringFormat(ref sb, ref number, format, info);
- }
- return sb.TryCopyTo(destination, out charsWritten);
- }
- internal static unsafe void DecimalToNumber(ref decimal d, ref NumberBuffer number)
- {
- byte* buffer = number.GetDigitsPointer();
- number.DigitsCount = DecimalPrecision;
- number.IsNegative = d.IsNegative;
- byte* p = buffer + DecimalPrecision;
- while ((d.Mid | d.High) != 0)
- {
- p = UInt32ToDecChars(p, decimal.DecDivMod1E9(ref d), 9);
- }
- p = UInt32ToDecChars(p, d.Low, 0);
- int i = (int)((buffer + DecimalPrecision) - p);
- number.DigitsCount = i;
- number.Scale = i - d.Scale;
- byte* dst = number.GetDigitsPointer();
- while (--i >= 0)
- {
- *dst++ = *p++;
- }
- *dst = (byte)('\0');
- number.CheckConsistency();
- }
- public static string FormatDouble(double value, string format, NumberFormatInfo info)
- {
- Span<char> stackBuffer = stackalloc char[CharStackBufferSize];
- var sb = new ValueStringBuilder(stackBuffer);
- return FormatDouble(ref sb, value, format, info) ?? sb.ToString();
- }
- public static bool TryFormatDouble(double value, ReadOnlySpan<char> format, NumberFormatInfo info, Span<char> destination, out int charsWritten)
- {
- Span<char> stackBuffer = stackalloc char[CharStackBufferSize];
- var sb = new ValueStringBuilder(stackBuffer);
- string s = FormatDouble(ref sb, value, format, info);
- return s != null ?
- TryCopyTo(s, destination, out charsWritten) :
- sb.TryCopyTo(destination, out charsWritten);
- }
- /// <summary>Formats the specified value according to the specified format and info.</summary>
- /// <returns>
- /// Non-null if an existing string can be returned, in which case the builder will be unmodified.
- /// Null if no existing string was returned, in which case the formatted output is in the builder.
- /// </returns>
- private static unsafe string FormatDouble(ref ValueStringBuilder sb, double value, ReadOnlySpan<char> format, NumberFormatInfo info)
- {
- char fmt = ParseFormatSpecifier(format, out int digits);
- int precision = DoublePrecision;
- byte* pDigits = stackalloc byte[DoubleNumberBufferLength];
- NumberBuffer number = new NumberBuffer(NumberBufferKind.FloatingPoint, pDigits, DoubleNumberBufferLength);
- switch (fmt)
- {
- case 'R':
- case 'r':
- {
- // In order to give numbers that are both friendly to display and round-trippable, we parse the
- // number using 15 digits and then determine if it round trips to the same value. If it does, we
- // convert that NUMBER to a string, otherwise we reparse using 17 digits and display that.
- DoubleToNumber(value, DoublePrecision, ref number);
- if (number.Scale == ScaleNAN)
- {
- return info.NaNSymbol;
- }
- else if (number.Scale == ScaleINF)
- {
- return number.IsNegative ? info.NegativeInfinitySymbol : info.PositiveInfinitySymbol;
- }
- double roundTrip = NumberToDouble(ref number);
- if (roundTrip == value)
- {
- NumberToString(ref sb, ref number, 'G', DoublePrecision, info);
- }
- else
- {
- DoubleToNumber(value, 17, ref number);
- NumberToString(ref sb, ref number, 'G', 17, info);
- }
- return null;
- }
- case 'E':
- case 'e':
- // Round values less than E14 to 15 digits
- if (digits > 14)
- {
- precision = 17;
- }
- break;
- case 'G':
- case 'g':
- // Round values less than G15 to 15 digits. G16 and G17 will not be touched.
- if (digits > 15)
- {
- precision = 17;
- }
- break;
- }
- DoubleToNumber(value, precision, ref number);
- if (number.Scale == ScaleNAN)
- {
- return info.NaNSymbol;
- }
- else if (number.Scale == ScaleINF)
- {
- return number.IsNegative ? info.NegativeInfinitySymbol : info.PositiveInfinitySymbol;
- }
- if (fmt != 0)
- {
- NumberToString(ref sb, ref number, fmt, digits, info);
- }
- else
- {
- NumberToStringFormat(ref sb, ref number, format, info);
- }
- return null;
- }
- public static string FormatSingle(float value, string format, NumberFormatInfo info)
- {
- Span<char> stackBuffer = stackalloc char[CharStackBufferSize];
- var sb = new ValueStringBuilder(stackBuffer);
- return FormatSingle(ref sb, value, format, info) ?? sb.ToString();
- }
- public static bool TryFormatSingle(float value, ReadOnlySpan<char> format, NumberFormatInfo info, Span<char> destination, out int charsWritten)
- {
- Span<char> stackBuffer = stackalloc char[CharStackBufferSize];
- var sb = new ValueStringBuilder(stackBuffer);
- string s = FormatSingle(ref sb, value, format, info);
- return s != null ?
- TryCopyTo(s, destination, out charsWritten) :
- sb.TryCopyTo(destination, out charsWritten);
- }
- /// <summary>Formats the specified value according to the specified format and info.</summary>
- /// <returns>
- /// Non-null if an existing string can be returned, in which case the builder will be unmodified.
- /// Null if no existing string was returned, in which case the formatted output is in the builder.
- /// </returns>
- private static unsafe string FormatSingle(ref ValueStringBuilder sb, float value, ReadOnlySpan<char> format, NumberFormatInfo info)
- {
- char fmt = ParseFormatSpecifier(format, out int digits);
- int precision = SinglePrecision;
- byte* pDigits = stackalloc byte[SingleNumberBufferLength];
- NumberBuffer number = new NumberBuffer(NumberBufferKind.FloatingPoint, pDigits, SingleNumberBufferLength);
- switch (fmt)
- {
- case 'R':
- case 'r':
- {
- // In order to give numbers that are both friendly to display and round-trippable, we parse the
- // number using 7 digits and then determine if it round trips to the same value. If it does, we
- // convert that NUMBER to a string, otherwise we reparse using 9 digits and display that.
- DoubleToNumber(value, SinglePrecision, ref number);
- if (number.Scale == ScaleNAN)
- {
- return info.NaNSymbol;
- }
- else if (number.Scale == ScaleINF)
- {
- return number.IsNegative ? info.NegativeInfinitySymbol : info.PositiveInfinitySymbol;
- }
- float roundTrip = NumberToSingle(ref number);
- if (roundTrip == value)
- {
- NumberToString(ref sb, ref number, 'G', SinglePrecision, info);
- }
- else
- {
- DoubleToNumber(value, 9, ref number);
- NumberToString(ref sb, ref number, 'G', 9, info);
- }
- return null;
- }
- case 'E':
- case 'e':
- // Round values less than E14 to 15 digits.
- if (digits > 6)
- {
- precision = 9;
- }
- break;
- case 'G':
- case 'g':
- // Round values less than G15 to 15 digits. G16 and G17 will not be touched.
- if (digits > 7)
- {
- precision = 9;
- }
- break;
- }
- DoubleToNumber(value, precision, ref number);
- if (number.Scale == ScaleNAN)
- {
- return info.NaNSymbol;
- }
- else if (number.Scale == ScaleINF)
- {
- return number.IsNegative ? info.NegativeInfinitySymbol : info.PositiveInfinitySymbol;
- }
- if (fmt != 0)
- {
- NumberToString(ref sb, ref number, fmt, digits, info);
- }
- else
- {
- NumberToStringFormat(ref sb, ref number, format, info);
- }
- return null;
- }
- private static bool TryCopyTo(string source, Span<char> destination, out int charsWritten)
- {
- Debug.Assert(source != null);
- if (source.AsSpan().TryCopyTo(destination))
- {
- charsWritten = source.Length;
- return true;
- }
- charsWritten = 0;
- return false;
- }
- public static unsafe string FormatInt32(int value, ReadOnlySpan<char> format, IFormatProvider provider)
- {
- // Fast path for default format with a non-negative value
- if (value >= 0 && format.Length == 0)
- {
- return UInt32ToDecStr((uint)value, digits: -1);
- }
- char fmt = ParseFormatSpecifier(format, out int digits);
- char fmtUpper = (char)(fmt & 0xFFDF); // ensure fmt is upper-cased for purposes of comparison
- if ((fmtUpper == 'G' && digits < 1) || fmtUpper == 'D')
- {
- return value >= 0 ?
- UInt32ToDecStr((uint)value, digits) :
- NegativeInt32ToDecStr(value, digits, NumberFormatInfo.GetInstance(provider).NegativeSign);
- }
- else if (fmtUpper == 'X')
- {
- // The fmt-(X-A+10) hack has the effect of dictating whether we produce uppercase or lowercase
- // hex numbers for a-f. 'X' as the fmt code produces uppercase. 'x' as the format code produces lowercase.
- return Int32ToHexStr(value, (char)(fmt - ('X' - 'A' + 10)), digits);
- }
- else
- {
- NumberFormatInfo info = NumberFormatInfo.GetInstance(provider);
- byte* pDigits = stackalloc byte[Int32NumberBufferLength];
- NumberBuffer number = new NumberBuffer(NumberBufferKind.Integer, pDigits, Int32NumberBufferLength);
- Int32ToNumber(value, ref number);
- char* stackPtr = stackalloc char[CharStackBufferSize];
- ValueStringBuilder sb = new ValueStringBuilder(new Span<char>(stackPtr, CharStackBufferSize));
- if (fmt != 0)
- {
- NumberToString(ref sb, ref number, fmt, digits, info);
- }
- else
- {
- NumberToStringFormat(ref sb, ref number, format, info);
- }
- return sb.ToString();
- }
- }
- public static unsafe bool TryFormatInt32(int value, ReadOnlySpan<char> format, IFormatProvider provider, Span<char> destination, out int charsWritten)
- {
- // Fast path for default format with a non-negative value
- if (value >= 0 && format.Length == 0)
- {
- return TryUInt32ToDecStr((uint)value, digits: -1, destination, out charsWritten);
- }
- char fmt = ParseFormatSpecifier(format, out int digits);
- char fmtUpper = (char)(fmt & 0xFFDF); // ensure fmt is upper-cased for purposes of comparison
- if ((fmtUpper == 'G' && digits < 1) || fmtUpper == 'D')
- {
- return value >= 0 ?
- TryUInt32ToDecStr((uint)value, digits, destination, out charsWritten) :
- TryNegativeInt32ToDecStr(value, digits, NumberFormatInfo.GetInstance(provider).NegativeSign, destination, out charsWritten);
- }
- else if (fmtUpper == 'X')
- {
- // The fmt-(X-A+10) hack has the effect of dictating whether we produce uppercase or lowercase
- // hex numbers for a-f. 'X' as the fmt code produces uppercase. 'x' as the format code produces lowercase.
- return TryInt32ToHexStr(value, (char)(fmt - ('X' - 'A' + 10)), digits, destination, out charsWritten);
- }
- else
- {
- NumberFormatInfo info = NumberFormatInfo.GetInstance(provider);
- byte* pDigits = stackalloc byte[Int32NumberBufferLength];
- NumberBuffer number = new NumberBuffer(NumberBufferKind.Integer, pDigits, Int32NumberBufferLength);
- Int32ToNumber(value, ref number);
- char* stackPtr = stackalloc char[CharStackBufferSize];
- ValueStringBuilder sb = new ValueStringBuilder(new Span<char>(stackPtr, CharStackBufferSize));
- if (fmt != 0)
- {
- NumberToString(ref sb, ref number, fmt, digits, info);
- }
- else
- {
- NumberToStringFormat(ref sb, ref number, format, info);
- }
- return sb.TryCopyTo(destination, out charsWritten);
- }
- }
- public static unsafe string FormatUInt32(uint value, ReadOnlySpan<char> format, IFormatProvider provider)
- {
- // Fast path for default format
- if (format.Length == 0)
- {
- return UInt32ToDecStr(value, digits: -1);
- }
- char fmt = ParseFormatSpecifier(format, out int digits);
- char fmtUpper = (char)(fmt & 0xFFDF); // ensure fmt is upper-cased for purposes of comparison
- if ((fmtUpper == 'G' && digits < 1) || fmtUpper == 'D')
- {
- return UInt32ToDecStr(value, digits);
- }
- else if (fmtUpper == 'X')
- {
- // The fmt-(X-A+10) hack has the effect of dictating whether we produce uppercase or lowercase
- // hex numbers for a-f. 'X' as the fmt code produces uppercase. 'x' as the format code produces lowercase.
- return Int32ToHexStr((int)value, (char)(fmt - ('X' - 'A' + 10)), digits);
- }
- else
- {
- NumberFormatInfo info = NumberFormatInfo.GetInstance(provider);
- byte* pDigits = stackalloc byte[UInt32NumberBufferLength];
- NumberBuffer number = new NumberBuffer(NumberBufferKind.Integer, pDigits, UInt32NumberBufferLength);
- UInt32ToNumber(value, ref number);
- char* stackPtr = stackalloc char[CharStackBufferSize];
- ValueStringBuilder sb = new ValueStringBuilder(new Span<char>(stackPtr, CharStackBufferSize));
- if (fmt != 0)
- {
- NumberToString(ref sb, ref number, fmt, digits, info);
- }
- else
- {
- NumberToStringFormat(ref sb, ref number, format, info);
- }
- return sb.ToString();
- }
- }
- public static unsafe bool TryFormatUInt32(uint value, ReadOnlySpan<char> format, IFormatProvider provider, Span<char> destination, out int charsWritten)
- {
- // Fast path for default format
- if (format.Length == 0)
- {
- return TryUInt32ToDecStr(value, digits: -1, destination, out charsWritten);
- }
- char fmt = ParseFormatSpecifier(format, out int digits);
- char fmtUpper = (char)(fmt & 0xFFDF); // ensure fmt is upper-cased for purposes of comparison
- if ((fmtUpper == 'G' && digits < 1) || fmtUpper == 'D')
- {
- return TryUInt32ToDecStr(value, digits, destination, out charsWritten);
- }
- else if (fmtUpper == 'X')
- {
- // The fmt-(X-A+10) hack has the effect of dictating whether we produce uppercase or lowercase
- // hex numbers for a-f. 'X' as the fmt code produces uppercase. 'x' as the format code produces lowercase.
- return TryInt32ToHexStr((int)value, (char)(fmt - ('X' - 'A' + 10)), digits, destination, out charsWritten);
- }
- else
- {
- NumberFormatInfo info = NumberFormatInfo.GetInstance(provider);
- byte* pDigits = stackalloc byte[UInt32NumberBufferLength];
- NumberBuffer number = new NumberBuffer(NumberBufferKind.Integer, pDigits, UInt32NumberBufferLength);
- UInt32ToNumber(value, ref number);
- char* stackPtr = stackalloc char[CharStackBufferSize];
- ValueStringBuilder sb = new ValueStringBuilder(new Span<char>(stackPtr, CharStackBufferSize));
- if (fmt != 0)
- {
- NumberToString(ref sb, ref number, fmt, digits, info);
- }
- else
- {
- NumberToStringFormat(ref sb, ref number, format, info);
- }
- return sb.TryCopyTo(destination, out charsWritten);
- }
- }
- public static unsafe string FormatInt64(long value, ReadOnlySpan<char> format, IFormatProvider provider)
- {
- // Fast path for default format with a non-negative value
- if (value >= 0 && format.Length == 0)
- {
- return UInt64ToDecStr((ulong)value, digits: -1);
- }
- char fmt = ParseFormatSpecifier(format, out int digits);
- char fmtUpper = (char)(fmt & 0xFFDF); // ensure fmt is upper-cased for purposes of comparison
- if ((fmtUpper == 'G' && digits < 1) || fmtUpper == 'D')
- {
- return value >= 0 ?
- UInt64ToDecStr((ulong)value, digits) :
- NegativeInt64ToDecStr(value, digits, NumberFormatInfo.GetInstance(provider).NegativeSign);
- }
- else if (fmtUpper == 'X')
- {
- // The fmt-(X-A+10) hack has the effect of dictating whether we produce uppercase or lowercase
- // hex numbers for a-f. 'X' as the fmt code produces uppercase. 'x' as the format code
- // produces lowercase.
- return Int64ToHexStr(value, (char)(fmt - ('X' - 'A' + 10)), digits);
- }
- else
- {
- NumberFormatInfo info = NumberFormatInfo.GetInstance(provider);
- byte* pDigits = stackalloc byte[Int64NumberBufferLength];
- NumberBuffer number = new NumberBuffer(NumberBufferKind.Integer, pDigits, Int64NumberBufferLength);
- Int64ToNumber(value, ref number);
- char* stackPtr = stackalloc char[CharStackBufferSize];
- ValueStringBuilder sb = new ValueStringBuilder(new Span<char>(stackPtr, CharStackBufferSize));
- if (fmt != 0)
- {
- NumberToString(ref sb, ref number, fmt, digits, info);
- }
- else
- {
- NumberToStringFormat(ref sb, ref number, format, info);
- }
- return sb.ToString();
- }
- }
- public static unsafe bool TryFormatInt64(long value, ReadOnlySpan<char> format, IFormatProvider provider, Span<char> destination, out int charsWritten)
- {
- // Fast path for default format with a non-negative value
- if (value >= 0 && format.Length == 0)
- {
- return TryUInt64ToDecStr((ulong)value, digits: -1, destination, out charsWritten);
- }
- char fmt = ParseFormatSpecifier(format, out int digits);
- char fmtUpper = (char)(fmt & 0xFFDF); // ensure fmt is upper-cased for purposes of comparison
- if ((fmtUpper == 'G' && digits < 1) || fmtUpper == 'D')
- {
- return value >= 0 ?
- TryUInt64ToDecStr((ulong)value, digits, destination, out charsWritten) :
- TryNegativeInt64ToDecStr(value, digits, NumberFormatInfo.GetInstance(provider).NegativeSign, destination, out charsWritten);
- }
- else if (fmtUpper == 'X')
- {
- // The fmt-(X-A+10) hack has the effect of dictating whether we produce uppercase or lowercase
- // hex numbers for a-f. 'X' as the fmt code produces uppercase. 'x' as the format code
- // produces lowercase.
- return TryInt64ToHexStr(value, (char)(fmt - ('X' - 'A' + 10)), digits, destination, out charsWritten);
- }
- else
- {
- NumberFormatInfo info = NumberFormatInfo.GetInstance(provider);
- byte* pDigits = stackalloc byte[Int64NumberBufferLength];
- NumberBuffer number = new NumberBuffer(NumberBufferKind.Integer, pDigits, Int64NumberBufferLength);
- Int64ToNumber(value, ref number);
- char* stackPtr = stackalloc char[CharStackBufferSize];
- ValueStringBuilder sb = new ValueStringBuilder(new Span<char>(stackPtr, CharStackBufferSize));
- if (fmt != 0)
- {
- NumberToString(ref sb, ref number, fmt, digits, info);
- }
- else
- {
- NumberToStringFormat(ref sb, ref number, format, info);
- }
- return sb.TryCopyTo(destination, out charsWritten);
- }
- }
- public static unsafe string FormatUInt64(ulong value, ReadOnlySpan<char> format, IFormatProvider provider)
- {
- // Fast path for default format
- if (format.Length == 0)
- {
- return UInt64ToDecStr(value, digits: -1);
- }
- char fmt = ParseFormatSpecifier(format, out int digits);
- char fmtUpper = (char)(fmt & 0xFFDF); // ensure fmt is upper-cased for purposes of comparison
- if ((fmtUpper == 'G' && digits < 1) || fmtUpper == 'D')
- {
- return UInt64ToDecStr(value, digits);
- }
- else if (fmtUpper == 'X')
- {
- // The fmt-(X-A+10) hack has the effect of dictating whether we produce uppercase or lowercase
- // hex numbers for a-f. 'X' as the fmt code produces uppercase. 'x' as the format code
- // produces lowercase.
- return Int64ToHexStr((long)value, (char)(fmt - ('X' - 'A' + 10)), digits);
- }
- else
- {
- NumberFormatInfo info = NumberFormatInfo.GetInstance(provider);
- byte* pDigits = stackalloc byte[UInt64NumberBufferLength];
- NumberBuffer number = new NumberBuffer(NumberBufferKind.Integer, pDigits, UInt64NumberBufferLength);
- UInt64ToNumber(value, ref number);
- char* stackPtr = stackalloc char[CharStackBufferSize];
- ValueStringBuilder sb = new ValueStringBuilder(new Span<char>(stackPtr, CharStackBufferSize));
- if (fmt != 0)
- {
- NumberToString(ref sb, ref number, fmt, digits, info);
- }
- else
- {
- NumberToStringFormat(ref sb, ref number, format, info);
- }
- return sb.ToString();
- }
- }
- public static unsafe bool TryFormatUInt64(ulong value, ReadOnlySpan<char> format, IFormatProvider provider, Span<char> destination, out int charsWritten)
- {
- // Fast path for default format
- if (format.Length == 0)
- {
- return TryUInt64ToDecStr(value, digits: -1, destination, out charsWritten);
- }
- char fmt = ParseFormatSpecifier(format, out int digits);
- char fmtUpper = (char)(fmt & 0xFFDF); // ensure fmt is upper-cased for purposes of comparison
- if ((fmtUpper == 'G' && digits < 1) || fmtUpper == 'D')
- {
- return TryUInt64ToDecStr(value, digits, destination, out charsWritten);
- }
- else if (fmtUpper == 'X')
- {
- // The fmt-(X-A+10) hack has the effect of dictating whether we produce uppercase or lowercase
- // hex numbers for a-f. 'X' as the fmt code produces uppercase. 'x' as the format code
- // produces lowercase.
- return TryInt64ToHexStr((long)value, (char)(fmt - ('X' - 'A' + 10)), digits, destination, out charsWritten);
- }
- else
- {
- NumberFormatInfo info = NumberFormatInfo.GetInstance(provider);
- byte* pDigits = stackalloc byte[UInt64NumberBufferLength];
- NumberBuffer number = new NumberBuffer(NumberBufferKind.Integer, pDigits, UInt64NumberBufferLength);
- UInt64ToNumber(value, ref number);
- char* stackPtr = stackalloc char[CharStackBufferSize];
- ValueStringBuilder sb = new ValueStringBuilder(new Span<char>(stackPtr, CharStackBufferSize));
- if (fmt != 0)
- {
- NumberToString(ref sb, ref number, fmt, digits, info);
- }
- else
- {
- NumberToStringFormat(ref sb, ref number, format, info);
- }
- return sb.TryCopyTo(destination, out charsWritten);
- }
- }
- [MethodImpl(MethodImplOptions.AggressiveInlining)] // called from only one location
- private static unsafe void Int32ToNumber(int value, ref NumberBuffer number)
- {
- number.DigitsCount = Int32Precision;
- if (value >= 0)
- {
- number.IsNegative = false;
- }
- else
- {
- number.IsNegative = true;
- value = -value;
- }
- byte* buffer = number.GetDigitsPointer();
- byte* p = UInt32ToDecChars(buffer + Int32Precision, (uint)value, 0);
- int i = (int)(buffer + Int32Precision - p);
- number.DigitsCount = i;
- number.Scale = i;
- byte* dst = number.GetDigitsPointer();
- while (--i >= 0)
- *dst++ = *p++;
- *dst = (byte)('\0');
- number.CheckConsistency();
- }
- private static unsafe string NegativeInt32ToDecStr(int value, int digits, string sNegative)
- {
- Debug.Assert(value < 0);
- if (digits < 1)
- digits = 1;
- int bufferLength = Math.Max(digits, FormattingHelpers.CountDigits((uint)(-value))) + sNegative.Length;
- string result = string.FastAllocateString(bufferLength);
- fixed (char* buffer = result)
- {
- char* p = UInt32ToDecChars(buffer + bufferLength, (uint)(-value), digits);
- Debug.Assert(p == buffer + sNegative.Length);
- for (int i = sNegative.Length - 1; i >= 0; i--)
- {
- *(--p) = sNegative[i];
- }
- Debug.Assert(p == buffer);
- }
- return result;
- }
- private static unsafe bool TryNegativeInt32ToDecStr(int value, int digits, string sNegative, Span<char> destination, out int charsWritten)
- {
- Debug.Assert(value < 0);
- if (digits < 1)
- digits = 1;
- int bufferLength = Math.Max(digits, FormattingHelpers.CountDigits((uint)(-value))) + sNegative.Length;
- if (bufferLength > destination.Length)
- {
- charsWritten = 0;
- return false;
- }
- charsWritten = bufferLength;
- fixed (char* buffer = &MemoryMarshal.GetReference(destination))
- {
- char* p = UInt32ToDecChars(buffer + bufferLength, (uint)(-value), digits);
- Debug.Assert(p == buffer + sNegative.Length);
- for (int i = sNegative.Length - 1; i >= 0; i--)
- {
- *(--p) = sNegative[i];
- }
- Debug.Assert(p == buffer);
- }
- return true;
- }
- private static unsafe string Int32ToHexStr(int value, char hexBase, int digits)
- {
- if (digits < 1)
- digits = 1;
- int bufferLength = Math.Max(digits, FormattingHelpers.CountHexDigits((uint)value));
- string result = string.FastAllocateString(bufferLength);
- fixed (char* buffer = result)
- {
- char* p = Int32ToHexChars(buffer + bufferLength, (uint)value, hexBase, digits);
- Debug.Assert(p == buffer);
- }
- return result;
- }
- private static unsafe bool TryInt32ToHexStr(int value, char hexBase, int digits, Span<char> destination, out int charsWritten)
- {
- if (digits < 1)
- digits = 1;
- int bufferLength = Math.Max(digits, FormattingHelpers.CountHexDigits((uint)value));
- if (bufferLength > destination.Length)
- {
- charsWritten = 0;
- return false;
- }
- charsWritten = bufferLength;
- fixed (char* buffer = &MemoryMarshal.GetReference(destination))
- {
- char* p = Int32ToHexChars(buffer + bufferLength, (uint)value, hexBase, digits);
- Debug.Assert(p == buffer);
- }
- return true;
- }
- private static unsafe char* Int32ToHexChars(char* buffer, uint value, int hexBase, int digits)
- {
- while (--digits >= 0 || value != 0)
- {
- byte digit = (byte)(value & 0xF);
- *(--buffer) = (char)(digit + (digit < 10 ? (byte)'0' : hexBase));
- value >>= 4;
- }
- return buffer;
- }
- [MethodImpl(MethodImplOptions.AggressiveInlining)] // called from only one location
- private static unsafe void UInt32ToNumber(uint value, ref NumberBuffer number)
- {
- number.DigitsCount = UInt32Precision;
- number.IsNegative = false;
- byte* buffer = number.GetDigitsPointer();
- byte* p = UInt32ToDecChars(buffer + UInt32Precision, value, 0);
- int i = (int)(buffer + UInt32Precision - p);
- number.DigitsCount = i;
- number.Scale = i;
- byte* dst = number.GetDigitsPointer();
- while (--i >= 0)
- *dst++ = *p++;
- *dst = (byte)('\0');
- number.CheckConsistency();
- }
- internal static unsafe byte* UInt32ToDecChars(byte* bufferEnd, uint value, int digits)
- {
- while (--digits >= 0 || value != 0)
- {
- // TODO https://github.com/dotnet/coreclr/issues/3439
- uint newValue = value / 10;
- *(--bufferEnd) = (byte)(value - (newValue * 10) + '0');
- value = newValue;
- }
- return bufferEnd;
- }
- internal static unsafe char* UInt32ToDecChars(char* bufferEnd, uint value, int digits)
- {
- while (--digits >= 0 || value != 0)
- {
- // TODO https://github.com/dotnet/coreclr/issues/3439
- uint newValue = value / 10;
- *(--bufferEnd) = (char)(value - (newValue * 10) + '0');
- value = newValue;
- }
- return bufferEnd;
- }
- private static unsafe string UInt32ToDecStr(uint value, int digits)
- {
- int bufferLength = Math.Max(digits, FormattingHelpers.CountDigits(value));
- // For single-digit values that are very common, especially 0 and 1, just return cached strings.
- if (bufferLength == 1)
- {
- return s_singleDigitStringCache[value];
- }
- string result = string.FastAllocateString(bufferLength);
- fixed (char* buffer = result)
- {
- char* p = buffer + bufferLength;
- if (digits <= 1)
- {
- do
- {
- // TODO https://github.com/dotnet/coreclr/issues/3439
- uint div = value / 10;
- *(--p) = (char)('0' + value - (div * 10));
- value = div;
- }
- while (value != 0);
- }
- else
- {
- p = UInt32ToDecChars(p, value, digits);
- }
- Debug.Assert(p == buffer);
- }
- return result;
- }
- private static unsafe bool TryUInt32ToDecStr(uint value, int digits, Span<char> destination, out int charsWritten)
- {
- int bufferLength = Math.Max(digits, FormattingHelpers.CountDigits(value));
- if (bufferLength > destination.Length)
- {
- charsWritten = 0;
- return false;
- }
- charsWritten = bufferLength;
- fixed (char* buffer = &MemoryMarshal.GetReference(destination))
- {
- char* p = buffer + bufferLength;
- if (digits <= 1)
- {
- do
- {
- // TODO https://github.com/dotnet/coreclr/issues/3439
- uint div = value / 10;
- *(--p) = (char)('0' + value - (div * 10));
- value = div;
- }
- while (value != 0);
- }
- else
- {
- p = UInt32ToDecChars(p, value, digits);
- }
- Debug.Assert(p == buffer);
- }
- return true;
- }
- [MethodImpl(MethodImplOptions.AggressiveInlining)]
- private static unsafe bool TryCopyTo(char* src, int length, Span<char> destination, out int charsWritten)
- {
- if (new ReadOnlySpan<char>(src, length).TryCopyTo(destination))
- {
- charsWritten = length;
- return true;
- }
- else
- {
- charsWritten = 0;
- return false;
- }
- }
- private static unsafe void Int64ToNumber(long input, ref NumberBuffer number)
- {
- ulong value = (ulong)input;
- number.IsNegative = input < 0;
- number.DigitsCount = Int64Precision;
- if (number.IsNegative)
- {
- value = (ulong)(-input);
- }
- byte* buffer = number.GetDigitsPointer();
- byte* p = buffer + Int64Precision;
- while (High32(value) != 0)
- p = UInt32ToDecChars(p, Int64DivMod1E9(ref value), 9);
- p = UInt32ToDecChars(p, Low32(value), 0);
- int i = (int)(buffer + Int64Precision - p);
- number.DigitsCount = i;
- number.Scale = i;
- byte* dst = number.GetDigitsPointer();
- while (--i >= 0)
- *dst++ = *p++;
- *dst = (byte)('\0');
- number.CheckConsistency();
- }
- private static unsafe string NegativeInt64ToDecStr(long input, int digits, string sNegative)
- {
- Debug.Assert(input < 0);
- if (digits < 1)
- {
- digits = 1;
- }
- ulong value = (ulong)(-input);
- int bufferLength = Math.Max(digits, FormattingHelpers.CountDigits(value)) + sNegative.Length;
- string result = string.FastAllocateString(bufferLength);
- fixed (char* buffer = result)
- {
- char* p = buffer + bufferLength;
- while (High32(value) != 0)
- {
- p = UInt32ToDecChars(p, Int64DivMod1E9(ref value), 9);
- digits -= 9;
- }
- p = UInt32ToDecChars(p, Low32(value), digits);
- Debug.Assert(p == buffer + sNegative.Length);
- for (int i = sNegative.Length - 1; i >= 0; i--)
- {
- *(--p) = sNegative[i];
- }
- Debug.Assert(p == buffer);
- }
- return result;
- }
- private static unsafe bool TryNegativeInt64ToDecStr(long input, int digits, string sNegative, Span<char> destination, out int charsWritten)
- {
- Debug.Assert(input < 0);
- if (digits < 1)
- {
- digits = 1;
- }
- ulong value = (ulong)(-input);
- int bufferLength = Math.Max(digits, FormattingHelpers.CountDigits((ulong)(-input))) + sNegative.Length;
- if (bufferLength > destination.Length)
- {
- charsWritten = 0;
- return false;
- }
- charsWritten = bufferLength;
- fixed (char* buffer = &MemoryMarshal.GetReference(destination))
- {
- char* p = buffer + bufferLength;
- while (High32(value) != 0)
- {
- p = UInt32ToDecChars(p, Int64DivMod1E9(ref value), 9);
- digits -= 9;
- }
- p = UInt32ToDecChars(p, Low32(value), digits);
- Debug.Assert(p == buffer + sNegative.Length);
- for (int i = sNegative.Length - 1; i >= 0; i--)
- {
- *(--p) = sNegative[i];
- }
- Debug.Assert(p == buffer);
- }
- return true;
- }
- private static unsafe string Int64ToHexStr(long value, char hexBase, int digits)
- {
- int bufferLength = Math.Max(digits, FormattingHelpers.CountHexDigits((ulong)value));
- string result = string.FastAllocateString(bufferLength);
- fixed (char* buffer = result)
- {
- char* p = buffer + bufferLength;
- if (High32((ulong)value) != 0)
- {
- p = Int32ToHexChars(p, Low32((ulong)value), hexBase, 8);
- p = Int32ToHexChars(p, High32((ulong)value), hexBase, digits - 8);
- }
- else
- {
- p = Int32ToHexChars(p, Low32((ulong)value), hexBase, Math.Max(digits, 1));
- }
- Debug.Assert(p == buffer);
- }
- return result;
- }
- private static unsafe bool TryInt64ToHexStr(long value, char hexBase, int digits, Span<char> destination, out int charsWritten)
- {
- int bufferLength = Math.Max(digits, FormattingHelpers.CountHexDigits((ulong)value));
- if (bufferLength > destination.Length)
- {
- charsWritten = 0;
- return false;
- }
- charsWritten = bufferLength;
- fixed (char* buffer = &MemoryMarshal.GetReference(destination))
- {
- char* p = buffer + bufferLength;
- if (High32((ulong)value) != 0)
- {
- p = Int32ToHexChars(p, Low32((ulong)value), hexBase, 8);
- p = Int32ToHexChars(p, High32((ulong)value), hexBase, digits - 8);
- }
- else
- {
- p = Int32ToHexChars(p, Low32((ulong)value), hexBase, Math.Max(digits, 1));
- }
- Debug.Assert(p == buffer);
- }
- return true;
- }
- private static unsafe void UInt64ToNumber(ulong value, ref NumberBuffer number)
- {
- number.DigitsCount = UInt64Precision;
- number.IsNegative = false;
- byte* buffer = number.GetDigitsPointer();
- byte* p = buffer + UInt64Precision;
- while (High32(value) != 0)
- p = UInt32ToDecChars(p, Int64DivMod1E9(ref value), 9);
- p = UInt32ToDecChars(p, Low32(value), 0);
- int i = (int)(buffer + UInt64Precision - p);
- number.DigitsCount = i;
- number.Scale = i;
- byte* dst = number.GetDigitsPointer();
- while (--i >= 0)
- *dst++ = *p++;
- *dst = (byte)('\0');
- number.CheckConsistency();
- }
- private static unsafe string UInt64ToDecStr(ulong value, int digits)
- {
- if (digits < 1)
- digits = 1;
- int bufferLength = Math.Max(digits, FormattingHelpers.CountDigits(value));
- // For single-digit values that are very common, especially 0 and 1, just return cached strings.
- if (bufferLength == 1)
- {
- return s_singleDigitStringCache[value];
- }
- string result = string.FastAllocateString(bufferLength);
- fixed (char* buffer = result)
- {
- char* p = buffer + bufferLength;
- while (High32(value) != 0)
- {
- p = UInt32ToDecChars(p, Int64DivMod1E9(ref value), 9);
- digits -= 9;
- }
- p = UInt32ToDecChars(p, Low32(value), digits);
- Debug.Assert(p == buffer);
- }
- return result;
- }
- private static unsafe bool TryUInt64ToDecStr(ulong value, int digits, Span<char> destination, out int charsWritten)
- {
- if (digits < 1)
- digits = 1;
- int bufferLength = Math.Max(digits, FormattingHelpers.CountDigits(value));
- if (bufferLength > destination.Length)
- {
- charsWritten = 0;
- return false;
- }
- charsWritten = bufferLength;
- fixed (char* buffer = &MemoryMarshal.GetReference(destination))
- {
- char* p = buffer + bufferLength;
- while (High32(value) != 0)
- {
- p = UInt32ToDecChars(p, Int64DivMod1E9(ref value), 9);
- digits -= 9;
- }
- p = UInt32ToDecChars(p, Low32(value), digits);
- Debug.Assert(p == buffer);
- }
- return true;
- }
- internal static unsafe char ParseFormatSpecifier(ReadOnlySpan<char> format, out int digits)
- {
- char c = default;
- if (format.Length > 0)
- {
- // If the format begins with a symbol, see if it's a standard format
- // with or without a specified number of digits.
- c = format[0];
- if ((uint)(c - 'A') <= 'Z' - 'A' ||
- (uint)(c - 'a') <= 'z' - 'a')
- {
- // Fast path for sole symbol, e.g. "D"
- if (format.Length == 1)
- {
- digits = -1;
- return c;
- }
- if (format.Length == 2)
- {
- // Fast path for symbol and single digit, e.g. "X4"
- int d = format[1] - '0';
- if ((uint)d < 10)
- {
- digits = d;
- return c;
- }
- }
- else if (format.Length == 3)
- {
- // Fast path for symbol and double digit, e.g. "F12"
- int d1 = format[1] - '0', d2 = format[2] - '0';
- if ((uint)d1 < 10 && (uint)d2 < 10)
- {
- digits = d1 * 10 + d2;
- return c;
- }
- }
- // Fallback for symbol and any length digits. The digits value must be >= 0 && <= 99,
- // but it can begin with any number of 0s, and thus we may need to check more than two
- // digits. Further, for compat, we need to stop when we hit a null char.
- int n = 0;
- int i = 1;
- while (i < format.Length && (((uint)format[i] - '0') < 10) && n < 10)
- {
- n = (n * 10) + format[i++] - '0';
- }
- // If we're at the end of the digits rather than having stopped because we hit something
- // other than a digit or overflowed, return the standard format info.
- if (i == format.Length || format[i] == '\0')
- {
- digits = n;
- return c;
- }
- }
- }
- // Default empty format to be "G"; custom format is signified with '\0'.
- digits = -1;
- return format.Length == 0 || c == '\0' ? // For compat, treat '\0' as the end of the specifier, even if the specifier extends beyond it.
- 'G' :
- '\0';
- }
- internal static unsafe void NumberToString(ref ValueStringBuilder sb, ref NumberBuffer number, char format, int nMaxDigits, NumberFormatInfo info)
- {
- number.CheckConsistency();
- switch (format)
- {
- case 'C':
- case 'c':
- {
- if (nMaxDigits < 0)
- nMaxDigits = info.CurrencyDecimalDigits;
- RoundNumber(ref number, number.Scale + nMaxDigits); // Don't change this line to use digPos since digCount could have its sign changed.
- FormatCurrency(ref sb, ref number, nMaxDigits, info);
- break;
- }
- case 'F':
- case 'f':
- {
- if (nMaxDigits < 0)
- nMaxDigits = info.NumberDecimalDigits;
- RoundNumber(ref number, number.Scale + nMaxDigits);
- if (number.IsNegative)
- sb.Append(info.NegativeSign);
- FormatFixed(ref sb, ref number, nMaxDigits, info, null, info.NumberDecimalSeparator, null);
- break;
- }
- case 'N':
- case 'n':
- {
- if (nMaxDigits < 0)
- nMaxDigits = info.NumberDecimalDigits; // Since we are using digits in our calculation
- RoundNumber(ref number, number.Scale + nMaxDigits);
- FormatNumber(ref sb, ref number, nMaxDigits, info);
- break;
- }
- case 'E':
- case 'e':
- {
- if (nMaxDigits < 0)
- nMaxDigits = 6;
- nMaxDigits++;
- RoundNumber(ref number, nMaxDigits);
- if (number.IsNegative)
- sb.Append(info.NegativeSign);
- FormatScientific(ref sb, ref number, nMaxDigits, info, format);
- break;
- }
- case 'G':
- case 'g':
- {
- bool noRounding = false;
- if (nMaxDigits < 1)
- {
- if ((number.Kind == NumberBufferKind.Decimal) && (nMaxDigits == -1))
- {
- noRounding = true; // Turn off rounding for ECMA compliance to output trailing 0's after decimal as significant
- goto SkipRounding;
- }
- else
- {
- // This ensures that the PAL code pads out to the correct place even when we use the default precision
- nMaxDigits = number.DigitsCount;
- }
- }
- RoundNumber(ref number, nMaxDigits);
- SkipRounding:
- if (number.IsNegative)
- sb.Append(info.NegativeSign);
- FormatGeneral(ref sb, ref number, nMaxDigits, info, (char)(format - ('G' - 'E')), noRounding);
- break;
- }
- case 'P':
- case 'p':
- {
- if (nMaxDigits < 0)
- nMaxDigits = info.PercentDecimalDigits;
- number.Scale += 2;
- RoundNumber(ref number, number.Scale + nMaxDigits);
- FormatPercent(ref sb, ref number, nMaxDigits, info);
- break;
- }
- default:
- throw new FormatException(SR.Argument_BadFormatSpecifier);
- }
- }
- internal static unsafe void NumberToStringFormat(ref ValueStringBuilder sb, ref NumberBuffer number, ReadOnlySpan<char> format, NumberFormatInfo info)
- {
- number.CheckConsistency();
- int digitCount;
- int decimalPos;
- int firstDigit;
- int lastDigit;
- int digPos;
- bool scientific;
- int thousandPos;
- int thousandCount = 0;
- bool thousandSeps;
- int scaleAdjust;
- int adjust;
- int section;
- int src;
- byte* dig = number.GetDigitsPointer();
- char ch;
- section = FindSection(format, dig[0] == 0 ? 2 : number.IsNegative ? 1 : 0);
- while (true)
- {
- digitCount = 0;
- decimalPos = -1;
- firstDigit = 0x7FFFFFFF;
- lastDigit = 0;
- scientific = false;
- thousandPos = -1;
- thousandSeps = false;
- scaleAdjust = 0;
- src = section;
- fixed (char* pFormat = &MemoryMarshal.GetReference(format))
- {
- while (src < format.Length && (ch = pFormat[src++]) != 0 && ch != ';')
- {
- switch (ch)
- {
- case '#':
- digitCount++;
- break;
- case '0':
- if (firstDigit == 0x7FFFFFFF)
- firstDigit = digitCount;
- digitCount++;
- lastDigit = digitCount;
- break;
- case '.':
- if (decimalPos < 0)
- decimalPos = digitCount;
- break;
- case ',':
- if (digitCount > 0 && decimalPos < 0)
- {
- if (thousandPos >= 0)
- {
- if (thousandPos == digitCount)
- {
- thousandCount++;
- break;
- }
- thousandSeps = true;
- }
- thousandPos = digitCount;
- thousandCount = 1;
- }
- break;
- case '%':
- scaleAdjust += 2;
- break;
- case '\x2030':
- scaleAdjust += 3;
- break;
- case '\'':
- case '"':
- while (src < format.Length && pFormat[src] != 0 && pFormat[src++] != ch)
- ;
- break;
- case '\\':
- if (src < format.Length && pFormat[src] != 0)
- src++;
- break;
- case 'E':
- case 'e':
- if ((src < format.Length && pFormat[src] == '0') ||
- (src + 1 < format.Length && (pFormat[src] == '+' || pFormat[src] == '-') && pFormat[src + 1] == '0'))
- {
- while (++src < format.Length && pFormat[src] == '0')
- ;
- scientific = true;
- }
- break;
- }
- }
- }
- if (decimalPos < 0)
- decimalPos = digitCount;
- if (thousandPos >= 0)
- {
- if (thousandPos == decimalPos)
- scaleAdjust -= thousandCount * 3;
- else
- thousandSeps = true;
- }
- if (dig[0] != 0)
- {
- number.Scale += scaleAdjust;
- int pos = scientific ? digitCount : number.Scale + digitCount - decimalPos;
- RoundNumber(ref number, pos);
- if (dig[0] == 0)
- {
- src = FindSection(format, 2);
- if (src != section)
- {
- section = src;
- continue;
- }
- }
- }
- else
- {
- number.Scale = 0; // Decimals with scale ('0.00') should be rounded.
- }
- break;
- }
- firstDigit = firstDigit < decimalPos ? decimalPos - firstDigit : 0;
- lastDigit = lastDigit > decimalPos ? decimalPos - lastDigit : 0;
- if (scientific)
- {
- digPos = decimalPos;
- adjust = 0;
- }
- else
- {
- digPos = number.Scale > decimalPos ? number.Scale : decimalPos;
- adjust = number.Scale - decimalPos;
- }
- src = section;
- // Adjust can be negative, so we make this an int instead of an unsigned int.
- // Adjust represents the number of characters over the formatting e.g. format string is "0000" and you are trying to
- // format 100000 (6 digits). Means adjust will be 2. On the other hand if you are trying to format 10 adjust will be
- // -2 and we'll need to fixup these digits with 0 padding if we have 0 formatting as in this example.
- Span<int> thousandsSepPos = stackalloc int[4];
- int thousandsSepCtr = -1;
- if (thousandSeps)
- {
- // We need to precompute this outside the number formatting loop
- if (info.NumberGroupSeparator.Length > 0)
- {
- // We need this array to figure out where to insert the thousands separator. We would have to traverse the string
- // backwards. PIC formatting always traverses forwards. These indices are precomputed to tell us where to insert
- // the thousands separator so we can get away with traversing forwards. Note we only have to compute up to digPos.
- // The max is not bound since you can have formatting strings of the form "000,000..", and this
- // should handle that case too.
- int[] groupDigits = info.numberGroupSizes;
- int groupSizeIndex = 0; // Index into the groupDigits array.
- int groupTotalSizeCount = 0;
- int groupSizeLen = groupDigits.Length; // The length of groupDigits array.
- if (groupSizeLen != 0)
- groupTotalSizeCount = groupDigits[groupSizeIndex]; // The current running total of group size.
- int groupSize = groupTotalSizeCount;
- int totalDigits = digPos + ((adjust < 0) ? adjust : 0); // Actual number of digits in o/p
- int numDigits = (firstDigit > totalDigits) ? firstDigit : totalDigits;
- while (numDigits > groupTotalSizeCount)
- {
- if (groupSize == 0)
- break;
- ++thousandsSepCtr;
- if (thousandsSepCtr >= thousandsSepPos.Length)
- {
- var newThousandsSepPos = new int[thousandsSepPos.Length * 2];
- thousandsSepPos.CopyTo(newThousandsSepPos);
- thousandsSepPos = newThousandsSepPos;
- }
- thousandsSepPos[thousandsSepCtr] = groupTotalSizeCount;
- if (groupSizeIndex < groupSizeLen - 1)
- {
- groupSizeIndex++;
- groupSize = groupDigits[groupSizeIndex];
- }
- groupTotalSizeCount += groupSize;
- }
- }
- }
- if (number.IsNegative && (section == 0) && (number.Scale != 0))
- sb.Append(info.NegativeSign);
- bool decimalWritten = false;
- fixed (char* pFormat = &MemoryMarshal.GetReference(format))
- {
- byte* cur = dig;
- while (src < format.Length && (ch = pFormat[src++]) != 0 && ch != ';')
- {
- if (adjust > 0)
- {
- switch (ch)
- {
- case '#':
- case '0':
- case '.':
- while (adjust > 0)
- {
- // digPos will be one greater than thousandsSepPos[thousandsSepCtr] since we are at
- // the character after which the groupSeparator needs to be appended.
- sb.Append(*cur != 0 ? (char)(*cur++) : '0');
- if (thousandSeps && digPos > 1 && thousandsSepCtr >= 0)
- {
- if (digPos == thousandsSepPos[thousandsSepCtr] + 1)
- {
- sb.Append(info.NumberGroupSeparator);
- thousandsSepCtr--;
- }
- }
- digPos--;
- adjust--;
- }
- break;
- }
- }
- switch (ch)
- {
- case '#':
- case '0':
- {
- if (adjust < 0)
- {
- adjust++;
- ch = digPos <= firstDigit ? '0' : '\0';
- }
- else
- {
- ch = *cur != 0 ? (char)(*cur++) : digPos > lastDigit ? '0' : '\0';
- }
- if (ch != 0)
- {
- sb.Append(ch);
- if (thousandSeps && digPos > 1 && thousandsSepCtr >= 0)
- {
- if (digPos == thousandsSepPos[thousandsSepCtr] + 1)
- {
- sb.Append(info.NumberGroupSeparator);
- thousandsSepCtr--;
- }
- }
- }
- digPos--;
- break;
- }
- case '.':
- {
- if (digPos != 0 || decimalWritten)
- {
- // For compatibility, don't echo repeated decimals
- break;
- }
- // If the format has trailing zeros or the format has a decimal and digits remain
- if (lastDigit < 0 || (decimalPos < digitCount && *cur != 0))
- {
- sb.Append(info.NumberDecimalSeparator);
- decimalWritten = true;
- }
- break;
- }
- case '\x2030':
- sb.Append(info.PerMilleSymbol);
- break;
- case '%':
- sb.Append(info.PercentSymbol);
- break;
- case ',':
- break;
- case '\'':
- case '"':
- while (src < format.Length && pFormat[src] != 0 && pFormat[src] != ch)
- sb.Append(pFormat[src++]);
- if (src < format.Length && pFormat[src] != 0)
- src++;
- break;
- case '\\':
- if (src < format.Length && pFormat[src] != 0)
- sb.Append(pFormat[src++]);
- break;
- case 'E':
- case 'e':
- {
- bool positiveSign = false;
- int i = 0;
- if (scientific)
- {
- if (src < format.Length && pFormat[src] == '0')
- {
- // Handles E0, which should format the same as E-0
- i++;
- }
- else if (src + 1 < format.Length && pFormat[src] == '+' && pFormat[src + 1] == '0')
- {
- // Handles E+0
- positiveSign = true;
- }
- else if (src + 1 < format.Length && pFormat[src] == '-' && pFormat[src + 1] == '0')
- {
- // Handles E-0
- // Do nothing, this is just a place holder s.t. we don't break out of the loop.
- }
- else
- {
- sb.Append(ch);
- break;
- }
- while (++src < format.Length && pFormat[src] == '0')
- i++;
- if (i > 10)
- i = 10;
- int exp = dig[0] == 0 ? 0 : number.Scale - decimalPos;
- FormatExponent(ref sb, info, exp, ch, i, positiveSign);
- scientific = false;
- }
- else
- {
- sb.Append(ch); // Copy E or e to output
- if (src < format.Length)
- {
- if (pFormat[src] == '+' || pFormat[src] == '-')
- sb.Append(pFormat[src++]);
- while (src < format.Length && pFormat[src] == '0')
- sb.Append(pFormat[src++]);
- }
- }
- break;
- }
- default:
- sb.Append(ch);
- break;
- }
- }
- }
- if (number.IsNegative && (section == 0) && (number.Scale == 0) && (sb.Length > 0))
- sb.Insert(0, info.NegativeSign);
- }
- private static void FormatCurrency(ref ValueStringBuilder sb, ref NumberBuffer number, int nMaxDigits, NumberFormatInfo info)
- {
- string fmt = number.IsNegative ?
- s_negCurrencyFormats[info.CurrencyNegativePattern] :
- s_posCurrencyFormats[info.CurrencyPositivePattern];
- foreach (char ch in fmt)
- {
- switch (ch)
- {
- case '#':
- FormatFixed(ref sb, ref number, nMaxDigits, info, info.currencyGroupSizes, info.CurrencyDecimalSeparator, info.CurrencyGroupSeparator);
- break;
- case '-':
- sb.Append(info.NegativeSign);
- break;
- case '$':
- sb.Append(info.CurrencySymbol);
- break;
- default:
- sb.Append(ch);
- break;
- }
- }
- }
- private static unsafe void FormatFixed(ref ValueStringBuilder sb, ref NumberBuffer number, int nMaxDigits, NumberFormatInfo info, int[] groupDigits, string sDecimal, string sGroup)
- {
- int digPos = number.Scale;
- byte* dig = number.GetDigitsPointer();
- if (digPos > 0)
- {
- if (groupDigits != null)
- {
- int groupSizeIndex = 0; // Index into the groupDigits array.
- int bufferSize = digPos; // The length of the result buffer string.
- int groupSize = 0; // The current group size.
- // Find out the size of the string buffer for the result.
- if (groupDigits.Length != 0) // You can pass in 0 length arrays
- {
- int groupSizeCount = groupDigits[groupSizeIndex]; // The current total of group size.
- while (digPos > groupSizeCount)
- {
- groupSize = groupDigits[groupSizeIndex];
- if (groupSize == 0)
- break;
- bufferSize += sGroup.Length;
- if (groupSizeIndex < groupDigits.Length - 1)
- groupSizeIndex++;
- groupSizeCount += groupDigits[groupSizeIndex];
- if (groupSizeCount < 0 || bufferSize < 0)
- throw new ArgumentOutOfRangeException(); // If we overflow
- }
- groupSize = groupSizeCount == 0 ? 0 : groupDigits[0]; // If you passed in an array with one entry as 0, groupSizeCount == 0
- }
- groupSizeIndex = 0;
- int digitCount = 0;
- int digLength = number.DigitsCount;
- int digStart = (digPos < digLength) ? digPos : digLength;
- fixed (char* spanPtr = &MemoryMarshal.GetReference(sb.AppendSpan(bufferSize)))
- {
- char* p = spanPtr + bufferSize - 1;
- for (int i = digPos - 1; i >= 0; i--)
- {
- *(p--) = (i < digStart) ? (char)(dig[i]) : '0';
- if (groupSize > 0)
- {
- digitCount++;
- if ((digitCount == groupSize) && (i != 0))
- {
- for (int j = sGroup.Length - 1; j >= 0; j--)
- *(p--) = sGroup[j];
- if (groupSizeIndex < groupDigits.Length - 1)
- {
- groupSizeIndex++;
- groupSize = groupDigits[groupSizeIndex];
- }
- digitCount = 0;
- }
- }
- }
- Debug.Assert(p >= spanPtr - 1, "Underflow");
- dig += digStart;
- }
- }
- else
- {
- do
- {
- sb.Append(*dig != 0 ? (char)(*dig++) : '0');
- }
- while (--digPos > 0);
- }
- }
- else
- {
- sb.Append('0');
- }
- if (nMaxDigits > 0)
- {
- sb.Append(sDecimal);
- if ((digPos < 0) && (nMaxDigits > 0))
- {
- int zeroes = Math.Min(-digPos, nMaxDigits);
- sb.Append('0', zeroes);
- digPos += zeroes;
- nMaxDigits -= zeroes;
- }
- while (nMaxDigits > 0)
- {
- sb.Append((*dig != 0) ? (char)(*dig++) : '0');
- nMaxDigits--;
- }
- }
- }
- private static void FormatNumber(ref ValueStringBuilder sb, ref NumberBuffer number, int nMaxDigits, NumberFormatInfo info)
- {
- string fmt = number.IsNegative ?
- s_negNumberFormats[info.NumberNegativePattern] :
- PosNumberFormat;
- foreach (char ch in fmt)
- {
- switch (ch)
- {
- case '#':
- FormatFixed(ref sb, ref number, nMaxDigits, info, info.numberGroupSizes, info.NumberDecimalSeparator, info.NumberGroupSeparator);
- break;
- case '-':
- sb.Append(info.NegativeSign);
- break;
- default:
- sb.Append(ch);
- break;
- }
- }
- }
- private static unsafe void FormatScientific(ref ValueStringBuilder sb, ref NumberBuffer number, int nMaxDigits, NumberFormatInfo info, char expChar)
- {
- byte* dig = number.GetDigitsPointer();
- sb.Append((*dig != 0) ? (char)(*dig++) : '0');
- if (nMaxDigits != 1) // For E0 we would like to suppress the decimal point
- sb.Append(info.NumberDecimalSeparator);
- while (--nMaxDigits > 0)
- sb.Append((*dig != 0) ? (char)(*dig++) : '0');
- int e = number.Digits[0] == 0 ? 0 : number.Scale - 1;
- FormatExponent(ref sb, info, e, expChar, 3, true);
- }
- private static unsafe void FormatExponent(ref ValueStringBuilder sb, NumberFormatInfo info, int value, char expChar, int minDigits, bool positiveSign)
- {
- sb.Append(expChar);
- if (value < 0)
- {
- sb.Append(info.NegativeSign);
- value = -value;
- }
- else
- {
- if (positiveSign)
- sb.Append(info.PositiveSign);
- }
- char* digits = stackalloc char[MaxUInt32DecDigits];
- char* p = UInt32ToDecChars(digits + MaxUInt32DecDigits, (uint)value, minDigits);
- int i = (int)(digits + MaxUInt32DecDigits - p);
- sb.Append(p, (int)(digits + MaxUInt32DecDigits - p));
- }
- private static unsafe void FormatGeneral(ref ValueStringBuilder sb, ref NumberBuffer number, int nMaxDigits, NumberFormatInfo info, char expChar, bool bSuppressScientific)
- {
- int digPos = number.Scale;
- bool scientific = false;
- if (!bSuppressScientific)
- {
- // Don't switch to scientific notation
- if (digPos > nMaxDigits || digPos < -3)
- {
- digPos = 1;
- scientific = true;
- }
- }
- byte* dig = number.GetDigitsPointer();
- if (digPos > 0)
- {
- do
- {
- sb.Append((*dig != 0) ? (char)(*dig++) : '0');
- } while (--digPos > 0);
- }
- else
- {
- sb.Append('0');
- }
- if (*dig != 0 || digPos < 0)
- {
- sb.Append(info.NumberDecimalSeparator);
- while (digPos < 0)
- {
- sb.Append('0');
- digPos++;
- }
- while (*dig != 0)
- sb.Append((char)(*dig++));
- }
- if (scientific)
- FormatExponent(ref sb, info, number.Scale - 1, expChar, 2, true);
- }
- private static void FormatPercent(ref ValueStringBuilder sb, ref NumberBuffer number, int nMaxDigits, NumberFormatInfo info)
- {
- string fmt = number.IsNegative ?
- s_negPercentFormats[info.PercentNegativePattern] :
- s_posPercentFormats[info.PercentPositivePattern];
- foreach (char ch in fmt)
- {
- switch (ch)
- {
- case '#':
- FormatFixed(ref sb, ref number, nMaxDigits, info, info.percentGroupSizes, info.PercentDecimalSeparator, info.PercentGroupSeparator);
- break;
- case '-':
- sb.Append(info.NegativeSign);
- break;
- case '%':
- sb.Append(info.PercentSymbol);
- break;
- default:
- sb.Append(ch);
- break;
- }
- }
- }
- internal static unsafe void RoundNumber(ref NumberBuffer number, int pos)
- {
- byte* dig = number.GetDigitsPointer();
- int i = 0;
- while (i < pos && dig[i] != 0)
- i++;
- if (i == pos && dig[i] >= '5')
- {
- while (i > 0 && dig[i - 1] == '9')
- i--;
- if (i > 0)
- {
- dig[i - 1]++;
- }
- else
- {
- number.Scale++;
- dig[0] = (byte)('1');
- i = 1;
- }
- }
- else
- {
- while (i > 0 && dig[i - 1] == '0')
- i--;
- }
- if (i == 0)
- {
- number.Scale = 0;
- if (number.Kind == NumberBufferKind.Integer)
- {
- number.IsNegative = false;
- }
- }
- dig[i] = (byte)('\0');
- number.DigitsCount = i;
- number.CheckConsistency();
- }
- private static unsafe int FindSection(ReadOnlySpan<char> format, int section)
- {
- int src;
- char ch;
- if (section == 0)
- return 0;
- fixed (char* pFormat = &MemoryMarshal.GetReference(format))
- {
- src = 0;
- for (; ; )
- {
- if (src >= format.Length)
- {
- return 0;
- }
- switch (ch = pFormat[src++])
- {
- case '\'':
- case '"':
- while (src < format.Length && pFormat[src] != 0 && pFormat[src++] != ch)
- ;
- break;
- case '\\':
- if (src < format.Length && pFormat[src] != 0)
- src++;
- break;
- case ';':
- if (--section != 0)
- break;
- if (src < format.Length && pFormat[src] != 0 && pFormat[src] != ';')
- return src;
- goto case '\0';
- case '\0':
- return 0;
- }
- }
- }
- }
- private static uint Low32(ulong value) => (uint)value;
- private static uint High32(ulong value) => (uint)((value & 0xFFFFFFFF00000000) >> 32);
- private static uint Int64DivMod1E9(ref ulong value)
- {
- uint rem = (uint)(value % 1000000000);
- value /= 1000000000;
- return rem;
- }
- private static unsafe void DoubleToNumber(double value, int precision, ref NumberBuffer number)
- {
- if (!double.IsFinite(value))
- {
- number.Scale = double.IsNaN(value) ? ScaleNAN : ScaleINF;
- number.IsNegative = double.IsNegative(value);
- number.Digits[0] = (byte)('\0');
- }
- else if (value == 0.0)
- {
- number.Scale = 0;
- number.IsNegative = double.IsNegative(value);
- number.Digits[0] = (byte)('\0');
- }
- else
- {
- number.DigitsCount = precision;
- if (!Grisu3.Run(value, precision, ref number))
- {
- Dragon4(value, precision, ref number);
- }
- }
- number.CheckConsistency();
- }
- private static long ExtractFractionAndBiasedExponent(double value, out int exponent)
- {
- var bits = BitConverter.DoubleToInt64Bits(value);
- long fraction = (bits & 0xFFFFFFFFFFFFF);
- exponent = (int)((bits >> 52) & 0x7FF);
- if (exponent != 0)
- {
- // For normalized value, according to https://en.wikipedia.org/wiki/Double-precision_floating-point_format
- // value = 1.fraction * 2^(exp - 1023)
- // = (1 + mantissa / 2^52) * 2^(exp - 1023)
- // = (2^52 + mantissa) * 2^(exp - 1023 - 52)
- //
- // So f = (2^52 + mantissa), e = exp - 1075;
- fraction |= ((long)(1) << 52);
- exponent -= 1075;
- }
- else
- {
- // For denormalized value, according to https://en.wikipedia.org/wiki/Double-precision_floating-point_format
- // value = 0.fraction * 2^(1 - 1023)
- // = (mantissa / 2^52) * 2^(-1022)
- // = mantissa * 2^(-1022 - 52)
- // = mantissa * 2^(-1074)
- // So f = mantissa, e = -1074
- exponent = -1074;
- }
- return fraction;
- }
- }
- }
|