关于cppreference中decltype两条规则的技术疑问咨询

该规则是为decltype的不求值语境专门设计的，实际影响主要有两点：

• 无需触发类的复制/移动构造可用性校验。即使目标类的复制、移动构造函数被删除或私有不可访问，只要函数返回该类类型的prvalue，decltype(f())的推导过程就可以正常完成，不会编译报错。如果规则要求创建临时对象，就必须验证类可以通过复制/移动构造生成临时，一旦构造函数不可用，推导就会失败。
• 推导结果完全匹配函数返回类型，不会被临时对象的属性干扰。比如函数返回const A类型的prvalue，decltype(f())会准确推导为const A，不会出现类型偏差。

示例代码：

struct A {
    A() = default;
    A(const A&) = delete; // 显式删除复制构造函数
};
A f() { return A{}; }

// C++17 之前可正常编译，推导结果为 A
decltype(f()) a;

注：C++17 引入纯右值临时物质化延迟规则后，该特殊规则已经和通用语言规则对齐，因此不再作为decltype的特殊条款单独说明。

该设计是为了区分两种完全不同的使用需求：

• 当操作数是无括号的标识符或类成员访问表达式时，decltype的设计目标是返回该实体声明时的原始类型，完全忽略表达式的值类别属性，满足用户直接获取变量本身类型的需求。
• 当标识符被括号包裹时，(x)不再是标识符本身，而是一个普通的左值表达式，此时decltype遵循通用的表达式类型推导规则：左值表达式返回类型的左值引用，亡值返回右值引用，纯右值返回值类型。

示例代码：

int x = 10;

// 推导结果为int，直接取x的声明类型
decltype(x) a = 20;
a = 30; // 仅修改独立变量a，对x无影响

// 推导结果为int&，遵循左值表达式的推导规则
decltype((x)) b = x;
b = 40; // 修改的是b绑定的x本身，x的值会变为40

内容的提问来源于stack exchange，提问作者slow_down_the_pace