Skip to content

Latest commit

 

History

History
220 lines (158 loc) · 10.2 KB

File metadata and controls

220 lines (158 loc) · 10.2 KB

条款二十八:理解引用折叠

Item 28: Understand reference collapsing

Item23中指出,当实参传递给模板函数时,被推导的模板形参T根据实参是左值还是右值来编码。但是那条款并没有提到只有当实参被用来实例化通用引用形参时,上述推导才会发生,但是有充分的理由忽略这一点:因为通用引用是Item24中才提到。回过头来看,对通用引用和左值/右值编码的观察意味着对于这个模板,

template<typename T>
void func(T&& param);

不管传给param的实参是左值还是右值,模板形参T都会编码。

编码机制是简单的。当左值实参被传入时,T被推导为左值引用。当右值被传入时,T被推导为非引用。(请注意不对称性:左值被编码为左值引用,右值被编码为非引用。)因此:

Widget widgetFactory();     //返回右值的函数
Widget w;                   //一个变量(左值)
func(w);                    //用左值调用func;T被推导为Widget&
func(widgetFactory());      //用右值调用func;T被推导为Widget

上面的两种func调用中,Widget被传入,因为一个是左值,一个是右值,模板形参T被推导为不同的类型。正如我们很快看到的,这决定了通用引用成为左值还是右值,也是std::forward的工作基础。

在我们更加深入std::forward和通用引用之前,必须明确在C++中引用的引用是非法的。不知道你是否尝试过下面的写法,编译器会报错:

int x;
…
auto& & rx = x;             //错误!不能声明引用的引用

考虑下,如果一个左值传给接受通用引用的模板函数会发生什么:

template<typename T>
void func(T&& param);       //同之前一样

func(w);                    //用左值调用func;T被推导为Widget&

如果我们用T推导出来的类型(即Widget&)初始化模板,会得到:

void func(Widget& && param);

引用的引用!但是编译器没有报错。我们从Item24中了解到因为通用引用param被传入一个左值,所以param的类型应该为左值引用,但是编译器如何把T推导的类型带入模板变成如下的结果,也就是最终的函数签名?

void func(Widget& param);

答案是引用折叠reference collapsing)。是的,禁止声明引用的引用,但是编译器会在特定的上下文中产生这些,模板实例化就是其中一种情况。当编译器生成引用的引用时,引用折叠指导下一步发生什么。

存在两种类型的引用(左值和右值),所以有四种可能的引用组合(左值的左值,左值的右值,右值的右值,右值的左值)。如果一个上下文中允许引用的引用存在(比如,模板的实例化),引用根据规则折叠为单个引用:

如果任一引用为左值引用,则结果为左值引用。否则(即,如果引用都是右值引用),结果为右值引用。

在我们上面的例子中,将推导类型Widget&替换进模板func会产生对左值引用的右值引用,然后引用折叠规则告诉我们结果就是左值引用。

引用折叠是std::forward工作的一种关键机制。就像Item25中解释的一样,std::forward应用在通用引用参数上,所以经常能看到这样使用:

template<typename T>
void f(T&& fParam)
{
    …                                   //做些工作
    someFunc(std::forward<T>(fParam));  //转发fParam到someFunc
}

因为fParam是通用引用,我们知道类型参数T的类型根据f被传入实参(即用来实例化fParam的表达式)是左值还是右值来编码。std::forward的作用是当且仅当传给f的实参为右值时,即T为非引用类型,才将fParam(左值)转化为一个右值。

std::forward可以这样实现:

template<typename T>                                //在std命名空间
T&& forward(typename
                remove_reference<T>::type& param)
{
    return static_cast<T&&>(param);
}

这不是标准库版本的实现(忽略了一些接口描述),但是为了理解std::forward的行为,这些差异无关紧要。

假设传入到f的实参是Widget的左值类型。T被推导为Widget&,然后调用std::forward将实例化为std::forward<Widget&>Widget&带入到上面的std::forward的实现中:

Widget& && forward(typename 
                       remove_reference<Widget&>::type& param)
{ return static_cast<Widget& &&>(param); }

std::remove_reference<Widget&>::type这个type trait产生Widget(查看Item9),所以std::forward成为:

Widget& && forward(Widget& param)
{ return static_cast<Widget& &&>(param); }

根据引用折叠规则,返回值和强制转换可以化简,最终版本的std::forward调用就是:

Widget& forward(Widget& param)
{ return static_cast<Widget&>(param); }

正如你所看到的,当左值实参被传入到函数模板f时,std::forward被实例化为接受和返回左值引用。内部的转换不做任何事,因为param的类型已经是Widget&,所以转换没有影响。左值实参传入std::forward会返回左值引用。通过定义,左值引用就是左值,因此将左值传递给std::forward会返回左值,就像期待的那样。

现在假设一下,传递给f的实参是一个Widget的右值。在这个例子中,f的类型参数T的推导类型就是Widgetf内部的std::forward调用因此为std::forward<Widget>std::forward实现中把T换为Widget得到:

Widget&& forward(typename
                     remove_reference<Widget>::type& param)
{ return static_cast<Widget&&>(param); }

std::remove_reference引用到非引用类型Widget上还是相同的类型(Widget),所以std::forward变成:

Widget&& forward(Widget& param)
{ return static_cast<Widget&&>(param); }

这里没有引用的引用,所以不需要引用折叠,这就是std::forward的最终实例化版本。

从函数返回的右值引用被定义为右值,因此在这种情况下,std::forward会将f的形参fParam(左值)转换为右值。最终结果是,传递给f的右值参数将作为右值转发给someFunc,正是想要的结果。

在C++14中,std::remove_reference_t的存在使得实现变得更简洁:

template<typename T>                        //C++14;仍然在std命名空间
T&& forward(remove_reference_t<T>& param)
{
  return static_cast<T&&>(param);
}

引用折叠发生在四种情况下。第一,也是最常见的就是模板实例化。第二,是auto变量的类型生成,具体细节类似于模板,因为auto变量的类型推导基本与模板类型推导雷同(参见Item2)。考虑本条款前面的例子:

Widget widgetFactory();     //返回右值的函数
Widget w;                   //一个变量(左值)
func(w);                    //用左值调用func;T被推导为Widget&
func(widgetFactory());      //用右值调用func;T被推导为Widget

在auto的写法中,规则是类似的。声明

auto&& w1 = w;

用一个左值初始化w1,因此为auto推导出类型Widget&。把Widget&代回w1声明中的auto里,产生了引用的引用,

Widget& && w1 = w;

应用引用折叠规则,就是

Widget& w1 = w

结果就是w1是一个左值引用。

另一方面,这个声明,

auto&& w2 = widgetFactory();

使用右值初始化w2,为auto推导出非引用类型Widget。把Widget代入auto得到:

Widget&& w2 = widgetFactory()

没有引用的引用,这就是最终结果,w2是个右值引用。

现在我们真正理解了Item24中引入的通用引用。通用引用不是一种新的引用,它实际上是满足以下两个条件下的右值引用:

  • 类型推导区分左值和右值T类型的左值被推导为T&类型,T类型的右值被推导为T
  • 发生引用折叠

通用引用的概念是有用的,因为它使你不必一定意识到引用折叠的存在,从直觉上推导左值和右值的不同类型,在凭直觉把推导的类型代入到它们出现的上下文中之后应用引用折叠规则。

我说了有四种情况会发生引用折叠,但是只讨论了两种:模板实例化和auto的类型生成。第三种情况是typedef和别名声明的产生和使用中(参见Item9)。如果,在创建或者评估typedef过程中出现了引用的引用,则引用折叠就会起作用。举例子来说,假设我们有一个Widget的类模板,该模板具有右值引用类型的嵌入式typedef

template<typename T>
class Widget {
public:
    typedef T&& RvalueRefToT;
    …
};

假设我们使用左值引用实例化Widget

Widget<int&> w;

Widget模板中把T替换为int&得到:

typedef int& && RvalueRefToT;

引用折叠就会发挥作用:

typedef int& RvalueRefToT;

这清楚表明我们为typedef选择的名字可能不是我们希望的那样:当使用左值引用类型实例化Widget时,RvalueRefToT左值引用typedef

最后一种引用折叠发生的情况是,decltype使用的情况。如果在分析decltype期间,出现了引用的引用,引用折叠规则就会起作用(关于decltype,参见Item3

请记住:

  • 引用折叠发生在四种情况下:模板实例化,auto类型推导,typedef与别名声明的创建和使用,decltype
  • 当编译器在引用折叠环境中生成了引用的引用时,结果就是单个引用。有左值引用折叠结果就是左值引用,否则就是右值引用。
  • 通用引用就是在特定上下文的右值引用,上下文是通过类型推导区分左值还是右值,并且发生引用折叠的那些地方。