Хорошие причины запретить наследование в Java?

Question

Каковы веские причины для запрета наследования в Java, например, с использованием конечных классов или классов с использованием одного частного конструктора без параметров? Каковы веские причины сделать метод окончательным?

Answer 1

Ваша лучшая ссылка здесь - это пункт 19 превосходной книги Джошуа Блоха «Эффективная Java» под названием «Дизайн и документ для наследования, или же запретить его». (Это пункт 17 во втором издании и пункт 15 в первом издании.) Вы действительно должны прочитать его, но я подведу итоги.

Взаимодействие унаследованных классов с их родителями может быть удивительным и непредсказуемым, если предок не был предназначен для наследования.

Классы должны быть двух видов:

<Ол>

Классы предназначены для расширенного и достаточного количества документации, чтобы описать, как это должно быть сделано

Классы отмечены как финальные

Если вы пишете чисто внутренний код, это может быть немного излишним. Однако дополнительные усилия по добавлению пяти символов в файл класса очень малы. Если вы пишете только для внутреннего потребления, будущий кодер всегда может удалить «финал» - вы можете думать об этом как о предупреждении «этот класс не был разработан с учетом наследования».

Answer 2

Возможно, вы захотите сделать метод final, чтобы переопределенные классы не могли изменить поведение, на которое рассчитывают другие методы. Методы, вызываемые в конструкторах, часто объявляются как final, поэтому при создании объектов вы не получите неприятных сюрпризов.

Answer 3

Одна из причин сделать класс окончательным - это если вы хотите навязать композицию наследованию. Это обычно желательно во избежание тесной связи между классами.

Answer 4

В трех вариантах использования вы можете использовать финальные методы.

<Ол>

Во избежание переопределения производного класса определенной функциональности базового класса.

Это сделано в целях безопасности, когда базовый класс предоставляет некоторые важные базовые функциональные возможности платформы, где производный класс не должен ее изменять.

Финальные методы работают быстрее, чем методы экземпляра, так как для финальных и закрытых методов концепция виртуальной таблицы не используется Поэтому, когда есть возможность, попробуйте использовать финальные методы.

Цель сделать выпускной класс:

Чтобы никто не смог расширить эти классы и изменить их поведение.

Например: класс Wrapper Integer является конечным классом. Если этот класс не является окончательным, то любой может расширить Integer в свой собственный класс и изменить базовое поведение целочисленного класса. Чтобы избежать этого, java сделал все классы-оболочки финальными классами.

Answer 5

вы можете создавать неизменяемые объекты ( http://en.wikipedia.org/wiki/Immutable_object ), вы можете создать синглтон ( http://en.wikipedia.org/wiki/ Singleton_pattern ), или вы можете запретить кому-либо переопределять метод по соображениям эффективности, безопасности или безопасности.

Answer 6

Наследование похоже на бензопилу - очень мощное, но ужасное в чужих руках. Либо вы разрабатываете класс для наследования (что может ограничить гибкость и занять больше времени), либо вы должны запретить его.

См. пункты «Эффективная Java 2-е издание» 16 и 17 или мой пост в блоге " ; Налог на наследство " .

Answer 7

Хммм ... я могу думать о двух вещах:

У вас может быть класс, который занимается определенными проблемами безопасности. Подклассифицируя его и передавая его системе подклассовую версию, злоумышленник может обойти ограничения безопасности. Например. Ваше приложение может поддерживать плагины, и если плагин может просто подклассить ваши классы, относящиеся к безопасности, он может использовать этот трюк, чтобы каким-то образом перебросить его подклассовую версию на место. Однако Sun, скорее, имеет дело с апплетами и т. П., Возможно, это не совсем реалистичный случай.

Гораздо более реалистичным является избегать изменения объекта. Например. поскольку строки неизменяемы, ваш код может безопасно хранить ссылки на него

 String blah = someOtherString;

вместо копирования строки в первую очередь. Однако, если вы можете создать подкласс String, вы можете добавить к нему методы, позволяющие изменять строковое значение, и теперь ни один код не может больше полагаться на то, что строка останется такой же, если она просто скопирует строку, как указано выше, вместо этого она должна дублировать строка.

Answer 8

Чтобы люди не могли делать то, что могло бы сбить их с толку и окружающих. Представьте себе физическую библиотеку, в которой у вас есть определенные константы или расчеты. Без использования ключевого слова final кто-то может прийти и переопределить базовые вычисления или константы, которые НИКОГДА не должны меняться.

Answer 9

Кроме того, если вы пишете коммерческий класс с закрытыми исходными кодами, вы, возможно, не захотите, чтобы люди могли изменять функциональность в прямом эфире, особенно если вам нужна его поддержка, и люди отвергли ваш метод и жалуются на то, что вызов этого дает неожиданные результаты.

Answer 10

Если вы пометите классы и методы как окончательные, вы можете заметить небольшой выигрыш в производительности, поскольку среда выполнения не должна искать правильный метод класса для вызова данного объекта. Нефинальные методы помечаются как виртуальные, чтобы при необходимости их можно было расширять, а финальные методы можно напрямую связать или скомпилировать в классе.

Answer 11

Вы хотите сделать метод финальным, чтобы переопределенные классы не изменили его поведение. Если вы хотите изменить поведение, сделайте метод общедоступным. Когда вы переопределяете публичный метод, его можно изменить.