c++ - IUnknown 指针引用

Question

为什么 Visual Studio 编译器满意

void fn(int *&i) 
{
    ;
}

和

void fn(IUnknown *const &p)
{
    ;
}

但不是

void fn(IUnkown *&p)
{
    ;
}

在哪里调用它看起来像

IDXGIFactory *df = nullptr;
// init df
fn(df);

编译错误是

3 IntelliSense: a reference of type "IUnknown *&" (not const-qualified) cannot be initialized with a value of type "IDXGIFactory *" c:\Users\Carl\Documents\Visual Studio 2013\Projects\Project1\Project5\main.cpp 29 10 Project5

我在研究中发现的最接近的事情是编译器一次只会进行一种类型转换，但这是不对的，因为那样const & version 应该会停止执行类型和常量转换；然而，& 版本实际上无法编译。

Answer 1

一个非常量左值引用(如IUnknown*&)只能绑定(bind)到一个左值；它不能绑定(bind)到一个右值。一个 const 限定的左值引用(如 IUnknown* const&)可以绑定(bind)到一个右值。

更容易考虑不涉及指针或函数调用的更简单的情况:

int i = 0;

double        x = i; // (1) Well-formed
double const& y = i; // (2) Well-formed
double&       z = i; // (3) Ill-formed

这里，i 是一个int 类型的对象。当 i 用于表达式时，它是一个左值。

在(1)中，我们从i(属于输入 int)。类型不匹配，但这没关系，因为存在从 int 到 double 的隐式转换。这个转换的“结果”是一个右值表达式^(*)，类型为double，用于初始化x.

在(2)中，我们从i。同样，类型不匹配，因此使用隐式转换将 int 转换为 double。此转换的“结果”是一个右值。如开头所述，const 限定引用可以绑定(bind)到 rvalue，因此 y 绑定(bind)到转换的“结果”。

在(3)中，我们尝试从i<初始化非常量引用z(double&类型)/。类型不匹配，因此需要进行转换。此处不能使用转换，因为转换的“结果”是一个右值，并且如开头所述，非常量引用不能绑定(bind)到右值 .

C++ 有特殊规则允许 const 左值引用绑定(bind)到 rvalue 表达式。您可以从 StackOverflow 上的其他问题中找出原因，例如 "How come a non-const reference cannot bind to a temporary object?"

您的情况与此情况完全相同:您的参数类型 (IDXGIFactory*) 与参数类型 (IUnknown*) 或对其的引用)，因此需要隐式转换才能将参数转换为参数类型(在这种情况下，它是从指向派生类的指针到指向基类的指针的转换类)。但是，此转换的“结果”是一个右值表达式，因此它不能绑定(bind)到非常量引用 IUnknown*&。

---

^(*)它真的是一个纯右值；为简单起见，我在此答案中使用了 C++98 表达式分类法。参见 this question有关 C++11 值类别的信息。