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(A const&) 转换为C。第三个子弹没有可行的候选者。

由于我们只有一个可行的候选者，因此它无疑是最佳可行的候选者 - 所以*(lvalue of type A) 为我们提供了C 类型的prvalue。

具体回答您的问题：

隐式转换发生在实际取消引用操作之前

是的，必须进行转换才能解决取消引用操作。虽然它实际上不是“取消引用”，但它只是一个一元 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>
{ };