Comparing Pointers for Equality: a Walkthrough of the C Standard
In C , comparing pointers for equality can be straightforward, but it requires adherence to specific rules outlined in the language standard.
Equality Operator (==, !=)
For pointers of the same type, equality comparison using == or != yields intuitive results. Two pointers are equal if they are both null, both point to the same function, or both point to the same address.
Relational Operators (<, >, <=, >=)
Pointers of the same type can also be compared using relational operators. If they point to the same object or function, they compare as expected: p<=q and p>=q yield true, while pq yield false.
However, if the pointers point to different objects or functions, or if one of them is null, the results of relational comparisons are unspecified. This means that their behavior is implementation-dependent.
Exceptions to the Rule
Array Elements: If pointers point to elements of the same array, the pointer to the object with a higher index compares greater.
Union Members: If pointers point to members of the same union, they compare equal after conversion to void*.
Other Types of Pointers:
Caveats
Bonus: Standard Library Helper
The standard library provides the template functions std::greater, std::less, std::greater_equal, and std::less_equal, which can be used to order any type of pointer, even when built-in operators cannot.
The above is the detailed content of How Do I Safely Compare Pointers for Equality and Ordering in C ?. For more information, please follow other related articles on the PHP Chinese website!