Определение типа переменной в функции

@KMA7 · Регистрация: 04.01.2019

Студворк — интернет-сервис помощи студентам

Добрый день.
Есть простая программка для изучения передачи значений/указателей в функции

C
1
2
3
4
5
6
7
8
9
10
11
12
13
14
void prnt(void *pp)
{
int * p;
p = (int*)(pp);
printf("по адресу %p хранится целочисленное %d\n", p, *p);
}
int main(int argc, char ** argv)
{
int i = 2;
int *pi;
pi = &i;
prnt(pi);
return EXIT_SUCCESS;
}

Существует ли возможность как-то понимать, какого типа переменная зашла в функцию prnt, чтобы корректно печатать адрес и значение по этому адресу? Т.е. если pp - указатель на float - приводить p к float, если int - к int и т.д.
Если передавать другой тип (float, например), то ошибки нет, но выдаётся совершенно левое значение.

@FFPowerMan · 25.02.2019, 13:10

Ну заведите классификацию-перечислитель, который будет говорить функции, какой тип ей передали.

@KMA7 · 25.02.2019, 14:15 **[ТС]**

А не подскажете, что скрывается под определением "классификация-перечислитель"? Или где почитать? Гугл по этому поводу вразумительного ничего не выдаёт на первых 2-3 страницах.

Т.е. как конкретно в Си реализовать такое: в функцию входит некий указатель на *void, (внутри функции?) анализируется, на какой тип этот указатель, и дальше уже работаем с конкретным типом.

@prik · 25.02.2019, 14:40

Сообщение от KMA7

А не подскажете, что скрывается под определением "классификация-перечислитель"?

Вам предлагают повторить в том или ином виде форматную строку printf.

Сообщение от KMA7

Т.е. как конкретно в Си реализовать такое: в функцию входит некий указатель на *void,

Никак.

Сообщение от KMA7

, (внутри функции?) анализируется, на какой тип этот указатель,

До того как указатель стал void * (т.е. пока информация об исходном типе не потеряна), в свежих Си можно через _Geniric вызвать версию prnt заточенную под конкретный тип, ну или формировать "подсказку" для общей функции "автоматически".

@KMA7 · 25.02.2019, 23:07 **[ТС]**

Спасибо за ответ.
Вот эта его часть чуть смущает:

Сообщение от prik

Никак.

Почему? Потому как, если посмотреть описание qsort, то мы видим:

C
1
void qsort(void * base, size_t nmemb, size_t size, int ( * ) ( const void *, const void *) compar);

Соответственно, void *base - может быть первым элементом любого массива - целочисленного, вещественного или символьного, и qsort независимо от этого даст правильный результат.
Значит, способ определить, что за указатель передан как void * base - всё же есть?

Сообщение от prik

До того как указатель стал void * (т.е. пока информация об исходном типе не потеряна), в свежих Си можно через _Geniric вызвать версию prnt заточенную под конкретный тип, ну или формировать "подсказку" для общей функции "автоматически".

Очень был бы признателен за пример реализации, т.к. учусь на переводных материалах по Си и до "свежих Си" - как до Парижа "а-ля краб или а-ля креветка"

Байт · 25.02.2019, 23:27

Сообщение от KMA7

qsort,

У него есть третий параметр - объем элемента массива. И этого вполне достаточно для перемещения этих элементов. А сравнение производится функцией compar, и вот она-то, написанная вами уже во всем прекрасно разбирается.
Впрочем, в плюсах есть возможности определять тип указателя (не на все) и даже пытаться приводить указатели к нужному типы (всякие cast), но это уже совсем другой разговор...

@prik · 25.02.2019, 23:31

Сообщение от KMA7

Почему?

Язык такой.

Сообщение от KMA7

Значит, способ определить, что за указатель передан как void * base - всё же есть?

Нет. Да и не зачем.

Сообщение от KMA7

Соответственно, void *base - может быть первым элементом любого массива - целочисленного, вещественного или символьного.

Верно. Только этой ф-ции не нужна информация о типах. Она знает что ей передали указатель на 1й элемент массива состоящего из nmemb элементов размером size каждый. Этой информации достаточно для передачи в compar() правильных указателей.

Сообщение от KMA7

и qsort независимо от этого даст правильный результат.

Результат на совести написанной вами compar(), а вот вы в отличии от qsort() уже знаете что именно сравниваете и можете кастовать void * куда надо.

Сообщение от KMA7

Очень был бы признателен за пример реализации,

Поищите на этом форуме в этом или в си для линукс разделе. Будут не ясности - велкам.

@KMA7 · 26.02.2019, 09:12 **[ТС]**

Сообщение от prik

Поищите на этом форуме в этом или в си для линукс разделе. Будут не ясности - велкам.

На этом форуме в Си-разделах всего пара упоминаний, одно из них - Ваше

В другом есть ссылка на пример реализации - как раз то, что мне нужно. Доступно по ссылке:
http://www.robertgamble.net/2012/01/c11-generic-selections.html
Ну очень подробно, для новичков в самый раз))

@prik · 26.02.2019, 10:09

Сообщение от KMA7

На этом форуме в Си-разделах всего пара упоминаний,

Странно, мне казалось я выкладывал тут уже пример.
Пусть будет еще 1

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
#include <stdio.h>
 
#define foo(X) _Generic((X), \
    int: foo_int, \
    double: foo_double, \
    char *: foo_charptr \
)(X)
 
void foo_int(int x);
void foo_double(double d);
void foo_charptr(char *ptr);
 
void foo_int(int x)
{
    printf("%s(%d)\n", __func__, x);
}
 
void foo_double(double d)
{
    printf("%s(%f)\n", __func__, d);
}
 
void foo_charptr(char *ptr)
{
    printf("%s(\"%s\")\n", __func__, ptr);
}
 
int main(void)
{
    foo(123);
    foo(1.23);
    foo("123");
    return 0;
}

@Егор Щербанов · 26.03.2019, 17:21

prik, а можно без перегрузки функции? через шаблоны, типа такого?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
template <typename T>
void foo(T t){
    if (is_same_v<T, int>) {
        cout << "this is int " << t << '\n';
    if (is_same_v<T, string>) {
            cout << "this is string " << t << '\n';
        }
    }
}
int main() {setlocale(LC_ALL, "ru"); 
foo(63);
foo(" i yes");
 
cout << '\n';
return 0;
}

@prik · 26.03.2019, 17:37

Егор Щербанов, так не завезли в Си шаблоны...

@Егор Щербанов · 26.03.2019, 17:42

prik, а можно через шаблоны? у не получается, помогите, пожалуйста.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
template <typename T>
void foo(T t) {
    if ("int" == typeid(t).name()) {
        cout << "this is int " << t << '\n';
    }
}
int main() {setlocale(LC_ALL, "ru"); 
foo(63);
foo(" i yes");
 
cout << '\n';
return 0;
}

Croessmah · 26.03.2019, 19:37

Сообщение от Егор Щербанов

а можно через шаблоны?

В C нет шаблонов.

@Егор Щербанов · 26.03.2019, 21:54

Croessmah, Извините перепутал ветку с С++))))))))))

Новые блоги и статьи Все статьи Все блоги /
Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025

@FFPowerMan 2154 / 1234 / 508 Регистрация: 11.10.2018 Сообщений: 6,233
	25.02.2019, 13:10
	Ну заведите классификацию-перечислитель, который будет говорить функции, какой тип ей передали. 0

@KMA7 2 / 2 / 0 Регистрация: 04.01.2019 Сообщений: 27
	25.02.2019, 14:15 [ТС]
	А не подскажете, что скрывается под определением "классификация-перечислитель"? Или где почитать? Гугл по этому поводу вразумительного ничего не выдаёт на первых 2-3 страницах. Т.е. как конкретно в Си реализовать такое: в функцию входит некий указатель на *void, (внутри функции?) анализируется, на какой тип этот указатель, и дальше уже работаем с конкретным типом. 0

@prik 725 / 224 / 73 Регистрация: 01.03.2011 Сообщений: 643
	26.03.2019, 17:37
	Егор Щербанов, так не завезли в Си шаблоны... 1

@Егор Щербанов 11 / 10 / 2 Регистрация: 19.02.2018 Сообщений: 393
	26.03.2019, 21:54
	Croessmah, Извините перепутал ветку с С++)))))))))) 0

Определение типа переменной в функции

Решение