Почему при перегрузке функции через макрос, появляются предупреждение в _Generic на каст?

Question

[Seityaya]

Есть код, в котором происходит перегрузка функции через макрос.

Компилятор выдаёт предупреждение на каст переменных, но скомпилированная программа работает правильно.
Подавление предупреждений не вариант.

Хотелось бы знать причину предупреждений, это стандартное поведение или несовершенство препроцессора?

Минимальный код для проверки и экспериментов.

#include <inttypes.h>
#include <stdint.h>
#include <stdio.h>
 
#define FNK(...) \
        FFF_x(, \
                ##__VA_ARGS__, \
                FFF_B(__VA_ARGS__), \
                FFF_A(__VA_ARGS__), \
                FFF_0(__VA_ARGS__))
 
#define FFF_x(x, A, B, FFF, ...)FFF
 
#define FFF_0() fnk(0, 0, NULL)
#define FFF_A(A) fnk(A, 0, NULL)
 
#define FFF_B(A, BC) \
        _Generic((A), \
                int : _Generic((BC), \
                        int : fnk(A, BC, NULL), \
                        char * : fnk(A, 0, BC)))
 
void fnk(uintmax_t A, uintmax_t B, char* C){
    printf("A : %"PRIXMAX"\n", A);
    printf("B : %"PRIXMAX"\n", B);
    printf("C : \"%s\"\n", C);
}
 
void fnk_test(void){
    printf("\n0)---------\n");
    FNK();
 
    printf("\n1)---------\n");
    FNK(1);
 
    printf("\n2.1)---------\n");
    FNK(1, 2);
 
    printf("\n2.2)---------\n");
    FNK(1, "2");
}
 
int main() {
    fnk_test();
    return 0;
}

В FNK(1, 2); -- ругается на то, что переменная не char *
,а
в FNK(1, "2"); -- наоборот, что не int.

Вывод программы:

0)---------
A : 0
B : 0
C : "(null)"
 
1)---------
A : 1
B : 0
C : "(null)"
 
2.1)---------
A : 1
B : 2
C : "(null)"
 
2.2)---------
A : 1
B : 0
C : "2"

Предупреждения:

Answer 1

[jcmvbkbc]

Хотелось бы знать причину предупреждений, это стандартное поведение или несовершенство препроцессора?

Препроцессор-то тут ни при чём. Если посмотреть в

препроцессированный код,

_Generic((1), int : _Generic((2), int : fnk(1, 2,
# 37 "generic.c" 3 4
   ((void *)0)
# 37 "generic.c"
   ), char * : fnk(1, 0, 2)));

    printf("\n2.2)---------\n");
    _Generic((1), int : _Generic(("2"), int : fnk(1, "2",
# 40 "generic.c" 3 4
   ((void *)0)
# 40 "generic.c"
   ), char * : fnk(1, 0, "2")));

то видно, что выражение выбираемое _Generic имеет правильные типы, но выражения в других ветках при этом имеют неправильные типы. Предупреждение об этом.

Пофиксить можно было бы заведя две разные функции для int и char * и выбирая в _Generic только нужную функцию, а не всё выражение. Типа того:

void fnk_int(uintmax_t A, uintmax_t B){
...
}
void fnk_pchar(uintmax_t A, char *B){
...
}

#define FFF_B(A, BC) \
        _Generic((A), \
                int : _Generic((BC), \
                        int : fnk_int, \
                        char * : fnk_pchar)(A, BC))

Comments

[res2001]

Спасибо, открыл для себя _Generic :)

[Seityaya]

выражение выбираемое _Generic имеет правильные типы, но выражения в других ветках при этом имеют неправильные типы. Предупреждение об этом.

Побороть это никак нельзя? Может есть опции компилятора/препроцессора?
Он, получается, ругается на ветки в которые не должен заходить.

[jcmvbkbc]

Он, получается, ругается на ветки в которые не должен заходить.

RR_Zz, я тоже был удивлён. Стандарт в этом месте немногословен, он лишь говорит, что невыбранные ветки не вычисляются, но не разрешает явно писать там выражения с семантическими ошибками.

Побороть это никак нельзя?

Согласовать типы везде? Если от такой формы функции fnk не избавиться, можно зайти с другой стороны:

#define INT_OR_0(A) _Generic((A), int: (A), default: 0)
#define CHARP_OR_NULL(A) _Generic((A), char *:(A), default: NULL)

#define FFF_B(A, BC) \
        _Generic((A), \
                int : _Generic((BC), \
                        int : fnk(A, INT_OR_0(BC), NULL), \
                        char * : fnk(A, 0, CHARP_OR_NULL(BC))))

Может есть опции компилятора/препроцессора?

Не вижу ничего.

[Seityaya]

jcmvbkbc, Этот вариант работает идеально! Плюс встраивается просто и достаточно понятен.
Премного благодарен.
Вы не против, если я скопирую ваш ответ на другие форумы где задавал этот вопрос?

[jcmvbkbc]

Вы не против, если я скопирую

RR_Zz, я только "за".