常量成员函数中成员变量的类型

当我将一个成员函数标记为 const 并检查成员变量的类型时，我得到了一些意想不到的结果。

#include <iostream>
#include <string>
template<typename T>
struct type_printer;
class const_type_test {
public:
void test() const {
type_printer<decltype(value)> _;
}
int& test2() const {
return value;
}
void test3() const {
auto& x = value;
type_printer<decltype(x)> _;
}
void test4() const {
auto* x = &value;
type_printer<decltype(*x)> _;
}
private:
int value;
};
int main(int argc, char** argv) 
{
const const_type_test x;
return 0;
}

我的理解是，当您在 const 方法中时，该方法实际上是一些名称损坏的名称，然后它们的参数类型是类名 const* const。我一直认为在 const 方法范围内，成员变量实际上是 const 的，即值将是 const int。但是，当使用编译器错误来推断我得到的类型时，我得到了我不期望的类型。

void const_type_test::test() const：聚合type_printer<int> _的错误输出类型不完整，无法定义，type_printer<decltype(value)> _;

所以我看到该类型被推断为 int。我以为这将是 const int，因为您无法更改值。我使用错误吗？还是我的理解有漏洞。

我想问的原因是编译器抱怨test2：int&类型的绑定引用const int丢弃限定符。这正是我所期望的。可以将常量引用绑定到非常量引用。

示例 3 显示以下错误：错误：聚合type_printer<const int&> _具有不完整的类型，无法type_printer<decltype(x)> _定义。这就是我所期望的，它已被推导出为常量参考。

示例 4：还推导出一个我认为会是一个指针的type_printer<const int&>。

渴望获得一些标准的参考，以找出我的知识漏洞在哪里。我也想知道在使用decltype时是否有一些奇怪的类型扣除规则让我绊倒。