具有副作用的初始化程序

Question

C18 标准在6.7.9/2 声明：

任何初始化程序都不应尝试为未提供的对象提供值 包含在正在初始化的实体中。

目前还不清楚这意味着什么。有一个相关的话题：Incosistent gcc diagnostic for string initialization。我引用的子句用于解释以下初始化产生的错误：

//error: excess elements in array initializer char a[5]
char a[5] = {'h','e','l','l','o','\0'}; 

initializer-list 的长度超过了正在初始化的数组的大小。

但考虑more trivial example：

int main(void){
    int a;
    int b = (a = 3);
}

这里的初始化器是(a = 3)，它是一个assignment-expression。并且初始化程序将一个值分配给另一个应该导致违反约束的对象。

为什么不打印任何诊断信息？

Answer 1

这不是“为a 提供值”。这是一个具有在a 中存储值的副作用的表达式。 “提供值”应该在初始化的上下文中理解；它不是用于作业的短语。

标准中的语言试图达到的一个不那么琐碎的例子可能是：

struct {
    char a[4];
    char b[4];
} foo = { { 'h', 'e', 'l', 'l', 'o' } };

而（我认为；如果我错了，请纠正我）以下将是有效的，尽管令人困惑，C：

struct {
    char a[4];
    char b[4];
} foo = { 'h', 'e', 'l', 'l', 'o' };