一个 const 临时成员如何选择调用一个非 const 成员函数而不是一个 const 成员函数？ [复制]

Question

示例代码取自：http://en.cppreference.com/w/cpp/types/add_cv （我稍微修改了一下。）

struct foo
{
    void m() { std::cout << "Non-cv\n"; }
    void m() const { std::cout << "Const\n"; }
};

template<class T>
void call_m()
{
  T().m();
}

int main()
{
    call_m<foo>();
    call_m<const foo>(); //here
}

输出是：

Non-cv
Non-cv

在第二次调用中，T 是 const 限定的，所以 T() 应该调用 const 版本，对吗？还是我错过了一些特殊规则？

Answer 1

标准中的相关引用是 5.2.3 [expr.type.conv]/2

表达式 T()，其中 T 是非数组完整对象类型或（可能是 cv 限定的）void 类型的简单类型说明符或类型名称说明符，创建指定类型的纯右值，这是值初始化的（8.5；对于 void() 情况没有进行初始化）。 [注意：如果 T 是 cv 限定的非类类型，则在确定结果纯右值 (3.10) 的类型时忽略 cv 限定符。 ——尾注]

标准中的措辞明确提到（以非规范形式）对于 non-class 类型，const-volatile 资格被删除，但在您的情况下，类型是 class ，并且注释不适用。似乎 VS 应用了与非类类型相同的规则。