假设我在一个类中有一个成员变量std::vector<std::string>
,并且我想使用gsl::array_view
和gsl::cstring_view
的组合从成员函数中将其作为不可变视图返回。不幸的是,以下内容没有编译:
class C {
public:
gsl::array_view<const gsl::cstring_view<>> getVectorOfStrings() const
{
return _vectorOfStrings;
}
private:
std::vector<std::string> _vectorOfStrings;
};
原因是没有cstring_view
的容器可以创建array_view
。所以我的问题是:有没有一种方法可以在不显式添加std::vector<gsl::cstring_view<>>
类型的成员的情况下使用这样的构造,这显然是不可取的?
编辑
在我看来,这种"转变"的观点可能有更普遍的用途。考虑拥有一个拥有指针的vector
,比如std::vector<std::shared_ptr<T>>
,我想将其作为原始指针的array_view
公开给类的用户:gsl::array_view<const T*>
,而不公开我的实现定义的存储方法。想法?
根据定义,视图通常只提供对现有对象的引用。因此,如果不首先创建匹配容器(例如vector<const cstring_view<>>
),就无法创建正常的array_view<const cstring_view<>>
。
然而,您可以为gsl::array_view<const cstring_view<>>
创建自己的专业化,这将根据需要创建cstring_view<>
(当调用索引运算符和取消引用迭代器时)。虽然与简单的方法相比,这将节省动态内存分配并减少内存占用,但在大多数情况下,增加复杂性是不值得的。
如果你想遵循编辑中描述的通用方法,你可能想看看boost::transform_iterator
——要么直接使用,要么作为你自己的通用transform_array_view
类的灵感来源(我相信,这将是对gsl或boost的一个受欢迎的添加)。