如何正确"完善前进"吸气功能？

Question

我正在为C++ 14创建一个JSON库,我试图尽可能地使用移动语义.

我Value班上有几个定时器和吸气器,总是尽可能地移动:

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功能.

如何为吸气功能做同样的事情？我很确定我必须使用模板返回类型,但我不确定如何复制ref-qualifiers和const-correctness.

Answer 1

由于您无法在 ref 限定符和成员常量上进行模板化，因此悲伤的答案是您不能。你必须把它们写出来。