std:: from_chars

Анализирует последовательность символов [ first , last ) для поиска шаблона, описанного ниже. Если ни один символ не соответствует шаблону или если значение, полученное при разборе соответствующих символов, не может быть представлено в типе value , value остается неизменным; в противном случае символы, соответствующие шаблону, интерпретируются как текстовое представление арифметического значения, которое сохраняется в value .

Параметры

Возвращаемое значение

При успешном выполнении возвращает значение типа std::from_chars_result такое, что ptr указывает на первый символ, не соответствующий шаблону, или имеет значение, равное last если все символы соответствуют, и ec является инициализированным значением по умолчанию.

Если совпадения с шаблоном не найдено, возвращает значение типа std::from_chars_result такое, что ptr равно first и ec равно std::errc::invalid_argument . value остается неизменным.

Если шаблон был сопоставлен, но разобранное значение не находится в диапазоне, представимом типом value , возвращается значение типа std::from_chars_result такое, что ec равно std::errc::result_out_of_range и ptr указывает на первый символ, не соответствующий шаблону. value остается неизменным.

Исключения

Ничего не выбрасывает.

Примечания

В отличие от других функций парсинга в библиотеках C++ и C, std::from_chars не зависит от локали, не выделяет память и не генерирует исключений. Предоставляется только небольшое подмножество политик парсинга, используемых другими библиотеками (такими как std::sscanf ). Это позволяет создать максимально быструю реализацию, полезную в распространённых сценариях с высокой пропускной способностью, таких как текстовый обмен ( JSON или XML ).

Гарантия того, что std::from_chars может восстановить каждое значение с плавающей точкой, отформатированное с помощью std::to_chars точно, предоставляется только если обе функции из одной и той же реализации.

Шаблон, состоящий из знака без следующих за ним цифр, рассматривается как шаблон, который ничего не совпал.

Пример

#include <cassert>
#include <charconv>
#include <iomanip>
#include <iostream>
#include <optional>
#include <string_view>
#include <system_error>
int main()
{
    for (std::string_view const str : {"1234", "15 foo", "bar", " 42", "5000000000"})
    {
        std::cout << "String: " << std::quoted(str) << ". ";
        int result{};
        auto [ptr, ec] = std::from_chars(str.data(), str.data() + str.size(), result);
        if (ec == std::errc())
            std::cout << "Result: " << result << ", ptr -> " << std::quoted(ptr) << '\n';
        else if (ec == std::errc::invalid_argument)
            std::cout << "This is not a number.\n";
        else if (ec == std::errc::result_out_of_range)
            std::cout << "This number is larger than an int.\n";
    }
    // C++23's constexpr from_char demo / C++26's operator bool() demo:
    auto to_int = [](std::string_view s) -> std::optional<int>
    {
        int value{};
#if __cpp_lib_to_chars >= 202306L
        if (std::from_chars(s.data(), s.data() + s.size(), value))
#else
        if (std::from_chars(s.data(), s.data() + s.size(), value).ec == std::errc{})
#endif
            return value;
        else
            return std::nullopt;
    };
    assert(to_int("42") == 42);
    assert(to_int("foo") == std::nullopt);
#if __cpp_lib_constexpr_charconv and __cpp_lib_optional >= 202106
    static_assert(to_int("42") == 42);
    static_assert(to_int("foo") == std::nullopt);
#endif
}

String: "1234". Result: 1234, ptr -> ""
String: "15 foo". Result: 15, ptr -> " foo"
String: "bar". This is not a number.
String: " 42". This is not a number.
String: "5000000000". This number is larger than an int.

Отчеты о дефектах

Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.

Смотрите также