为何使用?:运算符时触发“expression must be a modifiable lvalue”错误？

先搞懂错误的本质 #

“expression must be a modifiable lvalue”错误意味着你试图给一个不能被修改的右值赋值。左值是指代表可修改内存区域的表达式（比如结构体成员、变量），可以放在赋值运算符左边；而右值只是临时计算出的值，无法被赋值。

?:和if-else的核心差异 #

结合你提到的结构体和ADC函数，假设你的代码大概是这样的：

错误的?:写法（触发报错）

// 假设Counter和ADC结构体包含可赋值的成员，比如value
(condition ? Counter.value : ADC.value) = ADC_readResult();

合法的等价if-else写法

if (condition) {
    Counter.value = ADC_readResult();
} else {
    ADC.value = ADC_readResult();
}

问题的关键区别：

• 在if-else中，你是直接对两个独立的左值（Counter.value和ADC.value）分别赋值，每个分支的赋值操作都合法，因为它们本身就是可修改的内存区域。
• 而?:表达式的结果默认是右值，只有满足极其严格的条件（两个分支是同一类型的可修改左值，且不同C标准版本的判定规则还有细微差异）时，结果才是左值。如果你的Counter和ADC结构体成员类型不同，或者编译器对左值的判定更严格，整个?:表达式的结果就会是右值，自然不能被赋值。

修复方案 #

你有两种常见的解决方式：

1. 把赋值操作放到?:的分支里
   让?:选择执行哪个赋值操作，而非把它的结果当作左值：

   condition ? (Counter.value = ADC_readResult()) : (ADC.value = ADC_readResult());
   

   每个分支都是合法的赋值表达式，?:仅负责决定执行哪一个，完全符合语法规则。

2. 继续使用if-else
   如果逻辑不复杂，if-else的可读性其实更好，而且不会有任何语法限制，能轻松避开这类语法陷阱。

补充说明 #

你提到ADC_readResult返回uint_least16_t，只要赋值的结构体成员类型和该类型兼容（比如都是无符号16位相关类型），就不会有类型匹配问题——这个错误的核心是左值/右值的区别，和返回值类型无关。

内容的提问来源于stack exchange，提问作者Erdős András