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

Question

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

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

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

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

#backend #embedded #programming #russian #rust

0

10.12.2020

14 ответов

7 просмотров

multi processing

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

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

0

10.12.2020

Kirill Kuzminykh

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

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

0

10.12.2020

Mikail Bagishov Автор вопроса

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

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

0

10.12.2020

Dmytro Polunin

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

Почитай про алиасинг.

0

10.12.2020

Kirill Kuzminykh

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

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

0

10.12.2020

Mikail Bagishov Автор вопроса

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

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

0

10.12.2020

Dmytro Polunin

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

А чё запись запрещена?

0

10.12.2020

multi processing

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

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

0

10.12.2020

Kirill Kuzminykh

multi processing
Нет. Запись возможна, если эта память выделена с п...

В C она так и выделяется - через malloc

0

10.12.2020

Mikail Bagishov Автор вопроса

Dmytro Polunin
А чё запись запрещена?

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

0

10.12.2020

multi processing

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

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

0

10.12.2020

Kirill Kuzminykh

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

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

0

10.12.2020

multi processing

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

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

0

10.12.2020

Kirill Kuzminykh · Accepted Answer

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

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

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

14 ответов

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