std:: to_array

Создаёт std::array из одномерного встроенного массива a . Копирование или перемещение многомерных встроенных массивов не поддерживается.

Обе перегрузки являются некорректными, когда std:: is_array_v < T > равно true .

Параметры

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

Примечания

Существуют ситуации, когда выведение аргументов шаблона класса для std::array невозможно использовать, тогда как to_array доступен:

• to_array может использоваться, когда тип элемента std::array указывается вручную, а длина выводится, что предпочтительно при необходимости неявного преобразования.
• to_array может копировать строковый литерал, тогда как автоматическое выведение шаблонных аргументов класса создаёт std::array из единственного указателя на его первый символ.

std::to_array<long>({3, 4}); // OK: неявное преобразование
// std::array<long>{3, 4};   // ошибка: слишком мало аргументов шаблона
std::to_array("foo");        // создает std::array<char, 4>{'f', 'o', 'o', '\0'}
std::array{"foo"};           // создает std::array<const char*, 1>{"foo"}

Возможная реализация

namespace detail
{
    template<class T, std::size_t N, std::size_t... I>
    constexpr std::array<std::remove_cv_t<T>, N>
        to_array_impl(T (&a)[N], std::index_sequence<I...>)
    {
        return {{a[I]...}};
    }
}
template<class T, std::size_t N>
constexpr std::array<std::remove_cv_t<T>, N> to_array(T (&a)[N])
{
    return detail::to_array_impl(a, std::make_index_sequence<N>{});
}

namespace detail
{
    template<class T, std::size_t N, std::size_t... I>
    constexpr std::array<std::remove_cv_t<T>, N>
        to_array_impl(T (&&a)[N], std::index_sequence<I...>)
    {
        return {{std::move(a[I])...}};
    }
}
template<class T, std::size_t N>
constexpr std::array<std::remove_cv_t<T>, N> to_array(T (&&a)[N])
{
    return detail::to_array_impl(std::move(a), std::make_index_sequence<N>{});
}

`, `$`\; не\; переведен\; -\; C++\; специфические\; термины\; оставлены\; на\; английском\; -\; Сохранено\; оригинальное\; форматирование\; и\; структура\; документа$

Пример

#include <array>
#include <memory>
#include <string_view>
#include <type_traits>
#include <utility>
// создает constexpr массив string_view    
constexpr auto w1n = std::to_array<std::string_view>({
    "Mary", "Patricia", "Linda", "Barbara", "Elizabeth", "Jennifer"
});
static_assert(std::is_same_v<decltype(w1n), const std::array<std::string_view, 6>>);
static_assert(w1n.size() == 6 and w1n[5] == "Jennifer");
int main()
{
    // копирует строковый литерал
    auto a1 = std::to_array("foo");
    static_assert(a1.size() == 4);
    // выводит и тип элемента, и длину
    auto a2 = std::to_array({0, 2, 1, 3});
    static_assert(std::is_same_v<decltype(a2), std::array<int, 4>>);
    // выводит длину с указанным типом элемента
    // происходит неявное преобразование
    auto a3 = std::to_array<long>({0, 1, 3});
    static_assert(std::is_same_v<decltype(a3), std::array<long, 3>>);
    auto a4 = std::to_array<std::pair<int, float>>(
        {{3, 0.0f}, {4, 0.1f}, {4, 0.1e23f}});
    static_assert(a4.size() == 3);
    // создает некопируемый std::array
    auto a5 = std::to_array({std::make_unique<int>(3)});
    static_assert(a5.size() == 1);
    // ошибка: копирование многомерных массивов не поддерживается
    // char s[2][6] = {"nice", "thing"};
    // auto a6 = std::to_array(s);
}

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