| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431 |
- // 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.
- /*============================================================
- **
- **
- **
- ** Purpose: A representation of an IEEE double precision
- ** floating point number.
- **
- **
- ===========================================================*/
- using System.Globalization;
- using System.Runtime.CompilerServices;
- using System.Runtime.InteropServices;
- using System.Runtime.Versioning;
- using Internal.Runtime.CompilerServices;
- namespace System
- {
- [Serializable]
- [StructLayout(LayoutKind.Sequential)]
- [TypeForwardedFrom("mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089")]
- public readonly struct Double : IComparable, IConvertible, IFormattable, IComparable<double>, IEquatable<double>, ISpanFormattable
- {
- private readonly double m_value; // Do not rename (binary serialization)
- //
- // Public Constants
- //
- public const double MinValue = -1.7976931348623157E+308;
- public const double MaxValue = 1.7976931348623157E+308;
- // Note Epsilon should be a double whose hex representation is 0x1
- // on little endian machines.
- public const double Epsilon = 4.9406564584124654E-324;
- public const double NegativeInfinity = (double)-1.0 / (double)(0.0);
- public const double PositiveInfinity = (double)1.0 / (double)(0.0);
- public const double NaN = (double)0.0 / (double)0.0;
- // We use this explicit definition to avoid the confusion between 0.0 and -0.0.
- internal const double NegativeZero = -0.0;
- /// <summary>Determines whether the specified value is finite (zero, subnormal, or normal).</summary>
- [NonVersionable]
- [MethodImpl(MethodImplOptions.AggressiveInlining)]
- public static unsafe bool IsFinite(double d)
- {
- var bits = BitConverter.DoubleToInt64Bits(d);
- return (bits & 0x7FFFFFFFFFFFFFFF) < 0x7FF0000000000000;
- }
- /// <summary>Determines whether the specified value is infinite.</summary>
- [NonVersionable]
- [MethodImpl(MethodImplOptions.AggressiveInlining)]
- public static unsafe bool IsInfinity(double d)
- {
- var bits = BitConverter.DoubleToInt64Bits(d);
- return (bits & 0x7FFFFFFFFFFFFFFF) == 0x7FF0000000000000;
- }
- /// <summary>Determines whether the specified value is NaN.</summary>
- [NonVersionable]
- [MethodImpl(MethodImplOptions.AggressiveInlining)]
- public static unsafe bool IsNaN(double d)
- {
- var bits = BitConverter.DoubleToInt64Bits(d);
- return (bits & 0x7FFFFFFFFFFFFFFF) > 0x7FF0000000000000;
- }
- /// <summary>Determines whether the specified value is negative.</summary>
- [NonVersionable]
- [MethodImpl(MethodImplOptions.AggressiveInlining)]
- public static unsafe bool IsNegative(double d)
- {
- return BitConverter.DoubleToInt64Bits(d) < 0;
- }
- /// <summary>Determines whether the specified value is negative infinity.</summary>
- [NonVersionable]
- [MethodImpl(MethodImplOptions.AggressiveInlining)]
- public static bool IsNegativeInfinity(double d)
- {
- return (d == double.NegativeInfinity);
- }
- /// <summary>Determines whether the specified value is normal.</summary>
- [NonVersionable]
- // This is probably not worth inlining, it has branches and should be rarely called
- public static unsafe bool IsNormal(double d)
- {
- var bits = BitConverter.DoubleToInt64Bits(d);
- bits &= 0x7FFFFFFFFFFFFFFF;
- return (bits < 0x7FF0000000000000) && (bits != 0) && ((bits & 0x7FF0000000000000) != 0);
- }
- /// <summary>Determines whether the specified value is positive infinity.</summary>
- [NonVersionable]
- [MethodImpl(MethodImplOptions.AggressiveInlining)]
- public static bool IsPositiveInfinity(double d)
- {
- return (d == double.PositiveInfinity);
- }
- /// <summary>Determines whether the specified value is subnormal.</summary>
- [NonVersionable]
- // This is probably not worth inlining, it has branches and should be rarely called
- public static unsafe bool IsSubnormal(double d)
- {
- var bits = BitConverter.DoubleToInt64Bits(d);
- bits &= 0x7FFFFFFFFFFFFFFF;
- return (bits < 0x7FF0000000000000) && (bits != 0) && ((bits & 0x7FF0000000000000) == 0);
- }
- // Compares this object to another object, returning an instance of System.Relation.
- // Null is considered less than any instance.
- //
- // If object is not of type Double, this method throws an ArgumentException.
- //
- // Returns a value less than zero if this object
- //
- public int CompareTo(object value)
- {
- if (value == null)
- {
- return 1;
- }
- if (value is double)
- {
- double d = (double)value;
- if (m_value < d) return -1;
- if (m_value > d) return 1;
- if (m_value == d) return 0;
- // At least one of the values is NaN.
- if (IsNaN(m_value))
- return (IsNaN(d) ? 0 : -1);
- else
- return 1;
- }
- throw new ArgumentException(SR.Arg_MustBeDouble);
- }
- public int CompareTo(double value)
- {
- if (m_value < value) return -1;
- if (m_value > value) return 1;
- if (m_value == value) return 0;
- // At least one of the values is NaN.
- if (IsNaN(m_value))
- return (IsNaN(value) ? 0 : -1);
- else
- return 1;
- }
- // True if obj is another Double with the same value as the current instance. This is
- // a method of object equality, that only returns true if obj is also a double.
- public override bool Equals(object obj)
- {
- if (!(obj is double))
- {
- return false;
- }
- double temp = ((double)obj).m_value;
- // This code below is written this way for performance reasons i.e the != and == check is intentional.
- if (temp == m_value)
- {
- return true;
- }
- return IsNaN(temp) && IsNaN(m_value);
- }
- [NonVersionable]
- public static bool operator ==(double left, double right)
- {
- return left == right;
- }
- [NonVersionable]
- public static bool operator !=(double left, double right)
- {
- return left != right;
- }
- [NonVersionable]
- public static bool operator <(double left, double right)
- {
- return left < right;
- }
- [NonVersionable]
- public static bool operator >(double left, double right)
- {
- return left > right;
- }
- [NonVersionable]
- public static bool operator <=(double left, double right)
- {
- return left <= right;
- }
- [NonVersionable]
- public static bool operator >=(double left, double right)
- {
- return left >= right;
- }
- public bool Equals(double obj)
- {
- if (obj == m_value)
- {
- return true;
- }
- return IsNaN(obj) && IsNaN(m_value);
- }
- //The hashcode for a double is the absolute value of the integer representation
- //of that double.
- //
- [MethodImpl(MethodImplOptions.AggressiveInlining)] // 64-bit constants make the IL unusually large that makes the inliner to reject the method
- public override int GetHashCode()
- {
- var bits = Unsafe.As<double, long>(ref Unsafe.AsRef(in m_value));
- // Optimized check for IsNan() || IsZero()
- if (((bits - 1) & 0x7FFFFFFFFFFFFFFF) >= 0x7FF0000000000000)
- {
- // Ensure that all NaNs and both zeros have the same hash code
- bits &= 0x7FF0000000000000;
- }
- return unchecked((int)bits) ^ ((int)(bits >> 32));
- }
- public override string ToString()
- {
- return Number.FormatDouble(m_value, null, NumberFormatInfo.CurrentInfo);
- }
- public string ToString(string format)
- {
- return Number.FormatDouble(m_value, format, NumberFormatInfo.CurrentInfo);
- }
- public string ToString(IFormatProvider provider)
- {
- return Number.FormatDouble(m_value, null, NumberFormatInfo.GetInstance(provider));
- }
- public string ToString(string format, IFormatProvider provider)
- {
- return Number.FormatDouble(m_value, format, NumberFormatInfo.GetInstance(provider));
- }
- public bool TryFormat(Span<char> destination, out int charsWritten, ReadOnlySpan<char> format = default, IFormatProvider provider = null)
- {
- return Number.TryFormatDouble(m_value, format, NumberFormatInfo.GetInstance(provider), destination, out charsWritten);
- }
- public static double Parse(string s)
- {
- if (s == null) ThrowHelper.ThrowArgumentNullException(ExceptionArgument.s);
- return Number.ParseDouble(s, NumberStyles.Float | NumberStyles.AllowThousands, NumberFormatInfo.CurrentInfo);
- }
- public static double Parse(string s, NumberStyles style)
- {
- NumberFormatInfo.ValidateParseStyleFloatingPoint(style);
- if (s == null) ThrowHelper.ThrowArgumentNullException(ExceptionArgument.s);
- return Number.ParseDouble(s, style, NumberFormatInfo.CurrentInfo);
- }
- public static double Parse(string s, IFormatProvider provider)
- {
- if (s == null) ThrowHelper.ThrowArgumentNullException(ExceptionArgument.s);
- return Number.ParseDouble(s, NumberStyles.Float | NumberStyles.AllowThousands, NumberFormatInfo.GetInstance(provider));
- }
- public static double Parse(string s, NumberStyles style, IFormatProvider provider)
- {
- NumberFormatInfo.ValidateParseStyleFloatingPoint(style);
- if (s == null) ThrowHelper.ThrowArgumentNullException(ExceptionArgument.s);
- return Number.ParseDouble(s, style, NumberFormatInfo.GetInstance(provider));
- }
- // Parses a double from a String in the given style. If
- // a NumberFormatInfo isn't specified, the current culture's
- // NumberFormatInfo is assumed.
- //
- // This method will not throw an OverflowException, but will return
- // PositiveInfinity or NegativeInfinity for a number that is too
- // large or too small.
- public static double Parse(ReadOnlySpan<char> s, NumberStyles style = NumberStyles.Float | NumberStyles.AllowThousands, IFormatProvider provider = null)
- {
- NumberFormatInfo.ValidateParseStyleFloatingPoint(style);
- return Number.ParseDouble(s, style, NumberFormatInfo.GetInstance(provider));
- }
- public static bool TryParse(string s, out double result)
- {
- if (s == null)
- {
- result = 0;
- return false;
- }
- return TryParse((ReadOnlySpan<char>)s, NumberStyles.Float | NumberStyles.AllowThousands, NumberFormatInfo.CurrentInfo, out result);
- }
- public static bool TryParse(ReadOnlySpan<char> s, out double result)
- {
- return TryParse(s, NumberStyles.Float | NumberStyles.AllowThousands, NumberFormatInfo.CurrentInfo, out result);
- }
- public static bool TryParse(string s, NumberStyles style, IFormatProvider provider, out double result)
- {
- NumberFormatInfo.ValidateParseStyleFloatingPoint(style);
- if (s == null)
- {
- result = 0;
- return false;
- }
- return TryParse((ReadOnlySpan<char>)s, style, NumberFormatInfo.GetInstance(provider), out result);
- }
- public static bool TryParse(ReadOnlySpan<char> s, NumberStyles style, IFormatProvider provider, out double result)
- {
- NumberFormatInfo.ValidateParseStyleFloatingPoint(style);
- return TryParse(s, style, NumberFormatInfo.GetInstance(provider), out result);
- }
- private static bool TryParse(ReadOnlySpan<char> s, NumberStyles style, NumberFormatInfo info, out double result)
- {
- return Number.TryParseDouble(s, style, info, out result);
- }
- //
- // IConvertible implementation
- //
- public TypeCode GetTypeCode()
- {
- return TypeCode.Double;
- }
- bool IConvertible.ToBoolean(IFormatProvider provider)
- {
- return Convert.ToBoolean(m_value);
- }
- char IConvertible.ToChar(IFormatProvider provider)
- {
- throw new InvalidCastException(SR.Format(SR.InvalidCast_FromTo, "Double", "Char"));
- }
- sbyte IConvertible.ToSByte(IFormatProvider provider)
- {
- return Convert.ToSByte(m_value);
- }
- byte IConvertible.ToByte(IFormatProvider provider)
- {
- return Convert.ToByte(m_value);
- }
- short IConvertible.ToInt16(IFormatProvider provider)
- {
- return Convert.ToInt16(m_value);
- }
- ushort IConvertible.ToUInt16(IFormatProvider provider)
- {
- return Convert.ToUInt16(m_value);
- }
- int IConvertible.ToInt32(IFormatProvider provider)
- {
- return Convert.ToInt32(m_value);
- }
- uint IConvertible.ToUInt32(IFormatProvider provider)
- {
- return Convert.ToUInt32(m_value);
- }
- long IConvertible.ToInt64(IFormatProvider provider)
- {
- return Convert.ToInt64(m_value);
- }
- ulong IConvertible.ToUInt64(IFormatProvider provider)
- {
- return Convert.ToUInt64(m_value);
- }
- float IConvertible.ToSingle(IFormatProvider provider)
- {
- return Convert.ToSingle(m_value);
- }
- double IConvertible.ToDouble(IFormatProvider provider)
- {
- return m_value;
- }
- decimal IConvertible.ToDecimal(IFormatProvider provider)
- {
- return Convert.ToDecimal(m_value);
- }
- DateTime IConvertible.ToDateTime(IFormatProvider provider)
- {
- throw new InvalidCastException(SR.Format(SR.InvalidCast_FromTo, "Double", "DateTime"));
- }
- object IConvertible.ToType(Type type, IFormatProvider provider)
- {
- return Convert.DefaultToType((IConvertible)this, type, provider);
- }
- }
- }
|