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

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

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

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

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

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

Минимальный код для проверки и экспериментов.
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
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
23.07.2020, 23:31
Ответы с готовыми решениями:

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

Перегрузка функции внутри generic метода
Добрый день! Приведу пример кода, который не компилируется. static void someGenericMethod&lt;T&gt; (T data){ ...

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

3
599 / 421 / 137
Регистрация: 02.10.2008
Сообщений: 1,798
Записей в блоге: 1
25.07.2020, 00:59
Походу ты не понял до конца _Generic в дефайнах и намудрил.
Покажи полный выхлоп препроцессора, полный выхлоп компилера...
0
Вездепух
Эксперт CЭксперт С++
 Аватар для TheCalligrapher
12944 / 6811 / 1821
Регистрация: 18.10.2014
Сообщений: 17,236
26.07.2020, 06:43
Цитата Сообщение от RR-Zz Посмотреть сообщение
Хотелось бы знать причину предупреждений
Все ветви _Generic должны быть корректными, даже если эти ветви не выбираются и не вычисляются. В вашем случае компилятор лишь сообщает вам о некорректности некоторых ветвей, пусть даже и не выбранных.

_Generic - это не препроцессор и не аналог if consexpr в С++. Он не "выключает" из процесса компиляции "лишние" ветви. _Generic - это чисто языковая возможность, возможность уровня ядра языка. Это что-то вроде switch/case, основанного на типах. И точно так же, как и в switch/case, все ветви должны быть корректными, независимо от того, выбираются они или нет.
0
0 / 0 / 0
Регистрация: 30.11.2015
Сообщений: 15
26.07.2020, 23:52  [ТС]
Решение:
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
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
26.07.2020, 23:52
Помогаю со студенческими работами здесь

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

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

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

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

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


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

Или воспользуйтесь поиском по форуму:
4
Ответ Создать тему
Новые блоги и статьи
[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора
ФедосеевПавел 14.03.2026
Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .
делаю науч статью по влиянию грибов на сукцессию
anaschu 13.03.2026
прикрепляю статью
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++
8Observer8 10.03.2026
Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE
8Observer8 10.03.2026
Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .
Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки
Neotwalker 08.03.2026
Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages
DevAlt 07.03.2026
Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F#
DevAlt 06.03.2026
В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .
Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование
8Observer8 05.03.2026
Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru