Несовместимые типы указателей, передаваемые в универсальном макросе

следующий код создает 2 предупреждения, которые описаны в заголовке вопроса.

#include <stdio.h>

static void _print_f(float *f){printf("float : %fn", *f);}
static void _print_i(int *i)  {printf("int   : %dn", *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;
}

выход:

int   : 10
float : 10.000000

Я знаю, этот макрос может быть записан следующим образом:

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

и в этом случае не будет никаких предупреждений, однако мой пример является фрагментом, который я написал, чтобы продемонстрировать проблему. В моем реальном коде я выбрал первое решение, потому что некоторые другие "по умолчанию", но тип в выбранную функцию необходимо передать конкретные аргументы.

Итак, вопрос: даже если макрос работает так, как должен, и вывод именно то, что я ожидаю, почему генерируются предупреждения?

флаги и окружающая среда:

/* 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

обновление 1:

Я забыл вставить полный traceback! Вот первый один:

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 : %fn", *f);}
                            ^

а вот и второй:

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   : %dn", *i);}
                          ^

обновление 2:

пока разработчики clang исправить эту ошибку, вот уродливый кусок обходного пути, чтобы отключить предупреждения, которые будут работать, если все ключи в списке assoc являются типами, или все указатели на типы; и потерпит неудачу, если типы и указатели на типы находятся в ключах тоже:

/* HACK: re-casting pointers to mute warnings */
#define print(num) _Generic((num), 
    int*   : _print_i((int*)num),  
    float* : _print_f((float*)num))
16
c c11 clang macros printf

2 ответов

Это не ошибка в clang, но, к сожалению, то, что требует стандарт C11. Все ветви a _Generic первичное выражение должно быть допустимым выражением, и, следовательно, действует при любых обстоятельствах. Тот факт, что только одна из ветвей когда-либо будет оценена, не имеет к этому отношения.

ваша альтернативная версия-это то, что C11 предвидит для ситуаций, как это: выберите функцию (а не вычисляемый вызов) в результате универсального выражения типа и примените эту функцию к аргумент.

12

устранение : это не (насколько я могу судить) ошибка в clang, но правильная интерпретация того, как _Generic должно работать. Только одна из общих ассоциаций в A generic-selection выражение вычисляется, но все они должны быть корректные выражения. (_Generic не действует как макрос.)

посмотреть Йенс Gustedt это.

Это определенно похоже на ошибку в clang. Я достаточно убедитесь, что ваш код действителен C11. Я вижу то же самое с версией 3.4 на Linux Mint.

Я собрал слегка упрощенная демонстрация :

#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);
}

вывод правильный, но я получаю следующие предупреждения:

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.

1