在 sizeof 表达式中消除 id-expression 和 type-id 的歧义

Question

我无法弄清楚标准如何消除 sizeof expressions 的歧义，这可能是（除其他外）：

sizeof 一元表达式
sizeof ( type-id )

例如，我想知道标准如何区分

一元表达式
sizeof
一元表达式 ... 主表达式
(
表达式 ... 主表达式, id-expression, unqualified-id
identifier
)

和

一元表达式
sizeof
(
type-id ... simple-type-specifier, type-name, typedef-name
identifier
)

其他可能是标识符的类型名称也会出现类似的歧义，我想了解这如何映射到标准。

[编辑]
澄清一下：我能够很好地根据它们的声明方式（typedef、类等）来区分 type-name 的标识符 - 但是我目前看不到 id -expression（或其包含的 unqualified-id）在另一个解析可能匹配 type-id 时消除歧义。正如在 cmets 中提出的那样，针对特定情况存在各种规则来消除表达式与类型 ID 的歧义，但我还没有看到它们如何扩展到这种特定情况（除非您推断并假设类型 ID 总是胜过表达式，这已被建议作为对 cme​​ts 中消歧规则的可能解读）。
[end edit]

我的想法是寻找关于什么标识符可以是 id-expression 的任何约束，但我找不到任何具体的东西，我能看到的最接近约束的是非常无用的措辞在5.1.1/8

标识符是一个 id 表达式，前提是它已被适当声明（第 7 条 [dcl.dcl]）。

查看提到的部分，我找不到参考的含义，在网上我只找到了this question，但答案并没有详细说明

该短语的目的是禁止在表达式中使用未声明的标识符。

所以要么解决的方式与我想的不同，要么“适当地宣布”我失踪了。

PS：使用 C++14 标准没有什么特别的原因，它正是我当时一直在使用的，对于新标准的答案也一样好。自己检查新标准中提到的部分似乎没有任何明显的澄清。

Answer 1

这是lexer hack：标识符是unqualified-id、type-name还是模板名称 是根据已处理的声明 或依赖上下文中的typename 和template 解析器指南确定的。这是区分 A * b; 解释为指针的 simple-declaration 或丢弃 a 结果的 expression-statement 的唯一方法乘法。

该标准对此非常含糊：它仅提及在 [class.pre]/1 之类的声明中出现的标识符的解释：

它的名字在它的范围内变成了一个类名（[class.name]）。

[temp.param]/3:

type-parameter 其 identifier 不跟在省略号之后，将其 identifier 定义为 typedef-name（如果声明时没有 template）或 template-name（如果声明时使用 template）在模板声明的范围内。

[temp.local]/1，它也依赖于语法：

注入的类名可以用作模板名或类型名。

和 [temp.names]/3，它是注释的一部分，因为规范文本指定了 < 的解释：

[注意 1：如果名称是 标识符，则它会被解释为 模板名称。 […] — 尾注]