198
#include <stdio.h>

volatile int i;

int main()
{
    int c;

    for (i = 0; i < 3; i++) 
    {
         c = i &&& i;
         printf("%d\n", c);
    }

    return 0;
}

The output of the above program compiled using gcc is

0
1
1

With the -Wall or -Waddress option, gcc issues a warning:

warning: the address of ‘i’ will always evaluate as ‘true’ [-Waddress]

How is c being evaluated in the above program?

15

2 Answers 2

275

It's c = i && (&i);, with the second part being redundant, since &i will never evaluate to false.

For a user-defined type, where you can actually overload unary operator &, it might be different, but it's still a very bad idea.

If you turn on warnings, you'll get something like:

warning: the address of ‘i’ will always evaluate as ‘true’

11
  • 1
    Why not : c = i & (&&i);; Where i is some label?
    – anishsane
    Dec 20, 2012 at 9:21
  • 4
    @anishsane i is defined as int and there's no labels in the question. Also, maximal munch... Dec 20, 2012 at 9:35
  • 5
    @anishsane: And the && operator to take the address of a label is non-standard gcc extension anyway. But even if it were standard, the maximal munch rule would prevent it from being parsed that way (unless you insert a space). Dec 27, 2012 at 20:36
  • Actually, &i can evaluate to false. Its used sometimes for defaults. Example: void fn(type& x = *reinterpret_cast<type*>(NULL)); What is the value of &x in fn if fn is called without parameters? It's 0 a.k.a. false. However, using it the way described, it'll always be true unless i == 0, and if one was using it as I described, it would be c = &i && i.
    – Adrian
    May 24, 2013 at 22:09
  • @Adrian you can't dereference a null pointer, which is what the * before reinterpret_cast<type*>(NULL) does. May 24, 2013 at 22:14
120

There is no &&& operator or token in C. But the && (logical "and") and & (unary address-of or bitwise "and") operators do exist.

By the maximal munch rule, this:

c = i &&& i;

is equivalent to this:

c = i && & i;

It sets c to 1 if both i and &i are true, and to 0 if either of them is false.

For an int, any non-zero value is true. For a pointer, any non-null value is true (and the address of an object is always non-null). So:

It sets c to 1 if i is non-zero, or to 0 if i is equal to zero.

Which implies that the &&& is being used here just for deliberate obfuscation. The assignment might as well be any of the following:

c = i && 1;
c = !!i;
c = (bool)i;          // C++ or C with <stdbool.h>
c = i ? 1 : 0;        /* C */
c = i ? true : false; // C++
0

Not the answer you're looking for? Browse other questions tagged or ask your own question.