Double Negation in C++

C++Boolean

C++ Problem Overview


I just came onto a project with a pretty huge code base.

I'm mostly dealing with C++ and a lot of the code they write uses double negation for their boolean logic.

 if (!!variable && (!!api.lookup("some-string"))) {
       do_some_stuff();
 }                                   

I know these guys are intelligent programmers, it's obvious they aren't doing this by accident.

I'm no seasoned C++ expert, my only guess at why they are doing this is that they want to make absolutely positive that the value being evaluated is the actual boolean representation. So they negate it, then negate that again to get it back to its actual boolean value.

Is this correct, or am I missing something?

C++ Solutions


Solution 1 - C++

It's a trick to convert to bool.

Solution 2 - C++

It's actually a very useful idiom in some contexts. Take these macros (example from the Linux kernel). For GCC, they're implemented as follows:

#define likely(cond)   (__builtin_expect(!!(cond), 1))
#define unlikely(cond) (__builtin_expect(!!(cond), 0))

Why do they have to do this? GCC's __builtin_expect treats its parameters as long and not bool, so there needs to be some form of conversion. Since they don't know what cond is when they're writing those macros, it is most general to simply use the !! idiom.

They could probably do the same thing by comparing against 0, but in my opinion, it's actually more straightforward to do the double-negation, since that's the closest to a cast-to-bool that C has.

This code can be used in C++ as well... it's a lowest-common-denominator thing. If possible, do what works in both C and C++.

Solution 3 - C++

The coders think that it will convert the operand to bool, but because the operands of && are already implicitly converted to bool, it's utterly redundant.

Solution 4 - C++

Yes it is correct and no you are not missing something. !! is a conversion to bool. See this question for more discussion.

Solution 5 - C++

It's a technique to avoid writing (variable != 0) - i.e. to convert from whatever type it is to a bool.

IMO Code like this has no place in systems that need to be maintained - because it is not immediately readable code (hence the question in the first place).

Code must be legible - otherwise you leave a time debt legacy for the future - as it takes time to understand something that is needlessly convoluted.

Solution 6 - C++

It side-steps a compiler warning. Try this:

int _tmain(int argc, _TCHAR* argv[])
{
	int foo = 5;
	bool bar = foo;
	bool baz = !!foo;
	return 0;
}

The 'bar' line generates a "forcing value to bool 'true' or 'false' (performance warning)" on MSVC++, but the 'baz' line sneaks through fine.

Solution 7 - C++

Legacy C developers had no Boolean type, so they often #define TRUE 1 and #define FALSE 0 and then used arbitrary numeric data types for Boolean comparisons. Now that we have bool, many compilers will emit warnings when certain types of assignments and comparisons are made using a mixture of numeric types and Boolean types. These two usages will eventually collide when working with legacy code.

To work around this problem, some developers use the following Boolean identity: !num_value returns bool true if num_value == 0; false otherwise. !!num_value returns bool false if num_value == 0; true otherwise. The single negation is sufficient to convert num_value to bool; however, the double negation is necessary to restore the original sense of the Boolean expression.

This pattern is known as an idiom, i.e., something commonly used by people familiar with the language. Therefore, I don't see it as an anti-pattern, as much as I would static_cast<bool>(num_value). The cast might very well give the correct results, but some compilers then emit a performance warning, so you still have to address that.

The other way to address this is to say, (num_value != FALSE). I'm okay with that too, but all in all, !!num_value is far less verbose, may be clearer, and is not confusing the second time you see it.

Solution 8 - C++

Is operator! overloaded?
If not, they're probably doing this to convert the variable to a bool without producing a warning. This is definitely not a standard way of doing things.

Solution 9 - C++

!! was used to cope with original C++ which did not have a boolean type (as neither did C).


Example Problem:

Inside if(condition), the condition needs to evaluate to some type like double, int, void*, etc., but not bool as it does not exist yet.

Say a class existed int256 (a 256 bit integer) and all integer conversions/casts were overloaded.

int256 x = foo();
if (x) ...

To test if x was "true" or non-zero, if (x) would convert x to some integer and then assess if that int was non-zero. A typical overload of (int) x would return only the LSbits of x. if (x) was then only testing the LSbits of x.

But C++ has the ! operator. An overloaded !x would typically evaluate all the bits of x. So to get back to the non-inverted logic if (!!x) is used.

Ref https://stackoverflow.com/questions/16994263/did-older-versions-of-c-use-the-int-operator-of-a-class-when-evaluating-the

Solution 10 - C++

As Marcin mentioned, it might well matter if operator overloading is in play. Otherwise, in C/C++ it doesn't matter except if you're doing one of the following things:

  • direct comparison to true (or in C something like a TRUE macro), which is almost always a bad idea. For example:

    if (api.lookup("some-string") == true) {...}

  • you simply want something converted to a strict 0/1 value. In C++ an assignment to a bool will do this implicitly (for those things that are implicitly convertible to bool). In C or if you're dealing with a non-bool variable, this is an idiom that I've seen, but I prefer the (some_variable != 0) variety myself.

I think in the context of a larger boolean expression it simply clutters things up.

Solution 11 - C++

If variable is of object type, it might have a ! operator defined but no cast to bool (or worse an implicit cast to int with different semantics. Calling the ! operator twice results in a convert to bool that works even in strange cases.

Solution 12 - C++

This may be an example of the double-bang trick (see The Safe Bool Idiom for more details). Here I summarize the first page of the article.

In C++ there are a number of ways to provide Boolean tests for classes.

> An obvious way is the operator bool conversion operator.

// operator bool version
class Testable {
    bool ok_;
    public:
    explicit Testable(bool b = true) : ok_(b) {}

    operator bool() const { // use bool conversion operator
      return ok_;
    }
};

We can test the class as thus:

Testable test;
if (test) {
    std::cout << "Yes, test is working!\n";
}
else { 
    std::cout << "No, test is not working!\n";
}

However, operator bool is considered unsafe because it allows nonsensical operations such as test << 1; or int i = test.

> Using operator! is safer because we avoid implicit conversion or overloading issues.

The implementation is trivial,

bool operator!() const { // use operator!
    return !ok_;
}

The two idiomatic ways to test Testable object are

Testable test;
if (!!test) {
    std::cout << "Yes, test is working!\n";
}
if (!test) {
    std::cout << "No, test is not working!\n";
}

The first version if (!!test) is what some people call the double-bang trick.

Solution 13 - C++

It's correct but, in C, pointless here -- 'if' and '&&' would treat the expression the same way without the '!!'.

The reason to do this in C++, I suppose, is that '&&' could be overloaded. But then, so could '!', so it doesn't really guarantee you get a bool, without looking at the code for the types of variable and api.call. Maybe someone with more C++ experience could explain; perhaps it's meant as a defense-in-depth sort of measure, not a guarantee.

Solution 14 - C++

Maybe the programmers were thinking something like this...

!!myAnswer is boolean. In context, it should become boolean, but I just love to bang bang things to make sure, because once upon a time there was a mysterious bug that bit me, and bang bang, I killed it.

Attributions

All content for this solution is sourced from the original question on Stackoverflow.

The content on this page is licensed under the Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) license.

Content TypeOriginal AuthorOriginal Content on Stackoverflow
QuestionBrian GianforcaroView Question on Stackoverflow
Solution 1 - C++Don NeufeldView Answer on Stackoverflow
Solution 2 - C++Tom BartaView Answer on Stackoverflow
Solution 3 - C++fizzerView Answer on Stackoverflow
Solution 4 - C++jwfearnView Answer on Stackoverflow
Solution 5 - C++Richard HarrisonView Answer on Stackoverflow
Solution 6 - C++RobHView Answer on Stackoverflow
Solution 7 - C++KarlUView Answer on Stackoverflow
Solution 8 - C++MarcinView Answer on Stackoverflow
Solution 9 - C++chux - Reinstate MonicaView Answer on Stackoverflow
Solution 10 - C++Michael BurrView Answer on Stackoverflow
Solution 11 - C++JoshuaView Answer on Stackoverflow
Solution 12 - C++kgf3JfUtWView Answer on Stackoverflow
Solution 13 - C++Darius BaconView Answer on Stackoverflow
Solution 14 - C++dongilmoreView Answer on Stackoverflow