Базовый CS с нуля
Абстракция: тест с выбором ответа
Суть Тест с выбором на синтез по всему юниту — interface против implementation, encapsulation, границы module, namespacing и почему любая нетривиальная abstraction протекает.
Высота — путь к senior
НольJuniorMiddleSenior
Ты на middle-высоте — в небеШесть вопросов поперёк всего юнита. Каждый — решение, которое принимает работающий программист: не определение для заучивания, а граница между тем, что abstraction обещает, и тем, что она реально прячет.
Цель
Убедись, что связываешь четыре идеи, к которым вёл юнит — interface против implementation, encapsulation внутри связки, границу module и namespacing, а также компромисс протекающей abstraction — и применяешь их к коду, который ещё не видел.
Викторина
Completed
Команда переписывает тело add(a, b), чтобы считать сумму быстрее. Имя, два входа и возвращаемая сумма остаются те же. Сколько из сотен мест вызова надо изменить и почему?
Heads-up Вызывающие зависят от interface, а не от тела. Пока имя, входы и результат те же, тело можно переписать целиком, и ни один вызов не меняется ни на символ.
Heads-up Вызывающие вообще не могут читать локальные переменные функции — это часть скрытой implementation. Снаружи от них ничто не зависит, обновлять нечего.
Heads-up Переписывать тело — именно то, что abstraction делает безопасным. Ноль правок — из-за фиксированного interface, а не из-за запрета трогать тело.
Викторина
Completed
Объект-счётчик связывает поле данных count с методами increment() и value(). Что на самом деле даёт здесь encapsulation?
Heads-up Encapsulation — про то, что открыто, а что скрыто, а не про скорость. Метод — это просто функция, хранимая как поле; связка меняет видимость и сопровождаемость, а не скорость выполнения.
Heads-up Это противоположность encapsulation. Весь смысл в том, что вызывающие используют методы и никогда не называют поле данных, так что раскладка остаётся скрытой и заменяемой.
Heads-up count всё ещё существует и держит состояние — методы читают и пишут его через this. Encapsulation прячет поле от внешнего кода, но не удаляет его.
Викторина
Completed
Module определяет шесть имён и помечает два как exports. Внешний код пытается вызвать одно из четырёх неэкспортированных имён напрямую. Что происходит и почему границу стоило сделать принудительной?
Heads-up По умолчанию имена module приватны — видны только внутри него. Через границу проходят только два экспортированных имени; остальные четыре снаружи назвать нельзя вовсе.
Heads-up Приватность не зависит от того, хранит ли имя функцию или значение. Любое имя без пометки export невидимо через границу — функция оно или нет.
Heads-up Падает потому, что имена приватны, а не из-за совпадения. Даже без единого столкновения имён неэкспортированное имя нельзя достать снаружи.
Викторина
Completed
Большой программе нужны две функции, обе разумно названные format — одна для дат, другая для валюты. Почему помещение каждой в свой module не даёт им столкнуться?
Heads-up Ничто молча не переименовывается. Имена остаются format в каждом module; они не сталкиваются, потому что к каждому обращаются через имя своего module, дающее отдельный дом.
Heads-up Обе могут существовать одновременно. Namespacing — ровно то, что позволяет одинаковым коротким именам сосуществовать: каждый module — свежее пространство, удалять ничего не надо.
Heads-up Module держит две функции полностью раздельно; код не сливается. Граница плюс ручка module — вот что разводит два имени format.
Викторина
Completed
Abstraction вызова функции отлично работает тысячи обычных вызовов, затем безудержная рекурсия падает с ошибкой stack overflow, называющей кадры стека. Как прочитать это через юнит?
Heads-up Она верно работала тысячи вызовов — это реальная польза. Закон протекающих абстракций гласит: любая нетривиальная abstraction в какой-то мере протекает; протечка не делает её бесполезной.
Heads-up Ни одна abstraction над реальной машиной не является непротекающей. Время, память и конечный стек — реальные свойства нижнего слоя, которые ни один верхний interface не спрячет полностью.
Heads-up Он прятал стек для каждого обычного вызова — ты писал f() тысячи раз, не думая о кадрах. Он проступил только когда нижний слой упал, а это и есть протечка.
Викторина
Completed
Раз любая нетривиальная abstraction протекает, коллега заключает: можно перестать учить слои под теми, в которых работаешь. Что не так с этим выводом?
Heads-up Нижний слой всё ещё работает и может протечь. Abstraction убирает деталь из внимания, пока всё работает; она не освобождает от понимания слоя на случай поломки.
Heads-up Протечки не экзотика — они проступают всякий раз, когда нижний слой падает или тормозит, а это в реальных системах рутина. Именно поэтому нижние слои надо учить.
Heads-up Abstraction — про управление сложностью, тем, что держишь в голове, а не про скорость. Изъян вывода в том, что любой слой может протечь, поэтому ни один нельзя безопасно игнорировать навсегда.
Итог
Сквозная нить юнита — одна цепочка: abstraction — это фиксированный interface над скрытой, заменяемой implementation; связка применяет это к данным плюс операциям над ними и зовёт сокрытие encapsulation; module применяет это к целой группе кода с принудительной границей и namespacing, так что приватная деталь остаётся недосягаемой, а короткие имена перестают сталкиваться; а укладка этих слоёв — то, как управляют сложностью. Цена — протечка: любая нетривиальная abstraction проступает нижним слоем, когда тот падает или тормозит, поэтому interface используют ради рассуждения, что он даёт, и всё равно учат машинерию под ним.