C++ 取消引用发生在隐式转换之后

Question

今天我看到当尝试在函数调用中取消引用参数时，隐式转换发生在实际取消引用操作之前(我相信只有原始类型不支持取消引用)。

这个观察可以在这里看到:

struct A{};


struct C
{
    C(const A&)
    {

    }
};


C operator*(const C&);

double f(C);


template <typename T>
struct t
{
    static const bool value = sizeof(f(**static_cast<T*>(NULL))) == sizeof(double);
};


int main(int argc, const char * argv[]) {
    t<A>::value;
}

C++ 标准是否明确提及此行为？谢谢。

Answer 1

让我们看一下这个表达式:

f(**static_cast<A*>(NULL))

从最内层到最外层，static_cast<A*>(NULL)是一个 A* (虽然更喜欢 nullptr 而不是 NULL ，并且也更喜欢使用 std::declval<A*>() 来获得“类型 A* 的东西”，而不是旧的空指针方法)。

接下来，*(a prvalue of type A*)给你一个 A 类型的左值.这就是指针取消引用的意思，它是不可重载的。当事情很容易推理时，这很好。

接下来，*(an lvalue of type A) .为了弄清楚这意味着什么，我们transform对函数符号的调用，我们的候选集是:

• A::operator*()
• operator*(a) , 对 operator*() 进行不合格查找在表达式的上下文中。
• built-in候选人。

第一个项目符号没有找到任何东西，没有A::operator*() .第二个项目符号，对 operator*() 的不合格查找会找到函数 C operator*(const C&);因为它在范围内。这是一个可行的候选者，因为 A可转换为 C通过C(A const&) .第三颗子弹没有可行的候选者。

由于我们只有一个可行的候选者，因此它无疑是最佳可行的候选者 - 所以 *(lvalue of type A)给我们一个类型为 C 的纯右值.

具体回答您的问题:

the implicit conversion happens before the actual dereference operation

是的，必须进行转换才能解决取消引用操作。虽然它实际上不是“取消引用”，但它只是一元 operator*() .

最后，f(prvalue of type C)调用一个 f我们有给我们 double .

---

请注意，在现代 C++ 中，我建议将检查编写为更接近于:

template <typename T>
struct t
    : std::is_same<
        decltype(f(*std::declval<T>())), // <== the type we get when we call f
                                         // on a dereferenced T
        double>
{ };