[英]const correctness for custom reference wrapper
我在通过网络发送数据时使用boost::variant
来实现类型擦除。 当数据到达客户端或服务器时,我正在检查其结构以检索基础信息并在结构与 API 中约定的结构不匹配时报告错误。 为此,我创建了一个轻量级引用包装器,它包含对变体的引用,并为结构检查和类型转换提供了一个方便的接口。
using value_t = boost::make_recursive_variant< /*types, some of them recursive*/ >::type;
class view_t {
public:
/*non-const methods to access value_*/
private:
value_t& value_;
};
class cview_t {
public:
/*const methods to access value_*/
private:
const value_t& value_;
};
view_t view(value_t& v){ return v; }
cview_t cview(const value_t& v){ return v; }
cview_t cview(value_t&& v) = delete;
cview_t cview(const value_t&& v) = delete;
不幸的是,这个接口被证明很麻烦,因为每个具有view
成员的聚合类型都需要遵循相同的 const/non-const 拆分。 我想知道将这两个类合并到一个视图中并在创建如下视图的方法中使用 const_cast 是否合法:
class view_t {
public:
/*const and non-const methods to access value_*/
private:
value_t& value_;
};
view_t view(value_t& v){ return v; }
const view_t cview(const value_t& v){ return const_cast<value_t&>(v); }
const view_t cview(value_t&& v) = delete;
const view_t cview(const value_t&& v) = delete;
返回 const object 几乎没有用,因为
auto /*view_t*/ my_view = cview(some_value); // legal
所以你失去了你的坚持。
修改 const 值是未定义的行为,
您的视图可以用于通向 UB 的方式。
但只要你不修改 const object,你就“没问题”。
分成 2 个类更安全,因为它不能被滥用。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.