Как создать массив из типов данных в си?

Question

[Nulltiton]

Хочу в цикле перебирать типы данных и вычислять их размер, однако столкнулся с проблемой, которая заключается в том, что я не могу использовать тип данных как элемент массива. Подскажите, как реализовать подобную структуру или как обойти данное ограничение. От структуры будет требоваться наличие элементов, которые являются типами данных и индексация элементов.
P.S. пытался реализовать что-то подобное через define, однако, как и ожидалось вместо элемента был подставлен весь диапазон типов данных

Comments

[Василий Банников]

Хочу в цикле перебирать типы данных и вычислять их размер

Попробуй тогда в макросе делать массив, в котором будет браться sizeof от типа данных - тогда у тебя будет массив размеров

Вообще в Си нет рефлексии, так что в рантайме информации о типах у тебя быть не может.
Если очень нужно - придётся велосипедить и делать какую-нибудь структуру, в которой будет записана информация о типе.

[Дмитрий Королев]

на с++ удобнее

struct meminfo
{
virtual size_t Size() = 0;
...
};
template <typename T> struct Identity : public meminfo
{
using TypeT = T;
static constexpr size_t SizeT = sizeof(T);
virtual size_t Size() override
{
return SizeT;
}
...
}

using IdentityInt = Identity<int>;

а потом массив создавать и регистрировать в нем типы и тд и тп индексировать

[Wataru]

Массив-то во время компиляции уже известен?

[Nulltiton]

Василий Банников, у меня есть функция, которая от конкретного типа данных берет sizeof, поэтому и хочу использовать массив с типами, чтобы класть по одному элементу туда

[Nulltiton]

Wataru, да, по сути известен

[Nulltiton]

Дмитрий Королев, большое спасибо за Ваш ответ, но меня интересует именно си

[Nulltiton]

На stackoverflow подсказали такие реализации:

#include <stdio.h>

#define ARRAY  int, float

#define GET_1(_1) _1
#define GET_2(_1,...) GET_1(__VA_ARGS__)
#define GET_3(_1,...) GET_2(__VA_ARGS__)
#define GET_N2(_3,_2,_1,N,...)  GET##N
#define GET_N(...)  GET_N2(__VA_ARGS__,_3,_2,_1)
// GET idx argument from comma separated tokens
#define GET(array, idx)  GET_N(array)(array)

int main() {
   printf("%zu\n", sizeof(GET(ARRAY, 0)));
}

и

#include <stdio.h>

struct type_property {
    size_t size;
};

#define TYPE_PROPERTY_INIT(type)  { sizeof(type) }

struct type_property properties[] = {
    TYPE_PROPERTY_INIT(int),
    TYPE_PROPERTY_INIT(float),
};

int main() {
   printf("%zu\n", properties[0].size);
}

Что думаете? Первая мне непонятна от слова совсем. Попробую реализовать вторую. Буду благодарен, если объясните первую реализацию. Как по мне выглядит очень "грязно", хотя скорее всего это из-за постановки самой задачи

[res2001]

Nulltiton, А почему не через _Generic?

#define GET_TYPE_SIZE(type)    _Generic((type), char: 1, short: 2, int: 4, ...)
main() {
   printf("%zu\n", GET_TYPE_SIZE(int));
   
}

Более универсальный вариант - в _Generic макросе возвращать индекс типа, а не размер. Массив размеров держать отдельно и использовать индекс, возвращаемый макросом, для доступа к нужному элементу.

[Василий Банников]

Nulltiton, вторая похожа на то, что я описал

Answer 1

[Дмитрий Королев]

enum typeid { ...}; упоминания типов
индексация упоминаниями ассоциированного массива размеров не лишнее
и конечно явные преобразования данных по месту в switch или через union
Nulltiton, в само перечисление нужно вставить список перечислителей - для области видимости, чтобы их использовать в качестве упоминаний о типе
например назвать enum typeid { int_identity=0, bool_identity, и другие }
каждый чайник знает, а Вы подумали что я предлагаю новую форму синтаксиса с эллипсисом

а в массиве размеров индексация может быть проведена sizes[(size_t)typeid.int_identity]

Comments

[Nulltiton]

К сожалению, не работает, пишет, что идентификатор не определен

[Nulltiton]

Подскажите, пожалуйста, подробнее, как объявлять enum typeid, так как при попытке объявления второе ключевое слово подчеркивается как ошибка

Answer 2

[Wataru]

Если массив фиксирован, то можно попробовать через variadic macros это сделать. Но это такой ужас получится. Вам же кроме размеров типов что-то еще делать надо с разными типами. Проще завести enum типов данных, массив из этого, и через switch считать размеры для каждого значения enum.

Edit: был не прав: variadic macro тут не поможет.

Comments

[Nulltiton]

Хотелось бы, конечно, без ужасов, но в первую очередь передо мной стоит задача просто реализовать подобное, чтобы хотя бы знать, как это делать. Не совсем понимаю, как реализуется variadic macros. В интернете как всегда туториал хелл, буду рад, если вы подскажите мне как это можно реализовать. Использовал такую конструкцию: #define variadic t_array = [ int, float ];
получил закономерную t_array не определено
Вызывал t_array так:
t_array[0]

[Wataru]

Я был не прав, этот variadic macro тут не поможет. Я думал там можно, как в функциях выделять один из параметров и что-то с ним делать, но нет - просто тупо все аргументы идут скопом, хоть их и может быть произвольное количество.

[Nulltiton]

Очень жаль, в любом случае, большое спасибо за Вашу помощь

Answer 3

[mayton2019]

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

Для функциональщины - нужно иметь абстрактный тип Any и коллекции типов которые - суть
подтипы Any. И функцию с pattern matching которая просто кастомизирует size() и прочие
функции. Короче почти ручная работа.

Задача интересная и мне кажется что она реально не решаемая в рамках чистого языка С.
Но если использовать кодо-генерацию (транспилляцию) то можно просто как-то автоматизировать создание
такой логики. Но будет ли это языком С или вообще чем-то другим - большой вопрос.