и как они к файловым дескрипторам относятся, извините?

при rename inode не меняется, привет

ну если ты move делаешь не на дескриптор, а на файл на файлухе, то нужна

перед move нужно обязательно close сделать

В расте не нужно, надо в блок взять.

Я конечно не лингвист

ну это одно и то же по сути-то)

ты записал что-то в файл, закрыл его, фс закэшировала это дело и запомнила файловый дескриптор, куда писать, потом ты муваешь файл, и бац, у нового — новый файловый дескриптор, а ОС сбрасывает кэш в старое место

она не может сбросить кеш в старое место, потому что 1) на одной фс инод сохраняется 2) между фс происходит копирование, и чтение идет из последней копии в памяти (кеша)

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

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

ещё раз, я специально уточнил про "разные фс") по второму пункту — ну вот и отлично, у тебя скопируется старый файл (при плохом сценарии)

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

жентельмены, а представим, что я хочу целочисленный 4 байтный тип не для битоёбства, а для целых чисел в диапазоне -(2^31 - 1) .. 2^31 - 1 положим, я назову его Shit и так, чтобы Option<Shit> Тоже был четырёхбайтным например, а None представлялся как 1000..0 могу я это сделать в расте сегодняшнего дня или нет?

Нет

Нет

жентельмены, а представим, что я хочу целочисленный 4 байтный тип не для битоёбства, а для целых чисел в диапазоне -(2^31 - 1) .. 2^31 - 1 положим, я назову его Shit и так, чтобы Option<Shit> Тоже был четырёхбайтным например, а None представлялся как 1000..0 могу я это сделать в расте сегодняшнего дня или нет?

с методом is_none?

Покажи код уже

Конечно нет, как ты себе это представляешь?

Ну примерно как null pointet оптимизации, почему б нет, если есть гарантии что этот тип не занимает определенные значения

Засунуть 2 разных типа нельзя в не-генерик ф-ю

ну я имел в виду fn foo<T>(x: Option<T>)

Но эти гарантии делает компилер и это специальные кейсы, а не фича языка

блин, форматирование поехало, в общем https://www.kernel.org/doc/Documentation/filesystems/ext4.txt — "Many broken applications..."

В двух словах что скажешь?

ну это же всё равно будут всякие доп вызовы и мелькающие 8 байт на стеке

ну я не предполагал Option<i32>

что в ext4 есть специальный хак для тех, кто не делает фсинк )

что в ext4 есть специальный хак для тех, кто не делает фсинк )

хорошо, ясно, спасибо

Ну прост ты сам говоришь: 8 байт для обычного опшнала А хочешь запихнуть в 4 и передавать в те же ф-и, так не выйдет

Option это всегда 4 байта тэг + sizeof(data)

Option это всегда 4 байта тэг + sizeof(data)

это ведь не совсем "те же" функции будут

Option это всегда 4 байта тэг + sizeof(data)

есть же специализации для простых енумов и референсов

есть же специализации для простых енумов и референсов

Заведи тогда трейт Optional который для твоего типа будет отдельную реализацию иметь

Это не фича языка)

я вот подумал, что уже может такое заведено

как, покажи?

аттрибутов #[] нет для этого?

https://play.rust-lang.org/?gist=c375f8f6d9a6558c18b7e42d52c60edd&version=stable&mode=debug