Tag: 未定义未定义

未定义/未指定/实现定义的行为警告?

当它注意到具有未定义/未指定/实现定义行为的语句时,编译器是否无法发出警告(如果它抛出错误会更好)? 可能会将语句标记为错误,标准应该这样说,但它至少可以警告编码器。 实施这种方案有任何技术困难吗? 或者它只是不可能? 我得到这个问题的原因是,在a[i] = ++i;类a[i] = ++i;陈述中a[i] = ++i; 在达到序列点之前,不会知道代码试图引用变量并在同一语句中修改它。