CD
Или ты так и не понял, что инкапсуляция это не про protected, а про метод в объекте
Size: a a a
2021 April 28
Т8
Блять, это вообще ни на что не влияет. Я про инкапсуляцию, а не про сокрытие
Т8
Пиздец, я ему заебался объяснять
TK
В определении нигде не сказано, что долже быть метод, метод должен быть в объекте, а объект должен быть экземпляром класса
[
Инкапсуляция это защита инвариантов
TK
Вот им я как раз заебался это объяснять
CD
Там сказано, что в капсуле должны быть данные и методы работы с ними
TK
Замени слово методы на функции, потому что методы - функции, которые можно вызывать через точку
TK
Не сказано, что капсула обязана поддерживать дин диспатч
CD
Если капсула не поддерживает динамический полиморфизм, метод находится вне капсулы
[
Метод - функция, которая неявно принимает параметр this
Ну или явно self, привет питону
Ну или явно self, привет питону
CD
Именно поэтому разграничения прав доступа недостаточно
TK
Без разницы, абсолютно. В одном случае vtable прицепом идёт к объекту. В другом можно прицепить самому, если нужно.
CD
Прицепить vtbl требует нарушить систему типов
TK
Прицепленный vtable нужен исключительно ради полиморфизма наследования
CD
Потому что vtbl требует обратного преобразования
TK
Box<dyn Trait> ничего не нарушает в системе типов
TK
Но не реализует наследование
CD
dyn Trait это команда генерации vtbl
CD
dyn Trait является в точности ООП интерфейсом