转发模板参数的常量，我应该使用转发引用吗？答案

【问题标题】：Forwarding the const-ness of a template parameter, should I use a forwarding reference?转发模板参数的常量，我应该使用转发引用吗？
【发布时间】：2017-10-01 02:12:10
【问题描述】：

我想编写一个函数foo，它应该调用其参数的operator()，如下面的（损坏的）代码所示：

template <typename T> void foo(const T& x){
    x();
}

struct MyFunctor{
    int data;
    void operator()(){
        /* stuff that might modify the data */
    }
};

int main()
{
    foo(MyFunctor{});
}

显然代码不起作用，因为operator() 不是const，但foo() 要求其参数为const。

作为模板函数，foo() 应该与const 和非const 函子一起使用，并且不要对其参数的const-ness 挑剔。

如果我通过删除 const 来更改 foo() 为以下内容：

template <typename T> void foo(T& x) { /* ... */ }

...它也不起作用，因为您无法将右值引用转换为非const 左值引用，因此无法调用foo(MyFunctor{})。

将foo() 更改为转发引用可以解决所有问题：

template <typename T> void foo(T&& x) { /* ... */ }

但这是“正确”的方式吗？转发引用不应该只与std::forward() 一起使用（即除了将其转发到另一个函数之外，不应触及该参数）？

【问题讨论】：

您可能想阅读Universal References in C++11—Scott Meyers。其中包含对T&& x使用的一些深入解释。
这很好，IMO
我很荣幸有六位数声誉的人回答我的问题！
我相信这就是他们获得六位数声誉的方式。

标签： c++ c++11 templates constants forwarding-reference

【解决方案1】：

是的，转发引用是正确的方式，如果它能让你平静下来，你当然可以转发参数：

template <typename T> void foo(T&& x){
    std::forward<T>(x)();
}

现在它甚至可以与 ref 合格的调用运算符一起使用。

【讨论】：

Ref-qualified 电话接线员是你今天教给我的新东西。

【解决方案2】：

是的，这就是转发引用的全部目的。

除了将其转发给另一个函数之外，不应触及该参数

这正是你正在做的事情。

【讨论】：