為什么在單獨的行上調用函數會改變 C++ 中的結果？

Question

似乎出於某種原因，當我嘗試在同一行上調用兩個函數時，第一個函數從“.get()”接收一個 nullptr 作為第一個參數

getSomePtr(someUniquePtr.get(), someArray)->moveUniquePtr(std::move(someUniquePtr));

但是當將這些函數分成兩行時，一切似乎都有效：

auto* somePtr = getSomePtr(someUniquePtr.get(), someArray);
somePtr->moveUniquePtr(std::move(someUniquePtr));

為什么會發生這種情況？

Answer 1

計算表達式時，函數參數在調用接受這些參數的函數之前計算。

但是，在該規則之外，編譯器可以選擇求值順序。 看起來，在您的第一種情況下，它選擇在評估moveUniquePtr之前評估getSomePtr 。 因為一個子表達式修改了另一個子表達式中使用的狀態，所以整個表達式的結果不是明確定義的。

將表達式拆分為順序語句，如在您的第二種情況下，明確選擇評估順序，在這種情況下是正確的做法。