问题描述
此示例程序无法编译,因为 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
。