问在MISRA C++ 2008中，有人知道规则5-0-3中出现的特定概念Cvalue表达式吗？

EN

在第57页末尾，MISRA Cpp 2008：

类似情况，除非如下所列：

• 。。。
• 其他未列出的表达式不是cvalue，具有操作的基础类型。

阅读该段之后的长列表，没有任何东西可以应用于s8。

然后，s8不是cvalue，它具有操作的基础类型，在您的示例中，它的底层类型是int32_t。晋升到int32_t并没有违反规则。

5-0-3的全部要点是要确保所有操作都以相同的底层类型执行。

int32_t s32;
int8_t s8;
s32 = static_cast < int32_t > ( s8 ) + s8; // Example 2 - Compliant
s32 = s32 + s8; // Example 3 - Compliant

在上述示例中，+是使用底层int32_t类型执行的(到目前为止，大多数int是int32_t或int16_t)，返回底层的int32_t类型，然后分配给int32_t变量，从而符合MISRA。

在本例中：

int32_t s32;
int8_t s8;
s32 = s8 + s8;

由于加法操作符是用int类型执行的，所以它不符合要求，结果将转换为int32_t，这与int不一样，因此不符合要求。