Следующий код генерирует 2 предупреждения, которые описаны в заголовке вопроса.
#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;
}
ВЫВОД:
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
Update1:
Я забыл вставить полную трассировку! Вот первый:
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);}
^
И вот второй:
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);}
^
Update2:
Пока разработчики clang
не исправят эту ошибку, вот уродливая часть обходного пути, чтобы отключить предупреждения, которые будут работать, если все ключи в списке-списке являются типами, или все являются указателями на типы; и будет терпеть неудачу, если типы и указатели на типы тоже находятся в ключах:
/* HACK: re-casting pointers to mute warnings */
#define print(num) _Generic((num), \
int* : _print_i((int*)num), \
float* : _print_f((float*)num))