爲什麼2個NULL指針不計算爲false？

Question

我有一個相對簡單的算法，走一個std ::向量尋找兩個相鄰的元組。一旦發現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; 
    } 
    } 

沒有。這是爲什麼？我期望這樣的兩個NULL ptrs在否定時一起評估爲真。

Answer 1

這是一個合乎邏輯的問題。

在您的第一個片段（本質上）!(left && right)。

在第二個片段中您有：!left && !right。

那些不相同。

如果您構建真值表，您會意識到!(left && right)相當於(!left || !right)。

Answer 2

第二個循環將在找到任何一個時立即終止。條件更改爲：

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

或

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

繼續，直到兩個被發現。

Answer 3

我期望這樣的兩個NULL ptrs在 否定時一起評估爲真。

這沒有意義。不要「否定」指針，並期望在強制進入布爾表達式時他們將評估什麼。相反，我建議將它們明確地與NULL進行比較。

另外，移動你的複雜布爾表達式來繼續循環到一個單獨的行，否則很難在邏輯上跟隨代碼。