Tipos de puntero incompatibles que pasan en la macro _Generic

Question 1

El siguiente código genera 2 advertencias que se describen en el título de la pregunta.

#include <stdio.h>

static void _print_f(float *f){printf("float : %f\n", *f);}
static void _print_i(int *i)  {printf("int   : %d\n", *i);}

#define print(num) _Generic((num), \
    int*   : _print_i(num),        \
    float* : _print_f(num))


int main(void)
{
    print((&(int){10}));
    print((&(float){10.f}));

    return 0;
}

PRODUCCIÓN:

int   : 10
float : 10.000000

Lo sé, esta macro podría escribirse de la siguiente manera:

#define print(num) _Generic((num), \
    int*   : _print_i,             \
    float* : _print_f)(num)

y en ese caso, no habrá ninguna advertencia, sin embargo, mi ejemplo es un fragmento ficticio que escribí para demostrar el problema. En mi base de código real, elegí la solución anterior, porque algunos otros argumentos “predeterminados” pero específicos del tipo deben pasarse a la función seleccionada.

Entonces la pregunta es: Incluso si la macro funciona como debería y el resultado es exactamente lo que espero, ¿por qué se generan las advertencias?

Banderas y Medio Ambiente:

/* Mac OS X 10.9.4
   Apple LLVM version 5.1 (clang-503.0.40) (based on LLVM 3.4svn) */
cc -Wall -v -g -std=c11 -fmacro-backtrace-limit=0 -I/usr/local/include
   -c -o build/tmp/main.o main.c

Actualización1:

¡Olvidé pegar el rastreo completo! Aquí está el primero:

main.c:39:11: warning: incompatible pointer types passing 'int *'
to parameter of type 'float *' [-Wincompatible-pointer-types]
    print((&(int){10}));
          ^~~~~~~~~~~~
main.c:31:23: note: expanded from macro 'print'
    float* : _print_f(num))
                      ^
main.c:26:29: note: passing argument to parameter 'f' here
static void _print_f(float *f){printf("float : %f\n", *f);}
                            ^

Y aquí está el segundo:

main.c:40:11: warning: incompatible pointer types passing 'float *'
to parameter of type 'int *' [-Wincompatible-pointer-types]
    print((&(float){10.f}));
          ^~~~~~~~~~~~~~~~
main.c:30:23: note: expanded from macro 'print'
    int*   : _print_i(num),        \
                      ^
main.c:27:27: note: passing argument to parameter 'i' here
static void _print_i(int *i)  {printf("int   : %d\n", *i);}
                          ^

Actualización2:

Hasta que los desarrolladores de clang solucione este error, aquí hay una solución fea para silenciar las advertencias, que funcionará si todas las claves en la lista de asociación son tipos, O todas son punteros a tipos; y fallará si los tipos Y los punteros a los tipos también están en las claves:

/* HACK: re-casting pointers to mute warnings */
#define print(num) _Generic((num), \
    int*   : _print_i((int*)num),  \
    float* : _print_f((float*)num))

Question 2

Esto no es un error en clang, pero desafortunadamente es lo que requiere el estándar C11. Todas las ramas de un _Generic La expresión principal debe ser una expresión válida y, por lo tanto, válida en todas las circunstancias. El hecho de que solo se evaluará una de las ramas no tiene nada que ver con esto.

Su versión alternativa es lo que C11 prevé para situaciones como esta: elige la función (y no la llamada evaluada) como resultado del tipo de expresión genérica y aplica esa función a los argumentos.

Question 3

CORRECCION : Esto no es (hasta donde puedo decir) un error en clang, sino una interpretación correcta de cómo _Generic se supone que debe comportarse. Sólo una de las asociaciones genéricas en un selección genérica expresión se evalúa, pero todas ellas deben ser expresiones válidas. (_Generic no actúa como una macro.)

Vea la respuesta de Jens Gustedt.

~~Esto definitivamente parece un error en clang. Estoy razonablemente seguro de que su código es C11 válido. Veo lo mismo con la versión 3.4 en Linux Mint.~~

he reunido un demostración ligeramente simplificada :

#include <stdio.h>

static void print_i(int i)   { puts("int"); }
static void print_ip(int *i) { puts("int*"); }

#define print(num) _Generic((num), \
    int    : print_i(num),         \
    int*   : print_ip(num))

int main(void) {
    int i = 10;
    print(i);
    print(&i);
}

El resultado es correcto, pero recibo las siguientes advertencias:

c.c:12:11: warning: incompatible integer to pointer conversion passing 'int' to parameter of type 'int *'; take the address with & [-Wint-conversion]
    print(i);
          ^
          &
c.c:8:23: note: expanded from macro 'print'
    int*   : print_ip(num))
                      ^
c.c:4:27: note: passing argument to parameter 'i' here
static void print_ip(int *i) { puts("int*"); }
                          ^
c.c:13:11: warning: incompatible pointer to integer conversion passing 'int *' to parameter of type 'int'; remove & [-Wint-conversion]
    print(&i);
          ^~
c.c:7:22: note: expanded from macro 'print'
    int    : print_i(num),         \
                     ^
c.c:3:25: note: passing argument to parameter 'i' here
static void print_i(int i)   { puts("int"); }
                        ^
2 warnings generated.

¿Ha sido útil esta solución?