а
Есть, просто они по умолчанию public
даже так
Size: a a a
2020 March 11
А⚙
Я бы лучше инкорпорировал этот ещё один тип в Error
У меня был кейс, когда иметь опциональную ошибку в Result было оправдано
DF
Ну витейбл это вообще не часть с++
r
Error<'_> подразумевает, что её нельзя передать выше какого-то уровня колл-стека. Тоже веселоEG
ну хз, может так и лучше. это у меня после рефакторинга появилось. может вторую волну запущу, но лень.
У тебя в такой функции не будет нормально работать
?R
s/шарп/раст
эм?
А⚙
эм?
А что?
R
А что?
зачем пинганул то?
AK
виртуальные методы к этому никак не относятся
У классов в C++ VMT может и быть и не быть (в зависимости от наличия virtual методов)
У классов в C++ VMT может и быть и не быть (в зависимости от наличия virtual методов)
У классов везде есть сабтайпинг, у структур раста нет
p
У тебя в такой функции не будет нормально работать
?так суть в том, что если None, то продолжить выполнение функции, а если Some(err), то вернуть ошибку до самого высокого уровня
EG
так суть в том, что если None, то продолжить выполнение функции, а если Some(err), то вернуть ошибку до самого высокого уровня
О_о
а
зачем пинганул то?
p
pub fn foo<'a>(stream: &mut Foo<'_, 'a>) -> Result<Box<Bar<'a>>, Option<Error<'a>>>
блять как я хочу сдохнуть
pub fn foo<'b, 'a: 'b>(foo: &mut Foo<'a, 'b>) -> Result<Bar<'a>, Error<'b>>
вот теперь можно вешаться
вот теперь можно вешаться
DS
А impl это не то?
Нет, импл не приводит к созданию таблицы виртуальных методов у структуры
DS
виртуальные методы к этому никак не относятся
У классов в C++ VMT может и быть и не быть (в зависимости от наличия virtual методов)
У классов в C++ VMT может и быть и не быть (в зависимости от наличия virtual методов)
Если у классов в языке в принципе не может быть VMT (как в расте), то эти классы не являются классами в обычном понимании.
а
Если у классов в языке в принципе не может быть VMT (как в расте), то эти классы не являются классами в обычном понимании.
справедливо
A
Если у классов в языке в принципе не может быть VMT (как в расте), то эти классы не являются классами в обычном понимании.
А где вообще это обычное понимание формализовано? Особенно требование VMT?
DF
Есть же способы организации полиморфизма без витейблов
DF
Например бестиповый с++
DF
Классы это про ООП а не реализацию в витейблах