c++ - 为什么 const 临时绑定(bind)到右值引用参数？

Question

我有以下功能:

void func(void * const &ptr)
{
    std::cerr << "const" << std::endl;
}

void func(void *      &&ptr)
{
    std::cerr << "mutable" << std::endl;
}

void* const func2()
{
    return nullptr;
}

一个重载采用常量引用参数，另一个采用可变右值引用。并且有一个返回 const 值的函数。

当我将该 const 临时值传递给函数时:

func(func2());

我希望选择 const 重载。但是我得到:

mutable

这怎么可能？为什么 const 返回值绑定(bind)到非 const 右值引用参数？

然而，当我将 const struct 传递给函数而不是 void* 时，这不会发生:

struct A
{
};

void func(A const &a)
{
    std::cerr << "const" << std::endl;
}

void func(A      &&a)
{
    std::cerr << "mutable" << std::endl;
}

A const func3()
{
    return A(); 
}

int main()
{
    func(func3());
    return 0;
}

结果是:

const

您可以在 coliru 上查看.

const void* 和 const struct 有什么区别？

有没有一种方法可以使重载特别采用 const 值？

Answer 1

Why is const temporary bound to rvalue reference parameter?

因为在重载解析发生时它不是 const。

[expr.type]

2 If a prvalue initially has the type “cv T”, where T is a cv-unqualified non-class, non-array type, the type of the expression is adjusted to T prior to any further analysis.

类类型纯右值保留其 cv 限定，但不是 void* const 纯右值。因此，重载决议发生在一个普通的 void* 纯右值上，这解释了您在选择右值重载时观察到的行为。

本段适用的类型是那些值实际上被程序访问的“基本”类型。因此，这种类型的纯右值确实是一个“纯”、短暂的值，并且无法修改。