CD
собственно плюсовый опыт трейтов показывает, что частичная специализация для классов является достаточно неудачным подходом
Size: a a a
2020 December 30
ΑZ
посмотрим
ΑZ
пока у меня более прозаические требования
ΑZ
сделать сервис, а не думать о судьбе специализации в расте)
p
Вообще для сервисов нужен логос
CD
посмотрим
Ну тут нечего смотреть. Если vector<bool> определен битово-сжатым, то нельзя сделать несжатый vector<bool>. Кроме того, специализация потребует специального синтаксиса для разрешения неочевидных конфликтов, когда выбор более специфической версии невозможен
p
Ну тут нечего смотреть. Если vector<bool> определен битово-сжатым, то нельзя сделать несжатый vector<bool>. Кроме того, специализация потребует специального синтаксиса для разрешения неочевидных конфликтов, когда выбор более специфической версии невозможен
Когда выбор более специфической невозможен - упасть с ошибкой
p
Раст любит падать на неочевидных местах
p
Так что норм
p
Это лучше чем ничего
CD
Когда выбор более специфической невозможен - упасть с ошибкой
Оно и так упадет с ошибкой, фишка в том, что ты должен как-то указать правильный ответ
В случае SFINAE это естественно - неправильная версия исключается условием, SFINAE изначально построен как условие на аргумент
В случае SFINAE это естественно - неправильная версия исключается условием, SFINAE изначально построен как условие на аргумент
ΑZ
Can't `as` cast Void to usize · Issue #75647 · rust-lang/rust · GitHub
https://github.com/rust-lang/rust/issues/75647
https://github.com/rust-lang/rust/issues/75647
ΑZ
вот кстати опять хуета
J
Эм, это суть программирования а не ООП. Суть ООП в том чтобы наебашить классов которые наследуются друг от друга чтобы никто не знал что происходит чтобы уменьшить связность программы.
Ну вообще-то нет. Вот ядро Линукса написано в процедурном стиле (не прослеживается четкой инкапсуляции данных и исполняемого кода в сущности с выделенным интерфейсом), хотя с нормальной декомпозицией.
https://medium.com/javascript-scene/the-forgotten-history-of-oop-88d71b9b2d9f
В исконном ООП ничего про наследование не упоминается
https://medium.com/javascript-scene/the-forgotten-history-of-oop-88d71b9b2d9f
В исконном ООП ничего про наследование не упоминается
ΑZ
кому нужен каст из необитаемого типа? А оч просто, потому что макросня не может чекнуть на то что энум необитаем
EG
Can't `as` cast Void to usize · Issue #75647 · rust-lang/rust · GitHub
https://github.com/rust-lang/rust/issues/75647
https://github.com/rust-lang/rust/issues/75647
А зачем?
EG
А, понял
CD
да, FelixArgyle11 прав, процедурный стиль порождает наименее связанные программы
J
ECS в играх - тоже пример ОО дизайна. Хотя там не всегда наследование есть
ΑZ
Оно и так упадет с ошибкой, фишка в том, что ты должен как-то указать правильный ответ
В случае SFINAE это естественно - неправильная версия исключается условием, SFINAE изначально построен как условие на аргумент
В случае SFINAE это естественно - неправильная версия исключается условием, SFINAE изначально построен как условие на аргумент
просто упадет с ошибкой "есть две реализации, не могу выбрать"