c++ - 初始化声明符是否为纯右值表达式

Question

int c = 0;

考虑上面的代码，其中，c = 0 是一个初始化声明符，也是一个表达式，因为这些规则:

init-declarator:
declarator initializer(opt)

A full-expression is:
[...]
an init-declarator or a mem-initializer, including the constituent expressions of the initializer,

只要是一个表达式，都会有一个值类别。

A prvalue is an expression whose evaluation initializes an object or a bit-field, or computes the value of the operand of an operator, as specified by the context in which it appears.

a = 0 的计算将初始化对象 a。那么，完整表达式 c=0 是纯右值表达式吗？如果理解有误，请指正。

Answer 1

Consider the above code,thereof,c = 0 is an init-declarator and it's also an expression

这不是 C++ 解析的工作方式。 c = 0 本身可能是一个表达式(如果它在允许表达式的上下文中)，但这不是 int c = 0; 被解析的方式。您必须遵循实际的 C++ 语法规则。

int c = 0; 是一个 simple-declaration ，包含一个 decl-specifier-seq 和一个可选的 init-declarator-list。后者是一个或多个 init-declarator 的序列条款。这个语法有两个组成部分:一个声明符 和一个可选的初始化器。从语法上讲，decl-specifier-seq 是 int 所在的位置，declarator 是 c 部分，并且初始化程序 是 = 0 位。

init-declarator 的文本在某些情况下可能被解析为表达式。但是什么东西被解析为由语法规则决定。并且simple-declaration 的语法规则不允许decl-specifier-seq 后跟expression。 .因此，它后面的内容不会被解析为一个表达式，即使它可以被解析。

所以 init-declarator 不是表达式，即使文本看起来可能是。

现在，有一个概念 "full-expression" . init-declarator 语法是被称为“完整表达式”的其中一件事。

让您感到困惑的部分是“完整表达式”和表达式 之间的区别。 表达式是specific piece of C++ grammar .一个完整的表达式不是；它是一个语言概念，包括许多不同的语法片段，但完整表达本身并不是语法。

因此，虽然语法构造 init-declarator 是一个“完整表达式”，但不会使其成为一个表达式。语法构造 expression 定义明确，int c = 0; 不符合该语法。 init-declarator 可能包含一个表达式(或多个表达式，取决于初始化器)，但它是本身不是表达式。

并且只有表达式有值类别。因此，询问不是表达式的事物的值类别不是有效问题。