c++ - 通用引用和重载

Question

假设我在一个类中有两个方法重载，set_value，每个重载都有一个通用引用。我想让一个函数调用另一个函数以避免代码重复，但我不确定哪个是为另一个函数提供通用引用的正确方法。

template <typename U>
void set_value(U&& value) {
    this->value_ = std::forward<U>(value);
}

template <typename U>
void set_value(U&& value, int overloaded) {
    // which is the correct way to use the other `set_value` overload?
    set_value(value); // just use value directly?
    set_value(std::forward<U>(value)); // or should I forward it?
}

Answer 1

如果你想完美转发value，使用std::forward

即使 value 可能 绑定(bind)到一个右值，当您在 set_value 中按名称使用它时，它是一个左值。因此，如果您执行 set_value(value);，单参数重载中的通用引用将绑定(bind)到左值引用。

我们可以通过添加如下操作来确认这一点:

template<class T> class TD;  // Allows us to view type deduction results in
                             // the form of compilation errors.
                             // (From "Effective Modern C++")

...

template <typename U>
void set_value(U&& value) {
    TD<decltype(value)> td;
}

...

int i;
set_value(i, 0);
set_value(3, 0);

当使用转发时，这会给你一个编译错误，显示 value 的类型为 int& for set_value(i, 0); 。如果您注释掉该语句，您将收到 set_value(3, 0); 的编译错误，显示 value 的类型为 int&& .
如果您删除转发，您将在这两种情况下获得 int& 。