是否可以从 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），但是我不太明白，为什么不能从中构造 a std::span。我找到了这个答案，即目前唯一可以从任意范围构建的容器是std::span，所以我希望上面的例子能够工作。

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

Answer 1

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

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

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

是你产生的适应范围不是连续的，它只是随机访问。Aspan<char const*>必须引用char const*内存中连续的 s，而这里绝对不会是这种情况。这就是为什么这不起作用。

但这并不意味着任何适应范围都不能转换为span. 例如，这将起作用：

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

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