Сейчас поговорим об основах всего программирования, а точнее о типах данных или объектах. Об этом вам никто в мире не расскажет, а поэтому я вынужден писать эту статью еще и поэтому. Возьмем для наглядности эту картинку из "официальной" документации по любому языку программирования. И уже с первой строки мы видим ДИЧ , которая дезинформирует человекообразных существ, но они этого не понимают в упор! Итак, читаем: "В объектно-ориентированных языках программирования..." и пошло и поехало... Все типы...
В далёком 1987 году Барбара Лисков сформулировала принцип разработки имени себя. Liskov Substitution Principle Он позволяет понять правильно вы написали полиморфный код или нет. Но прежде чем его сформулировать нам надо разобраться с некоторыми понятиями, которые входят в определение.. Далее вы можете посмотреть видео запись или же прочитать текстовую его расшифровку.. Отношение "супертип-подтип" Все данные в нашей программе принадлежат тому или иному типу. Тип определяет множество возможных значений и их семантику...