1

此示例程序无法编译，因为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（虚拟方法不允许这样做）？

4

2 回答 2

5

是否可以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，原因希望很清楚）。

于 2021-05-12T19:30:41.537 回答
1

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

你也不能从 a中得到std::spana std::deque。

于 2021-05-12T19:31:03.687 回答