但是如果没有memcpy、std::copy或std::ranges::copy，我就找不到这样做的方法，因为它们不能防止错误指定目标数组大小。
如果一个span有一个 static 扩展区，它的size()可以实现为一个常量表达式，它可以在当前的主流编译器上工作：

std::array<uint8_t, span.size()> copy4;
std::ranges::copy(span, copy4.begin());

字符串
或者，您可以通过其静态成员常量extent（如std::array<uint8_t, span.extent>）获取size值，这是可以保证工作的。

你可以把它 Package 在一个函数中：

template <typename T, std::size_t N>
std::array<T, N> to_array(std::span</*const*/ T, N> s)
requires (N != std::dynamic_extent)
{
    return [&]<std::size_t... Is>(std::index_sequence<Is...>){
        return std::array<T, N>{{s[Is]...}};
    }(std::make_index_sequence<N>());
}

字符串
注意：我避免使用std::copy，因为它需要有T的默认构造函数（用于初始数组）。

为了扩展@Jarod42的答案，我们可以做一些改进：

#include <span>
#include <array>
#include <cstring>
#include <algorithm>

// 1. constrain this function to copy-constructible types
template <std::copy_constructible T, std::size_t N>
    requires (N != std::dynamic_extent)
// 2. handle spans of const/volatile T correctly
std::array<std::remove_cv_t<T>, N> to_array(std::span<T, N> s)
// 3. add conditional noexcept specification
    noexcept(std::is_nothrow_copy_constructible_v<T>)
{
    // add type alias so we don't repeat the return type
    using result_type = decltype(to_array(s));
    if constexpr (std::is_trivial_v<T>) {
        // 4. avoid unnecessary instantiations of std::index_sequence etc.
        //    in the cases where we can copy with no overhead (should be fairly common)
        result_type result;
        // note: we cannot simply use std::memcpy here because it would not
        //       correctly handle volatile T
        std::ranges::copy(s, result.begin());
        return result;
    }
    // TODO: consider using std::ranges::copy for all default-constructible
    //       and copyable types, because the following results in huge assembly output
    else {
        // if 4. is not applicable, we still have to use @Jarod42's solution
        return [&]<std::size_t... Is>(std::index_sequence<Is...>) {
            return result_type{s[Is]...};
        }(std::make_index_sequence<N>{});
    }
}

字符串
如果要进一步减小部件大小，可以使用以下条件：

std::is_default_constructible_v<T> && std::is_copy_assignable_v<T>

型
如果您担心std::ranges::copy在初始化过程中会产生开销，那么可以使用std::is_trivially_default_constructible_v<T>，也可以与std::ranges::uninitialized_copy一起使用，这样可以减轻这种情况。