p
а что вместо него?
serde :D
map_opt! кажетсяSize: a a a
2020 March 14
MK
В
Как компилятор тут выводит тип? O_O
let opt = None;(playground)
let res: Option<_> = try { opt? };
assert_eq!(res, None);
dbg!(type_name_val(&res));
[src/main.rs:7] type_name_val(&res) = "core::option::Option<()>"
MB
Как компилятор тут выводит тип? O_O
let opt = None;(playground)
let res: Option<_> = try { opt? };
assert_eq!(res, None);
dbg!(type_name_val(&res));
[src/main.rs:7] type_name_val(&res) = "core::option::Option<()>"
() - это дефолтный тип.
В будущем дефолтным станет !.
В будущем дефолтным станет !.
В
() - это дефолтный тип.
В будущем дефолтным станет !.
В будущем дефолтным станет !.
А что именно заставляет его использовать дефолтный тип? Почему в подобном коде но без
try будет ошибка?p
Как компилятор тут выводит тип? O_O
let opt = None;(playground)
let res: Option<_> = try { opt? };
assert_eq!(res, None);
dbg!(type_name_val(&res));
[src/main.rs:7] type_name_val(&res) = "core::option::Option<()>"
try { } O_O
p
Есть крейт А, который предоставляет общите типы данных для крейтов Б и В. Я правильно понимаю, что чтобы их использовать в обоих крейтах (из одного пересылается в другой крейт), необходимо скомпилировать Б и В крейты одним компилятором? Или на разных тоже можно? И что единственный способ чтобы можно было юзать крейт А в крейтах Б и В скомпилированных на разных компиляторах является #[repr(C)] ?
Э
Есть крейт А, который предоставляет общите типы данных для крейтов Б и В. Я правильно понимаю, что чтобы их использовать в обоих крейтах (из одного пересылается в другой крейт), необходимо скомпилировать Б и В крейты одним компилятором? Или на разных тоже можно? И что единственный способ чтобы можно было юзать крейт А в крейтах Б и В скомпилированных на разных компиляторах является #[repr(C)] ?
Что? Если у тебя одно скомпилированное приложение, то оно вроде как само там всё определит себе для либ, нет? Крейты - это же просто кусок кода, нет? И ты сам решаешь, чем его компилировать. А если ты из одного приложения в другое перекидываешь, то даже один и тот же компилятор тебе не гарантирует одинаковость #[repr(Rust)] типов. Так что либо #[repr(transparent)] поверх #[repr(C)], либо просто #[repr(C)].
p
Что? Если у тебя одно скомпилированное приложение, то оно вроде как само там всё определит себе для либ, нет? Крейты - это же просто кусок кода, нет? И ты сам решаешь, чем его компилировать. А если ты из одного приложения в другое перекидываешь, то даже один и тот же компилятор тебе не гарантирует одинаковость #[repr(Rust)] типов. Так что либо #[repr(transparent)] поверх #[repr(C)], либо просто #[repr(C)].
Забыл сказать, что крейт Б и крейт В компилируются отдельно, одир из них как dylib.
Э
Динамическая растолиба вроде же не FFI?
p
Хз. Я из крейта А, скомпилированного в бинарь вызываю через dlopen крейт Б, скомпилированный динамически.
Э
В динамик либе делаешь pub use Trait и уже оттуда тянешь в А.
Э
Или что у тебя там за типы с трейтами.
p
В динамик либе делаешь pub use Trait и уже оттуда тянешь в А.
Это уже не будет правильно с логической точки зрения. Эти типы используются приоритетно в в крейте А.
Э
Ну и что? Без динамик либы всё равно не работает, так какая разница?
p
А как тащить типы и трейты в статический бинарь из динамической либы?
Э
А как ты функции вызываешь?
p
Разве .so сохраняет сигнатуры типов? Ну и что если этих типов не будет в либе? Мне кажется ты предлагаешь не возможное. Конструировать в бинаре структуры, схема которых приходит в динамической либе.
А функции вызываются по их символу в .so файле.
А функции вызываются по их символу в .so файле.