在C语言中，三元操作符（也称为条件操作符）的格式为 condition ? expr1 : expr2。它的行为是：如果 condition 为真（非零），则计算并返回 expr1 的值；否则，计算并返回 expr2 的值。
三元操作符本身不会引入新的副作用（side effects），因为它只涉及对表达式的求值，而不改变任何变量的状态。副作用通常与赋值操作、函数调用或其他会改变程序状态的操作相关。
然而，在使用三元操作符时，需要注意以下几点以避免可能的副作用：
expr1 和 expr2 都应该是纯表达式（即不产生副作用的表达式）。例如，避免在 expr1 或 expr2 中进行变量赋值操作。expr1 或 expr2 的计算结果。如果这些表达式有副作用（例如修改全局变量或文件），那么这些副作用将反映在三元操作符的结果上。a > b ? a : b > c ? b : c），需要特别注意表达式的求值顺序和副作用。在这种情况下，可以将其拆分为更简单的条件语句，以提高代码的可读性和可维护性。expr1 和 expr2 的类型决定。如果它们具有不同的类型，将发生隐式类型转换。这种转换可能导致意外的副作用，特别是在涉及指针或复杂数据结构时。总之，要避免在使用三元操作符时引入副作用，需要确保参与运算的表达式本身不产生副作用，并理解三元操作符的返回值和行为。在必要时，可以考虑使用其他控制结构（如 if-else 语句）来替代复杂的条件表达式。
