逗號運算子的一個令人信服的案例-js教程-PHP中文網

逗號運算子的一個令人信服的案例

WBOY

發布： 2024-09-07 06:39:02

原創

1023 人瀏覽過

A Compelling Case for the Comma Operator

逗號運算子是類別C語言（例如JavaScript和C++）中較不為人所知的運算子之一。本質上，它界定了一系列表達式並僅傳回最後一個表達式的結果。

const a = 1;
const b = 2;
const c = 3;
const result = (a, b, c, 4, 5, 6, true);
console.log(result); // true

登入後複製

if (false, true) console.log('hello'); // hello

登入後複製

很自然地會問：什麼時候將多個表達式塞進一行會有用？ 此外，即使它有用，為什麼用逗號分隔的表達式序列（在單行）比分號分隔的語句序列（跨多行）更具可讀性和可維護性？我們什麼時候應該選擇其中一種而不是另一種？

這些是我多年來一直努力回答的問題，但現在我想我終於有了答案。在本文中，我針對逗號運算子提出了一個令人信服的案例（坦白說，也許是唯一的案例）。

一個激勵人心的例子

我們先來說一下條件三元運算子。如下圖所示，如果條件為真，則評估值。否則，它評估另一個。這裡強調關鍵字“評估”，因為分支僅在滿足條件時執行。

const result = condition ? value : another;

登入後複製

在大多數情況下，它都是整潔漂亮的。然而，當我們需要在返回條件值之前在分支之間執行更複雜的邏輯時，它就會崩潰。此時，我們訴諸這種不幸的變態：

let result; // Uninitialized! Yikes!
if (condition) {
    // Do some complex stuff in between...
    doSomething();
    // ...
    result = value; // Actual Assignment
} else {
    // Do other complex stuff in between...
    doAnotherThing();
    // ...
    result = another; // Actual Assignment
}
// Hopefully we didn't forget to initialize `result`!

登入後複製

現在這個配方存在很多問題。

結果一開始是未初始化的。這本質上並不是邪惡的，但避免由於未定義而導致錯誤的一種簡單且經過驗證的方法是始終初始化變數。
結果的初始化實際上是在分支的底部—與其聲明相分離。
在條件結束時，我們最好希望結果肯定已初始化。如果不是我們，我們最好希望我們的隊友同樣執行這一點。如果不是現在，我們最好希望未來的開發者也能堅持這一點！

如果我們堅持使用條件三元表達式，就有辦法繞過這個限制。我們只需要將程式碼重構為函數即可。這絕對是說來容易做來難。這個噱頭很快就過時了！

function computeWrappedValue() {
    // ...
    return value;
}

function computeWrappedAnother() {
    // ...
    return another;
}

// How cumbersome!
const result = condition ? computeWrappedValue() : computeWrappedAnother();

登入後複製

基於表達式的程式語言（例如 Rust）有更優雅的解決方案。透過將 if 語句重新分類為 if 表達式 ，可以對每個分支進行求值，從而傳回稍後可以儲存在變數中的值。

// A conditional ternary operator thus looks like this. Each branch
// returns a value, which is captured by the `result` variable.
// We thus ensure that `result` is always initialized by construction.
let result = if condition { value } else { another };

登入後複製

// If we wanted to do something more complex, we use the same syntax.
let result = if condition {
    do_something();
    // In Rust, the last expression without a semicolon is the value
    // that will be "returned" by the overall `if` expression.
    result
} else {
    do_another_thing();
    another
};

登入後複製

我們可以用類似 C 的語言來模擬這個嗎？ 你可能早就預見了我的發展方向，但是可以！

一個令人信服的案例

我們想要的是一種在傳回三元分支內的值之前任意執行語句的方法。好吧，對我們來說幸運的是，這正是逗號運算符的用途。

// Parenthesized for clarity.
const result = condition
    ? (doSomething(), value)       // evaluates to `value`
    : (doAnotherThing(), another); // evaluates to `another`

登入後複製

這個公式的巧妙之處在於，分支表達式在必要時才進行計算。我們有效地模擬基於表達式的程式語言的行為。臨時包裝函數的時代已經一去不復返了！

但可惜，我們只能用這種技術走這麼遠。你可以想像，對於一些夠大的 n，將 n 條語句塞進一行已經需要重構到它自己的函數中。就我個人而言，到 n > 時我已經重新考慮了。 3. 就可讀性而言，任何高於此值的結構都是可疑的。

// Maybe we should reconsider here?
const result = condition
    ? (x++, thing = hello(), doSomething(), value)
    : (++y, thing = world(), doAnotherThing(), another);

登入後複製

// Okay, stop. Definitely turn back now!
const result = condition
    ? (
        x++,
        thing = hello(),
        doSomething(),
        doMore(y),
        doEvenMore(thing),
        value,
    ) : (
        ++y,
        thing = world(),
        doAnotherThing(),
        doMore(y),
        doEvenMore(thing),
        another,
    );
// Unless, of course, you're fine with this. It kinda does
// look like a Rust `if` expression if you squint hard enough.

登入後複製