我正在为 C++14 创建一个 JSON 库,并且尽可能使用移动语义。
我的Value
班级有几个 setter 和 getter,它们总是尽可能地尝试移动:
template<class T> void setObj(T&& x) { type = Obj; hObj.init(forward<T>(x)); }
template<class T> void setArr(T&& x) { type = Arr; hArr.init(forward<T>(x)); }
template<class T> void setStr(T&& x) { type = Str; hStr.init(forward<T>(x)); }
auto& getObj() & noexcept { assert(is<Obj>()); return hObj; }
auto& getArr() & noexcept { assert(is<Arr>()); return hArr; }
auto& getStr() & noexcept { assert(is<Str>()); return hStr; }
const auto& getObj() const& noexcept { assert(is<Obj>()); return hObj; }
const auto& getArr() const& noexcept { assert(is<Arr>()); return hArr; }
const auto& getStr() const& noexcept { assert(is<Str>()); return hStr; }
auto getObj() && noexcept { assert(is<Obj>()); return move(hObj); }
auto getArr() && noexcept { assert(is<Arr>()); return move(hArr); }
auto getStr() && noexcept { assert(is<Str>()); return move(hStr); }
从代码中可以看出,使用模板和通用引用非常容易实现完美的转发 setter 函数。
我怎样才能对 getter 函数做同样的事情?我很确定我必须使用模板返回类型,但我不确定如何复制 ref-qualifiers 和 const-correctness。