std::forward 不允许接受左值

Question

下面是最大堆的insert()成员函数的实现。我尝试使用 std::forward 因为我认为它可以替代编写接受左值的此函数的重载。但是，代码仍然不适用于左值。有什么想法吗？

注：values是max_heapclass中的私有vector<T>。

template <typename T, typename compare_type>
void max_heap<T, compare_type>::insert(T&& item){
    if(values.empty()){
        values.push_back(std::forward<T>(item));
        return;
    }
        
    values.push_back(std::forward<T>(item));
        
    size_t child_pos = values.size()-1;
    size_t parent_pos = (child_pos-1)/2;
        
    //stop swapping either when inserted child at root or smaller than parent
    while(child_pos != 0 && pred(values[parent_pos], values[child_pos])){
        std::swap(values[parent_pos], values[child_pos]);
        child_pos = parent_pos;
        parent_pos = (child_pos-1)/2;
    }
}

Answer 1

要创建转发引用，您的参数类型必须作为同一函数模板的模板参数存在。（有关详细信息，请参阅 forward references 的 (1)。）

在您的例子中，模板参数 T 来自 class max_heap 而不是来自函数的模板参数列表，因此 item 用作右值引用（不能绑定到左值）而不是作为转发参考。

对于你的情况，尝试这样的事情：

#include <cstddef>
#include <utility>
#include <vector>
// Other header includes go here ...

template <typename T, typename compare_type>
class max_heap {
    // Other instance variables go here ...
public:
    template <typename U> // <- Notice how the template parameter 'U' is bound to the 'same function template'
    void insert(U&& item);
    // Other member methods go here ...
};

// ...

template <typename T, typename compare_type>
template <typename U>
void max_heap<T, compare_type>::insert(U&& item){
    if(values.empty()){
        values.push_back(std::forward<U>(item));
        return;
    }
    
    values.push_back(std::forward<U>(item));
    
    size_t child_pos = values.size()-1;
    size_t parent_pos = (child_pos-1)/2;
    
    //stop swapping either when inserted child at root or smaller than parent
    while(child_pos != 0 && pred(values[parent_pos], values[child_pos])){
        std::swap(values[parent_pos], values[child_pos]);
        child_pos = parent_pos;
        parent_pos = (child_pos-1)/2;
    }
}

// Other definitions go here ...

std::forward 不允许接受左值

std::forward not allowing lvalues to be accepted

c++

perfect-forwarding