Неожиданное поведение макросов в C

Question

Как и следующие коды исполнения (коды одинаковы, за исключением запятой во второй строке)

Этот код, как ожидается, выполнить и делает так же.

#include<stdio.h> 
#define SWAP(a, b) int t; t=a, a=b, b=t //note here is no semi-colon at the end 
int main() 
{ 
    int a=10, b=12; 
    SWAP(a, b); 
    printf("a = %d, b = %d\n", a, b); 
    return 0; 
} 

Но следующий не ожидается работать как SWAP(a, b) будет заменен int t; t=a, a=b, b=t;; .so два с запятой должен произвести ошибку !!!

#include<stdio.h> 
#define SWAP(a, b) int t; t=a, a=b, b=t; //note the semi-colon here 
int main() 
{ 
    int a=10, b=12; 
    SWAP(a, b); 
    printf("a = %d, b = %d\n", a, b); 
    return 0; 
} 

Answer 1

Бездомная запятая становится пустым заявлением, которое совершенно законно в C.

Вы можете доказать это, добавив строку с десятком запятой к коду.

Отдельно макрос будет лучше записать в виде:

#define SWAP(a, b) do { int t = a; a = b; b = t; } while (0) 

Это работает лучше, если вы пытаетесь сделать два различных свопов в одном блоке кода.

Answer 2

Полу-двоеточие само по себе представляет собой «пустое заявление», заявление, которое ничего не делает.

Иногда полезно, но большую часть времени это ошибка. Например, это Условный оператор не имеет желаемого эффекта:

if (x == y); 
{ 
    z=1; 
} 

Несмотря на этот факт, это вполне допустимо часть языка C.

Answer 3

После использования

gcc -E file_name.c вы получите для второго кода: -

int t; t=a, a=b, b=t;;

, который является действительным

и эквивалентные

int t; t=a, a=b, b=t; 

; // null statement does nothing 

Answer 4

Дополнительные в точку с запятой местный охват никогда не приведет к ошибка в C (после C99), если используется как в вашем макросе. Они просто вводят пустой оператор. Откуда у вас возникла мысль, что это ошибка? Можно привести пример, который вызвал бы, скажем, ошибку «осиротевшего другого» из-за дополнительной точки с запятой, но ваш макрос не может использоваться под if в любом случае (см. Ниже).

В C89/90 можно было вызвать ошибку через непреднамеренно помещенную дополнительную точку с запятой после объявления, поскольку в C89/90 было запрещено смешивать объявления и утверждения. Например,

int a, b;; /* <- A declaration followed by an empty statement */ 
int c;  /* <- ERROR: Illegal declaration after a statement */ 

Но в C99 это не проблема, так как объявления и утверждения могут быть смешаны. Ваш SWAP, очевидно, реализован для C99, поэтому этот вопрос не сразу применяется.

Стоит отметить, что такая реализация SWAP довольно бедна и довольно опасна.Это может привести к неожиданному, опасному и совершенно бессмысленному поведению в контекстах, как

if (/* whatever */) 
    SWAP(a, b); 

Лучше следовать do/while(0) идиомам и сделать что-то вроде

#define SWAP(a, b) do { int t; t=a, a=b, b=t; } while (0) 

Примечания - не точки с запятой в конце.