如何正确"perfect forward"吸气功能？

How to correctly "perfect forward" getter functions?

本文关键字：功能 forward 何正确 perfect      更新时间：2023-10-16

我正在为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限定符和const正确性。

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

这与C++模板不同，但它能完成任务。

    #define GETTERS(V) 
            V(Obj) 
            V(Arr) 
            V(Str)
    #define VISIT(X) 
            auto &get ## X() & noexcept { assert(is<X>()); return h ## Obj; } 
            const auto &get ## X() const& noexcept { assert(is<X>()); return h ## Obj; } 
            auto &get ## X() && noexcept { assert(is<X>()); return std::move(h ## Obj); }

    GETTERS(VISIT)
相关文章：