在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 語句）來替代復雜的條件表達式。
