Структуры условного выбора типа

Изобретаешь, но в этом нет ничего плохого, удобно и практично если с умом делать, вот пример https://github.com/orangeduck/Corange/blob/master/include/casset.h, для статики можно поступить иначе и сунуть в структуру юнион в который сунуть другие структуры и в шапке указывать хранимый тип по id

Тут идея глобальнее. Metaprog: универсальная графическая среда программирования [в разработке] (комментарий), смотри и комментарий, и сам пост.

Тип-сумма. Еще есть тип-произведение. И вообще, есть алгебраические типы данных.

Что за бред? Вы функции перечисляете или типы? Или вообще про методы из ООП-языка, а не Си?

Я в курсе, это просто каст к воиду и обратно при заборе данных, юзай и радуйся, используется это часто. Весь вопрос как для для себя это реализуешь. Ссылку я тебе дал, там рабочий пример, много типов все приводятся в void * и указатели складываются в хранилище, доступ к ним по именам, к примеру

entity_new("player",static_object);
entity_new("world",landscape);


static_object  *s = entity_get("player");
landscape      *l = entity_get("world");

А по ссылке тоже что и у тебя

//структура для хранения данных загруженных файлов
typedef struct {
  fpath path; // путь до файла оно же имя для данных
  asset* ptr; // структура данных файла напимер музыка или 3d объект скастованная в void *
  uint32_t timestamp; // время, опционально
} asset_hndl;

тут в хранилище поиск имени по fpath path и отдаётся ptr через макрос который кастует тип обратно

Тип-сумма. Еще есть тип-произведение. И вообще, есть алгебраические типы данных.

Так обломали автора. Он думал, что прорыв в информатике совершил, а тут такое...

Теперь бы ему еще понять, что это такое...

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

http://dmilvdv.narod.ru/Translate/OOC/index.html https://www.cs.rit.edu/~ats/books/ooc.pdf

вот тут кое-что изобретено.

Нужно не ООП, а только условный выбор типа данных.

Rust бери вместо C

т.е. ссылочки ты прочитал? ок.

Чем он лучше?

https://developer.gnome.org/glib/stable/glib-GVariant.html

В точку!

В качестве другого примера можно глянуть на семейство
struct sockaddr

https://doc.qt.io/qt-5/qvariant.html

Ну то уже плюсы, не катит:(

Владимир

QT - огромная вселенная /а может быть даже «черна дыра»/.
Классы для отрисовки примитивов, ... местами а-ля WIN API.

Чем C/C++

Не зря я боюсь С++ как черт ладана. И Линус тоже: http://harmful.cat-v.org/software/c /linus

Ну а каким образом лучше?

У тебя просто своего мнения нет, всё на других киваешь. Но ты не Линус, вот в чем штука.

// Эх, tailgunner исчез, некому пояснить за cat-v.org

Владимир

Ни к тому это было сказано, что это плохо.

В нём твоя «идея» уже реализована:

enum WebEvent {
    PageLoad,
    PageUnload,
    KeyPress(char),
    Paste(String),
    Click { x: i64, y: i64 },
}

Полный код здесь.

язабан. очевидно, чья-то мартышка добралась до клавиатуры.

Писать на Си есть смысл только в том случае, если ты собираешься коммитить свой код в ядро.

Почему не юзерспейс?

Отлично, однако мне нужна имнно сишная реализация.

Потому что возникают идиотские проблемы, подобные твоей. В более высокоуровневых языках многократно решённые.

Нет.

идиотские проблемы

А где ты здесь вообще проблему увидел?

struct {
int selector_of_type;
void * data_of_selected_type;
};

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

На C это будет выглядеть как-то так:

struct WebEvent {
    unsigned char discriminant;
    union {
        // discriminant == 0
        struct {} page_load;
        // discriminant == 1
        struct {} page_unload;
        // discriminant == 2
        struct {
            char key;
        } key_press;
        // discriminant == 3
        struct {
            char* buffer;
        } paste;
        // discriminant == 4
        struct {
            int x;
            int y;
        } click;
    };
};

A GVariant cannot contain a pointer. Отметается.

https://developer.gnome.org/glib/stable/glib-GVariant.html

Надо уметь и указатели вмещать, и структуры с указателями. При сериализации/десериализации будут читаться/писаться данные из указателя/в указатель. Кстати, в Метапроге массив - это структура из указателя и длины массива.

Надо уметь и указатели вмещать, и структуры с указателями. При сериализации/десериализации будут читаться/писаться данные из указателя/в указатель.

В итоге ты переизобретёшь GVariant или его подмножество. Ничего плохого в этом нет, особенно если хочешь время потратить.

У меня нету скора для написания комментариев в ту тему, скоро наберется, а пока писать туда не могу.

Черт, кто закрыл? Фигня.

Наверное автоматом закрывается после 1к комментариев в теме, ну можно сделать чатик какой нибудь, и туда перейти. Главное что бы без регистрации...

Ты зависимые типы захотел что ли?

В маломальски безопасном ключе это не сделать в сишке, да и ненужно.

Тебе нужен либо класс с методами, либо параметрический контейнер в 99% случаев. Оборачивать тип в контейнер с тагом в сишке безопасно не получится, так что я бы даже не пробовал. В окамле, расте или крестах еще можно.

Походу надо делать свой метапрог-чат. А пока нет - какие варианты?

Ну мне видятся такие варианты...

• Создать новую тему.
• Уйти на другой форум.
• Купить хостинг за 50 рублей у ihor.ru и поставить туда чат.

Ладно, помозгую. А пока пора валить.

Откройте тему! там обсуждаем закрытую тему

В Аде есть в точности то, что тебе нужно:

https://en.m.wikibooks.org/wiki/Ada_Programming/Types/record

Называется discriminated/variant records.

в чём твоя идея? в 4 строчках кода? а для передачи через сеть добавь int byte_order.

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

этих стандартов как грязи, гений

Пример на Си в студию.

трёхстрочник выше