172 похожих чатов

Ты сейчас про код на С или код на расте?

С растом все ок, а вот в сишном коде UB.

Память с точки зрения компьютера или ОС нетипизирована, но ты не на ассемблере пишешь и не системные вызовы делаешь.

Ну а в С такая модель памяти, какая есть, ее надо соблюдать. cc @zamazan4ik

14 ответов

4 просмотра

В C фактически сделано так же как я в итоге сделал на Rust с конвертированием в слайс (это я изначально не правильно решил конвертить Vec<f64> в Vec<i32> т.к. не подумал про layout). В C разве что нет гарантий того, что нельзя будет после конвертации использовать исходный указатель на f64 и эта ответственность перекладывается на разработчика.

Kirill Kuzminykh
В C фактически сделано так же как я в итоге сделал...

В расте, скорее всего, можно сделать корректно, а вот в си тот же трюк сделать без memcpy и без UB не выглядит возможным. Неинициализированная память здесь ни при чем, а вот про strict aliasing верно отметили выше. Вообще это плюс расту, где модель памяти оказывается гибче сишной.

multi processing
В расте, скорее всего, можно сделать корректно, а ...

Что-то я так и не улавливаю о какой проблеме в C все говорят. Вроде бы всё просто - выделили память под sizeof(double) * N , но вместо этого стали её использовать для sizeof(INT32) * N В чём тут проблема?

Mikail-Bagishov Автор вопроса
Kirill Kuzminykh
Что-то я так и не улавливаю о какой проблеме в C в...

В том, что ты обратился по указателю типа int* к объекту типа float. Это UB.

Mikail Bagishov
В том, что ты обратился по указателю типа int* к о...

Так я не обратился к нему - я сначала записал в него INT32, и только потом обратился

Mikail-Bagishov Автор вопроса
Kirill Kuzminykh
Так я не обратился к нему - я сначала записал в не...

И запись и чтение в данном случае одинаково запрешены

Mikail Bagishov
И запись и чтение в данном случае одинаково запреш...

Нет. Запись возможна, если эта память выделена с помощью malloc и подобных

Mikail-Bagishov Автор вопроса
Dmytro Polunin
А чё запись запрещена?

using an lvalue expression (typically, dereferencing a pointer) of a different type T2 is undefined behavior, unless

Kirill Kuzminykh
Так я не обратился к нему - я сначала записал в не...

Если записал int32_t туда, где раньше лежала половина double (в динамически аллоцированную память) и потом читаешь, то это корректно с точки зрения си. Только по эффективности это будет почти как memcpy

multi processing
Если записал int32_t туда, где раньше лежала полов...

По сравнению с тем, что бы аллоцировать такой же буфер чисто под int32 выходит эффективнее. Ещё и фрагментацию памяти немного снижает.

Kirill Kuzminykh
По сравнению с тем, что бы аллоцировать такой же б...

Тогда консенсус достигнут, и можно завершать оффтоп с итоговым результатом +1 к расту.)

Похожие вопросы

Обсуждают сегодня

Всем привет! Имеется функция: function IsValidChar(ch: UTF8Char): Boolean; var i: Integer; ValidChars: AnsiString; begin ValidChars := 'abcdefghijklmnopqrstuvwxyzABCDE...
Евгений
44
#include <stdio.h> #include <stdlib.h> #include <time.h> void mass_first_generate(int mass[5][7]) {     for (int N = 0; N < 5; N++) {         for (int A = 0; A < 7; A++) {   ...
Чувак
6
Всем привет! Решаю 99 OCaml Problems и столкнулся со следующей проблемой (прошу палками не забивать, я OCaml практически не трогал до этого момента): open OUnit2 let create_...
К|/|pи/\/\ 6е3yглbIи
2
Точно, оно. У тебя там имена потоков выставляются?
Александр (Rouse_) Багель
11
https://www.linkedin.com/posts/ugama-benedicta-kelechi-codergirl-103041300_mobiledevelopment-fluttertraining-handsonlearning-activity-7263445699227254784-IdHB?utm_source=share...
CoderGirl
16
возможно ли как-то передать в электрон или таури медиа поток с рендера 2д движка? двиг запускается как dll, а дальше надо как-то отправлять рендер кодировать не подходит, зр...
Kyle Nekto
7
Ну вот просто даже давайте вот как. Какой нибудь конкретный кейс, можете в пример привести, где бч работает и приносит прикладную пользу, а не просто что бы было? Не крипту.
Alexander Andreev
22
Помогите пожалуйста. Делаю систему плагинов. Проблема сейчас в такая: плагины загружаются в основном потоке. FLibHandle := SafeLoadLibrary(FFileName) Но нужно еще выполнить фу...
Илья 🤣
10
объясните пожалуйста, почему функция не работает должным образом? вроде должно брать активное окно сравнивать его размер с размером экрана, и если есть совпадение = true прове...
JF
12
лучше скажите, причём тут паскаль?
Alexey Kulakov
36
Карта сайта