C编译报错statement with no effect [-Werror=unused-value]排查

你遇到的是C语言开发中非常典型的无效表达式编译问题，对应的报错核心提示为statement with no effect [-Werror=unused-value]，触发报错的5行代码如下：

kernelBuffer->BaseAddress;
kernelBuffer->BufferSize;
kernelBuffer->Width;
kernelBuffer->Height;
kernelBuffer->PixelsPerScanLine;

->是C语言的结构体指针成员访问运算符，上述代码仅完成了读取对应结构体成员值的操作，但读取到的值既没有赋值给其他变量、没有作为参数传入函数、也没有参与任何运算，求值完成后就被直接丢弃，不会对程序运行状态产生任何影响，因此触发编译器的-Wunused-value（未使用表达式求值结果）检测。
你原本判断这类问题只会触发警告是完全正确的：-Wunused-value本身属于警告级别的诊断项，但你的编译配置开启了-Werror选项，该选项会把所有警告强制升级为编译错误，直接中断编译流程，这也是告警信息里错误类型标注为[-Werror=unused-value]的根本原因。
这类无效代码通常是两类笔误导致的：要么是原本计划给结构体成员赋值，漏写了赋值运算符和右值；要么是调试阶段临时想查看成员值，忘了加打印、断点或者调试变量赋值，残留了半截无效语句。

• C语言表达式语句规则：C语言语法允许任意表达式末尾加分号构成合法语句，但只有当表达式存在副作用（修改变量值、写入内存、调用带IO/状态修改逻辑的函数等），或者表达式的求值结果被实际使用时，语句才有实际意义；无效果的表达式语句会被编译器直接优化丢弃，同时触发对应诊断提示。
• 编译器诊断选项逻辑：-Wunused-value是GCC/Clang等主流C编译器默认开启的基础警告项，专门识别求值后结果完全未被使用、也无副作用的无效代码；-Werror是工业界常用的代码质量管控编译选项，会将所有警告升级为错误，强制开发者清理所有不规范代码，UEFI固件、操作系统内核这类对代码可靠性要求极高的项目通常会默认开启该选项。
• 结构体成员访问的语义：结构体指针->成员名的本质是基于结构体基地址和成员偏移量计算出成员的内存地址，再读取该地址存储的值，整个操作本身仅产生读内存的动作，不会自动完成赋值、打印等其他逻辑，读取出的值如果不主动使用就不会产生任何作用。

• 如果是漏写了赋值逻辑：补全每个成员的赋值右值即可，例如kernelBuffer->Width = framebuffer_width;
• 如果是调试残留的无效代码：直接删除这5行无意义语句即可
• 如果是特殊场景下刻意要保留读操作（极不推荐）：可以给表达式加(void)强转，显式告知编译器你有意丢弃求值结果，例如(void)kernelBuffer->BaseAddress;，这种写法通常仅用于消除未使用函数参数的告警，不推荐用来保留无效代码。

内容的提问来源于stack exchange，提问作者Virus Fusion