なぜ2のNULLポインタがfalseに評価されないのですか？

Question

私は、2つの隣接するタプルを探してstd :: vectorを歩く比較的単純なアルゴリズムを持っています。 X値の左と右のタプルが見つかると、その間で補間できます。どういうわけか、この作品：この間

std::vector<LutTuple*>::iterator tuple_it; 
    LutTuple* left = NULL; 
    LutTuple* right = NULL; 
    bool found = 0; 

    // Only iterate as long as the points are not found 
    for(tuple_it = lut.begin(); (tuple_it != lut.end() && !found); tuple_it++) { 
    // If the tuple is less than r2 we found the first element 
    if((*tuple_it)->r < r) { 
     left = *tuple_it; 
    } 
    if ((*tuple_it)->r > r) { 
     right = *tuple_it; 
    } 
    if(left && right) { 
     found = 1; 
    } 
    } 

：

std::vector<LutTuple*>::iterator tuple_it; 
    LutTuple* left = NULL; 
    LutTuple* right = NULL; 

    // Only iterate as long as the points are not found 
    for(tuple_it = lut.begin(); tuple_it != lut.end() && !left && !right; tuple_it++) { 
    // If the tuple is less than r2 we found the first element 
    if((*tuple_it)->r < r) { 
     left = *tuple_it; 
    } 
    if ((*tuple_it)->r > r) { 
     right = *tuple_it; 
    } 
    } 

はしていません。何故ですか？私は、このような2つのNULL ptrsが否定されたときに一緒に真に評価されると期待します。

Answer 1

論理的な問題があります。

最初のスニペットには、（本質的に）!(left && right)があります。

2番目のスニペットには、!left && !rightがあります。

これらは同等ではありません。

真理値表を作成すると、!(left && right)は(!left || !right)に相当します。

Answer 2

2番目のループは、いずれかが見つかるとすぐに終了します。条件を変更します。両方が発見されるまで

tuple_it != lut.end() && !(left && right) 

または

tuple_it != lut.end() && (!left || !right) 

を継続します。

Answer 3

が無効になったときに、このような2つのNULL ptrsが真であると評価すると思います。

これは意味をなさない。ポインタを「無効」にして、ブール式に強制されたときに評価するものを期待しないでください。代わりに、明示的にそれらをNULLと比較することをお勧めします。

また、ループを継続するための複雑なブール式を別の行に移動します。そうしないと、コードを論理的に追跡することが非常に困難になります。