为什么 const 临时绑定到右值引用参数？

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 值的函数。

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

func(func2());

我希望选择 const 重载。但相反，我得到：

mutable

这怎么可能？为什么 const 返回值绑定到非 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

为什么 const 临时绑定到右值引用参数？

因为在重载决议发生时它不是 const。

[expr.type]

2 如果纯右值最初的类型为“cv T”，其中 T 是无 cv 限定的非类、非数组类型，则表达式的类型会在任何进一步分析之前调整为 T。

类类型纯右值保留其 cv 限定，但不保留 void* const 纯右值。因此，重载解决方案使用普通的void* prvalue，它解释了您在选择右值重载时观察到的行为。

本段适用的类型是那些“基本”类型，其值实际上由程序访问。所以这种类型的prvalue确实是一个“纯”的、短暂的值，已经不能修改了。