たとえば、次の関数があるかどうかを知りたいです。
bool f(...) {
//something here
return true or f(...);
}
私はそれが戻ることを知っていますtrue
が、ステートメントの他の部分を評価せずにそれを返しますか、それとも関数を再度評価しますか?
or'd されているオペランドの 1 つが true であることは既にわかっているため、これは関数を評価しません。同じことが次の場合にも起こります。
bool f(...) {
return false and f(...)
}
これは短絡評価と呼ばれます。
いいえ func() 呼び出しを評価しません。
LOGICAL OR は「左から右」に評価され、式が true を返すと停止します
とにかくチェックできます。テストしましたか?
以下のプログラムでテストします。
#include <iostream>
using namespace std;
bool func();
bool func2();
int main()
{
func();
}
bool func2()
{
cout <<"called me"<<endl;
return true;
}
bool func()
{
return (true ||func2());
}
単に実行され、コンソールに何も出力されません。
returnステートメントの上の同じ関数のコードの他の部分を意味する場合、はい、returnステートメントが一番下にある場合でも実行されます。再帰部分を意味する場合、そのステートメントの呼び出しの前に true があるため、実行されません。そうであったreturn false||func()
場合、ここで再帰が発生します。
この場合、結果はすでにわかっているため、 f を再度呼び出すことはありません。「遅延評価」または「短絡評価」を参照
関数を評価せずに true を返します。or ステートメントでの最初の真の遭遇は残りが真であることを保証するので、それ以上評価するのは無意味です。