返回值的完美转发？

Question

我正在重载operator[]：

const Type&& operator[](int index) const {
        if (index >= size) { std::cout << "Error: excessive index.\n"; return 0; }
        else if (index < 0) { std::cout << "Error: negative index.\n"; return 0; }
        else {
            Node* temp = head->next;
            for (int i = 0; i < index; i++) { temp = temp->next; }
            return temp->value;
        }
    }

但我需要它的副本，它将返回非 const 类型值。我读到我们可以在函数参数既可以是 const 也可以是非常量的情况下使用完美转发（这样我们每次使用它时都将它们包装在 forward<Type> 中），但是如何将它用于返回的值呢？

另外，如果我只想不返回任何内容，我应该写return 0; 还是return NULL;？哪个更容易理解？

Answer 1

这种适用于所有人的统一语法，const/volatile/non-const/lvalue/rvalue/等，目前不支持隐式对象参数。但是，有一个提案P0847r4: Deducing this 添加了这个功能。有了这个，你可以说：

template <typename Self>
auto&& operator[](this Self&& self, int index)
{
    if (index >= self.size) { throw std::out_of_range("Error: excessive index"); }
    else if (index < 0) { throw std::out_of_range("Error: negative index"); }

    auto* temp = self.head;
    for (int i = 0; i < index; i++) { temp = temp->next; }        
    return std::forward_like<Self>(temp->value);
}

在它可用之前，您可以做的最好的事情是缩短const 和非const 重载的实现，并将这两个调用委托给一个静态帮助函数模板，实际上可以 em> 推导出隐式对象参数的 cv-qualification 和 value 类别：

class List
{
private:
    template <typename Self>
    static auto&& get(Self&& self, int index)
    {    
        if (index >= self.size) { throw std::out_of_range("Error: excessive index"); }
        else if (index < 0) { throw std::out_of_range("Error: negative index"); }

        Node* temp = self.head;
        for (int i = 0; i < index; i++) { temp = temp->next; }
        return temp->value;
    }

public:
    const Type& operator[](int index) const
    {
        return get(*this, index);
    }

    Type& operator[](int index)
    {
        return get(*this, index);
    }

private:
    // ...
};

DEMO

另外，请注意，返回引用的函数的惯用方法是在无法返回任何内容的情况下抛出异常，或者插入 ad-hoc 并返回一个新对象。