C ++十进制类型和括号-为什么？

之前已经讨论 过该主题，但这不是重复的。

当有人询问decltype(a)和之间的区别时decltype((a))，通常的答案是- a是变量，(a)是表达式。我觉得这个答案不令人满意。

首先，a也是一个表达。主表达式的选项包括：

• （表情）
• id表达

更重要的是，decltype的措词非常非常明确地考虑了括号：

For an expression e, the type denoted by decltype(e) is defined as follows:
(1.1)  if e is an unparenthesized id-expression naming a structured binding, ...
(1.2)  otherwise, if e is an unparenthesized id-expression naming a non-type template-parameter, ...
(1.3)  otherwise, if e is an unparenthesized id-expression or an unparenthesized class member access, ...
(1.4)  otherwise, ...

因此问题仍然存在。为什么括号要区别对待？是否有人熟悉其背后的技术论文或委员会讨论？括号的明确考虑导致认为这不是疏忽，所以一定有我所缺少的技术原因。

这不是疏忽。有趣的是，在Decltype和auto（修订版4）（N1705 = 04-0145）中有一条语句：

现在，decltype规则明确声明了这一点decltype((e)) == decltype(e)（如EWG所建议）。

但是在Decltype（修订版6）中：建议的措词（N2115 = 06-018）的变化之一是

在decltype内部的括号表达式不被视为id-expression。

措词没有任何依据，但我想这是使用稍微不同的语法对decltype的一种扩展，换句话说，它旨在区分这些情况。

其用法在C ++ draft9.2.8.4中显示：

const int&& foo();
int i;
struct A { double x; };
const A* a = new A();
decltype(foo()) x1 = 17;        // type is const int&&
decltype(i) x2;                 // type is int
decltype(a->x) x3;              // type is double
decltype((a->x)) x4 = x3;       // type is const double&

真正有趣的是它如何与return语句一起工作：

decltype(auto) f()
{
    int i{ 0 };
    return (i);
}

我的Visual Studio 2019建议我删除多余的括号，但实际上，由于返回了对局部变量的引用，decltype((i))因此更改变成了将返回值变为int&UB的更改。

为什么括号要区别对待？

括号没有区别。区别对待的是非括号化的id表达式。

如果出现括号，则适用所有表达式的规则。提取类型和值类别并将其分类为decltype。

那里有特殊规定，以便我们可以更轻松地编写有用的代码。应用于decltype（成员）变量的名称时，通常不希望使用某种类型来表示变量在作为表达式时的属性。相反，我们只需要声明变量的类型，而无需应用大量类型特征来获取它。这正是decltype指定给我们的。

如果我们确实将变量的属性视为表达式，那么仍然可以很容易地获得它，并带有额外的一对括号。

C ++ 11之前的语言需要工具来获得两种不同的信息：

• 表达式的类型
• 声明的变量的类型

由于此信息的性质，必须使用该语言添加功能（不能在库中完成）。这意味着新的关键字。该标准为此可能引入了两个新的关键字。例如exprtype，获取表达式的类型并decltype获取变量的声明类型。那本来是明确而快乐的选择。

但是，标准委员会一直尽最大努力避免在语言中引入新的关键字，以最大程度地减少对旧代码的破坏。向后兼容是该语言的核心理念。

因此，对于C ++ 11，我们只有一个关键字用于两种不同的事物：decltype。它区分这两种用途的方式是通过decltype(id-expression)区别对待。这是委员会的有意识的决定，是一个（小的）妥协。