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

Question

此示例程序无法编译，因为 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。我发现，也就是说，目前唯一可以从任意范围构造的容器是 std::span，所以我希望上面的示例能够工作。

有什么方法可以从范围创建跨度吗？或者有没有其他方法可以从方法中 return 通用视图，而不使用 auto（虚拟方法不允许这样做）？

Answer 1

Is it possible to construct a std::span from a view in C++20?

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

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 不能的方式，希望原因很清楚）。

Answer 2

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

的数组

你也不能从 std::deque 得到 std::span。

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

Is it possible to construct a `std::span` from a view in C++20?

c++

c++20

std-ranges

std-span