为什么 const 对象的成员变量不是 const

Question

刚刚问了一个类似的问题，归结为这个问题。

#include <iostream>
using namespace std;

struct A {
    A() : a{1} {};
    int a;
};

template <typename Which>
struct WhichType;

int main() {
    const A a;
    const A& a_ref = a;
    const A* a_ptr = &a;
    WhichType<decltype(a.a)> which_obj; // template evaluates to int
    WhichType<decltype(a_ref.a)> which_ref; // template evaluates to int
    WhichType<decltype(a_ptr->a)> which_ptr; // template evaluates to int

    return 0;
}

为什么模板没有变成const int 而不是int？

Answer 1

decltype 为您提供操作数的“声明类型”，如果它没有包含在一组额外的括号中。

要获取表达式的实际类型，即const int，您必须编写decltype((a.a)) 等等。

decltype 始终为除名称之外的左值表达式返回引用类型。

Answer 2

当传递一个标识符（或成员）的名称时，它返回声明的类型。

当传递一个不同的表达式时，它会返回更接近你想要的东西，但有引用限定。

WhichType<std::remove_reference_t<decltype((a_ptr->a))>> which_ptr; // template evaluates to const int!

live example 或者如果你想要 l/r 价值：

WhichType<decltype((a_ptr->a))> which_ptr2; // template evaluates to const int&
WhichType<decltype(((const A){}.a))> which_ptr3; // template evaluates to const int

您可以在此处附加 && 以使其成为“真正的”右值引用。

WhichType<decltype(((A){}.a))&&> which_ptr4; // template evaluates to int&&!

live example.