'do { statement; } while(0)' against 'statement' when writing C macro? [closed]

Question

Which one of the following is preferrable and why when writing C macro?

Type 1

#define I2C_START()                 I2C_WAIT_IDLE(); SSP1CON2bits.SEN  = 1

Type 2

#define I2C_START()               \
    do                            \
    {                             \
        I2C_WAIT_IDLE();          \
        SSP1CON2bits.SEN  = 1;    \
    }while(0)

One of my colleagues prefers Type 1 while I prefer Type 2. So when both of us work in a project, both of the types are seen throughout the project.

Answer 1

I prefer the second one because it can be used with normal compound stamens without modifications or accidentally being used incorrectly.

if (condition)
    I2c_START;  

Type 1: FAIL
Type 2: OK

Of course with good coding standards that can be avoided (always use '{' '}' on if). But every now and then people can be lazy (or just careless) and the second version prevents accidents from happening.

The best solution is not to use macros. Use functions and let the compiler work out when to inline.

Edited:

For billy: (Type 3) no do while

#define I2C_START()   \
{                             \
    I2C_WAIT_IDLE();          \
    SSP1CON2bits.SEN  = 1;    \
}

Unfortunately this fails if you use the else part of the if statement:
The trailing semi-colon (on type 3) marks the end of the if statement thus else is not syntactically allowed. At least this gives you a compilation error unlike above. But Type 2 still works as expected.

if (condition)
    I2C_START();
else
    std::cout << "FAIL this test\n";

Type 1: FAIL
Type 2: OK
Type 3: FAIL

Answer 2

The Linux Kernel Newbies FAQ has an entry on this, since Linux uses it extensively. It's the syntax-safe way of defining these kinds of macros.

Answer 3

The second form is the safest without having to think too much about the consequences way.

but for what you are using it for? neither really need to be used. It should be a function. I'm taking it this is PIC code.... the overhead of the function call won't cost you that much.

Answer 4

I something similar to type two but without the do while as in:

#define I2C_START()               \
do                            \
{                             \
    I2C_WAIT_IDLE();          \
    SSP1CON2bits.SEN  = 1;    \
}while(0)

The do while could be difficult to understand for an inexperienced coder. I also always use {} even for onliner if statements.