是否可以从 C++20 中的视图构造一个 `std::span`？

如何解决是否可以从 C++20 中的视图构造一个 `std::span`？

此示例程序无法编译，因为 transform_view 无法转换为 std::span：

class Foo {
private:
    std::vector<std::string> strings = { "a","b","c" };

public:
    std::span<const char*> getStrings() {
        return strings | std::views::transform([](const std::string& str) { return str.c_str(); });
    }
};

int main() {
    Foo foo;
    auto strings = foo.getStrings();

    for (auto s : strings)
        std::cout << s << std::endl;
}

我知道目前还不能构造容器（如 std::vector），但是我不太明白，为什么不能从中构造 std::span。我发现 this answer，也就是说，目前唯一可以从任意范围构建的容器是 std::span，所以我希望上面的例子可以工作。

有没有办法从一个范围创建一个跨度？或者有没有其他方法可以从方法返回通用视图，而不使用 auto（虚拟方法不允许使用）？

解决方法

是否可以从 C++20 中的视图构造 std::span？

可以从任何连续范围（具有适当的基础类型）构造一个跨度。这里的问题：

std::span<const char*> getStrings() {
    return strings | std::views::transform([](const std::string& str) { return str.c_str(); });
}

是您生成的适应范围不是连续的，它只是随机访问。 span<char const*> 必须指代在内存中连续的 char const*，这里绝对不是这种情况。这就是为什么这不起作用。

但这并不意味着没有适应范围可以转换为span。例如，这会起作用：

std::span<std::string> getStrings() {
    return strings | std::views::take(5);
}

因为 views::take 可以保持连续性（以一种 transform 不能的方式，原因希望很清楚）。

,

std::span 是一个指针和一个大小。它指向一个数组（或无处）。没有 const char * 数组。

您也无法从 std::span 获取 std::deque。