Se estiver utilizando apenas tipos integrais (int
, long
, unsigned char
, ...) pode usar um truque com o XOR, assim:
x ^= y;
y ^= x;
x ^= y;
Não há nenhuma limitação com relação à magnitude do valor. Sim, funciona com INT_MAX
. Experimente escolher um par de número e fazer esse calculo na mão para entender como funciona.
Se você quiser implementar uma macro que funcione para qualquer tipo, temos algumas possibilidades. A forma mais simples é a seguinte:
#define SWAP(x, y) do { \
typeof(x) temp = x; \
x = y; \
t = temp; \
} while (0)
Essa funciona para o caso geral, mas tem alguns problemas. Primeiro, ela depende de uma extensão do GCC, o typeof
. Isso não está presente em todos os compiladores. Segundo que você pode passar tipos diferentes para x e y, e isso não deveria ser permitido. E por último, se uma das variáveis se chamar temp
, você terá a macro falhando silenciosamente.
Repare que se usar a opção da macro, tecnicamente você nunca vai realmente ver a variável adicional. Sendo assim é como se ela não existisse, uma abstração.
Para fazer uma versão mais arrojada tomei por base uma feita por @adamk:
#define SWAP(x, y) do { \
unsigned char temp##x##y[sizeof(x) == sizeof(y) ? sizeof(x) : -1]; \
memcpy(temp##x##y, &y, sizeof(x)); \
memcpy(&y, &x, sizeof(x)); \
memcpy(&x, temp##x##y, sizeof(x)); \
} while(0)
Infelizmente o highlight do está errado ali. Ignore isso.
O primeiro passo é declarar uma variável cujo nome é temp##x##y
. Isso contatena temp
, x
e y
, garantindo que o identificador nunca é igual a nenhum dos dois. Em seguida uma array é declarada com sizeof(x)
bytes. Mas note que se sizeof(x) != sizeof(y)
, o tamanho será -1
e a compilação vai falhar. Por último a copia é feita usando memcpy
. Pode parecer ineficiente mas na realidade não é. Se o tamanho for pequeno o compilador vai remover isso e fazer a cópia diretamente. Se o tamanho for grande (for uma enorme struct), memcpy
é a forma mais rápida de fazer isso de qualquer forma. Repare que typeof
não é usado.