關於使用共享指針的評估順序

Question

我對使用共享指針的if子句中的評估順序有疑問。

假設我有以下

struct MyClass { 
    bool canUse(){ return false; } // dummmy value 
} 

std::shared_ptr<MyClass> myclass_ptr_; 

/// other code.. 

if(myclass_ptr_ && myclass_ptr_->canUse()) { 
    // do something 
} 

你知道，如果在這種情況下，C++總是保證myclass_ptr_是myclass_ptr_->canUse()之前評估？

如果情況並非總是如此，myclass_ptr_可能由於某種原因而出現，並且未初始化，我冒着肯定會導致應用程序崩潰的風險。

當我運行這個應用程序似乎工作正常，但我只是想與某人確認，以避免發佈中的令人討厭的驚喜。

Answer 1

你知道，如果在這種情況下，C++總是保證myclass_ptr_是 myclass_ptr_->canUse()之前評估？

是的。此案件不屬於order of evaluation，但short circuiting規則爲&&。

從腳註this page。

^{內置操作符& &和||執行短路評價（做 如果結果是 後知道評估第一不計算第二個操作數），但重載運算表現得像普通 函數調用，並始終評估兩個操作數}

又讀Why there is no circuiting when these operators are overloaded。