Форум программистов, компьютерный форум, киберфорум
C (Си)
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.67/9: Рейтинг темы: голосов - 9, средняя оценка - 4.67
0 / 0 / 0
Регистрация: 30.11.2015
Сообщений: 15
1

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

23.07.2020, 23:31. Показов 1876. Ответов 3
Метки нет (Все метки)

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

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

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

Минимальный код для проверки и экспериментов.
C
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
#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.

Вывод программы:
C
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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"
Предупреждения во вложенном файле.
Миниатюры
Перегрузка функции через макрос, предупреждение в _Generic на каст перекрестно  
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
23.07.2020, 23:31
Ответы с готовыми решениями:

Перегрузка функции через макрос с зависимостью от количества и типа переданных параметров еще и с вариаблик
Здравствуйте. На чистоту, я не осилил макросы. Провел весь день, чтобы попытаться вызвать...

Перегрузка функции внутри generic метода
Добрый день! Приведу пример кода, который не компилируется. static void...

Перегрузка операторов + - в Generic классе
Есть какой-нибудь нормальный способ? А то, то что нахожу как-то скучно выглядит

Макрос Generic не принимает строку
Пытаюсь реализовать программу на чистом С которая при помощи макроса конвертирует данные в строку и...

3
590 / 413 / 135
Регистрация: 02.10.2008
Сообщений: 1,745
Записей в блоге: 1
25.07.2020, 00:59 2
Походу ты не понял до конца _Generic в дефайнах и намудрил.
Покажи полный выхлоп препроцессора, полный выхлоп компилера...
0
Вездепух
Эксперт CЭксперт С++
11696 / 6375 / 1724
Регистрация: 18.10.2014
Сообщений: 16,076
26.07.2020, 06:43 3
Цитата Сообщение от RR-Zz Посмотреть сообщение
Хотелось бы знать причину предупреждений
Все ветви _Generic должны быть корректными, даже если эти ветви не выбираются и не вычисляются. В вашем случае компилятор лишь сообщает вам о некорректности некоторых ветвей, пусть даже и не выбранных.

_Generic - это не препроцессор и не аналог if consexpr в С++. Он не "выключает" из процесса компиляции "лишние" ветви. _Generic - это чисто языковая возможность, возможность уровня ядра языка. Это что-то вроде switch/case, основанного на типах. И точно так же, как и в switch/case, все ветви должны быть корректными, независимо от того, выбираются они или нет.
0
0 / 0 / 0
Регистрация: 30.11.2015
Сообщений: 15
26.07.2020, 23:52  [ТС] 4
Решение:
C
1
2
3
4
5
6
7
8
#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))))
Подробнее тут: https://qna.habr.com/q/816309
0
26.07.2020, 23:52
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
26.07.2020, 23:52
Помогаю со студенческими работами здесь

Реализацию функции через макрос
Здравствуйте! Подскажите как реализовать следующий код. Необходимо что бы при выполнении макроса...

Запись по ссылке или указателю в аргументы функции через макрос va_arg
Здравствуйте! Есть функция, принимающая переменное число аргументов. Нужно, чтобы переменные из...

Спецификация generic upcast/downcast в generic типах
Почему только интерфейсы и делегаты в C# поддерживают технику ковариантности и контрвариантности в ...

Generic и переопределение функции
Есть функция, с неким боди: public static ElementFactory&lt;T extends HTMLElement, U extends...

Через 15 мин работы выключается процесс Generic Host Process
Вот у меня такая проблема переустановил я ос и возникла проблема такая через 15 мин работы...

Каст объектов
Допустим у меня есть класс А, который кастится до Object и записывается в лист. Что нужно,...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
4
Ответ Создать тему
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru