Report a bug
If you spot a problem with this page, click here to create a GitHub issue.
Improve this page
Quickly fork, edit online, and submit a pull request for this page. Requires a signed-in GitHub account. This works well for small changes. If you'd like to make larger changes you may want to consider using a local clone.

mir.parse

@nogc and nothrow Parsing Utilities

Authors:
Ilya Yaroshenko
T fromString(T, C)(scope const(C)[] str)
if (isMutable!T);
Performs nothrow and @nogc string to native type conversion.
Returns:
parsed value
Throws:
nogc Exception in case of parse error or non-empty remaining input.

Floating point Mir parsing supports up-to quadruple precision. The conversion error is 0 ULP for normal numbers. Subnormal numbers with an exponent greater than or equal to -512 have upper error bound equal to 1 ULP.

Examples:
assert("123".fromString!int == 123);
static assert("-123".fromString!int == -123);

assert("12.3".fromString!double == 12.3);
assert("12.3".fromString!float == 12.3f);
assert("12.3".fromString!real == 12.3L);
assert("-12.3e-30".fromString!double == -12.3e-30);

/// Test CTFE support  
static assert("-12.3e-30".fromString!double == -0x1.f2f280b2414d5p-97);
static assert("+12.3e+30".fromString!double == 0x1.367ee3119d2bap+103);

static assert("1.448997445238699".fromString!double == 0x1.72f17f1f49aadp0);
static if (real.mant_dig >= 64)
    static assert("1.448997445238699".fromString!real == 1.448997445238699L);

static assert("3.518437208883201171875".fromString!float == 0x1.c25c26p+1);
static assert("3.518437208883201171875".fromString!double == 0x1.c25c268497684p+1);
static if (real.mant_dig >= 64)
    static assert("3.518437208883201171875".fromString!real == 0xe.12e13424bb4232fp-2L);

//  Related DMD Issues:
// https://issues.dlang.org/show_bug.cgi?id=20951
// https://issues.dlang.org/show_bug.cgi?id=20952
// https://issues.dlang.org/show_bug.cgi?id=20953
// https://issues.dlang.org/show_bug.cgi?id=20963
// https://issues.dlang.org/show_bug.cgi?id=20967
bool fromString(T, C)(scope const(C)[] str, ref T value)
if (isSomeChar!C);
Performs nothrow and @nogc string to native type conversion.
Returns:
true if success and false otherwise.
Examples:
int value;
assert("123".fromString(value) && value == 123);
bool parse(T : byte, Range)(ref scope Range r, ref scope T value)
if (isInputRange!Range && !__traits(isUnsigned, T));

bool parse(T : short, Range)(ref scope Range r, ref scope T value)
if (isInputRange!Range && !__traits(isUnsigned, T));

bool parse(T : int, Range)(ref scope Range r, ref scope T value)
if (isInputRange!Range && !__traits(isUnsigned, T));

bool parse(T : long, Range)(ref scope Range r, ref scope T value)
if (isInputRange!Range && !__traits(isUnsigned, T));

bool parse(T : ubyte, Range)(ref scope Range r, ref scope T value)
if (isInputRange!Range && __traits(isUnsigned, T));

bool parse(T : ushort, Range)(ref scope Range r, ref scope T value)
if (isInputRange!Range && __traits(isUnsigned, T));

bool parse(T : uint, Range)(ref scope Range r, ref scope T value)
if (isInputRange!Range && __traits(isUnsigned, T));

bool parse(T : ulong, Range)(ref scope Range r, ref scope T value)
if (isInputRange!Range && __traits(isUnsigned, T));
Integer parsing utilities.
Returns:
true if success and false otherwise.
Examples:
import std.meta: AliasSeq;
foreach (T; AliasSeq!(byte, ubyte, short, ushort, int, uint, long, ulong))
{
    auto str = "123";
    T val;
    assert(parse(str, val));
    assert(val == 123);
    str = "0";
    assert(parse(str, val));
    assert(val == 0);
    str = "9";
    assert(parse(str, val));
    assert(val == 9);
    str = "";
    assert(!parse(str, val));
    assert(val == 0);
    str = "text";
    assert(!parse(str, val));
    assert(val == 0);
}
Examples:
import std.meta: AliasSeq;
foreach (T; AliasSeq!(byte, short, int, long))
{
    auto str = "-123";
    T val;
    assert(parse(str, val));
    assert(val == -123);
    str = "-0";
    assert(parse(str, val));
    assert(val == 0);
    str = "-9text";
    assert(parse(str, val));
    assert(val == -9);
    assert(str == "text");
    enum m = T.min + 0;
    str = m.stringof;
    assert(parse(str, val));
    assert(val == T.min);
}