Класс (компьютерное программирование) - Class (computer programming) - Wikipedia

В объектно-ориентированного программирования, а учебный класс это расширяемый шаблон кода программы для создания объекты, предоставляя начальные значения для состояния (переменные-члены ) и реализации поведения (функции-члены или методы ).[1][2] Во многих языках имя класса используется как имя класса (сам шаблон), имя по умолчанию конструктор класса (a подпрограмма который создает объекты), и как тип объектов, созданных создание экземпляра класс; эти различные концепции легко объединить.[2]

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

В некоторых языках классы являются только функцией времени компиляции (новые классы не могут быть объявлены во время выполнения), тогда как в других языках классы являются первоклассные граждане, и, как правило, сами являются объектами (обычно типа Учебный класс или похожие). На этих языках класс, создающий классы, называется метакласс.

Класс против типа

При случайном использовании люди часто ссылаются на «класс» объекта, но в узком смысле объекты имеют тип: интерфейс, а именно типы переменных-членов, подписи функции-члены (методы) и свойства, которым они удовлетворяют. В то же время у класса есть реализация (в частности, реализация методов), и он может создавать объекты заданного типа с заданной реализацией.[3] С точки зрения теории типов, класс - это реализация‍ — ‌a конкретный структура данных и набор подпрограмм‍ - ‌ пока тип является интерфейс. Различные (конкретные) классы могут создавать объекты одного (абстрактного) типа (в зависимости от системы типов); например, тип Куча может быть реализован двумя классами - SmallStack (быстро для небольших стеков, но плохо масштабируется) и ScalableStack (хорошо масштабируется, но большие накладные расходы для небольших стеков). Точно так же у данного класса может быть несколько разных конструкторов.

Типы классов обычно представляют собой существительные, такие как человек, место, вещь или что-то еще. номинальный, а класс представляет их реализацию. Например, Банан тип может представлять свойства и функциональность бананы в общем, пока ABCBanana и XYZBanana классы будут представлять способы производства бананов (скажем, поставщиков бананов или структуры данных и функции для представления и рисования бананов в видеоигре). В ABCBanana класс мог бы затем производить определенные бананы: экземпляры ABCBanana класс будет объектами типа Банан. Часто дается только одна реализация типа, и в этом случае имя класса часто совпадает с именем типа.

Дизайн и реализация

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

Структура

UML обозначение классов

Класс содержит данные описания полей (или характеристики, поля, данные члены, или же атрибуты ). Обычно это типы и имена полей, которые будут связаны с переменными состояния во время выполнения программы; эти переменные состояния либо принадлежат классу, либо конкретным экземплярам класса. В большинстве языков структура, определяемая классом, определяет расположение памяти, используемой его экземплярами. Возможны и другие реализации: например, объекты в Python использовать ассоциативные контейнеры "ключ-значение".[5]

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

Поведение

Поведение класса или его экземпляров определяется с помощью методы. Методы подпрограммы с возможностью работать с объектами или классами. Эти операции могут изменить состояние объекта или просто предоставить способы доступа к нему.[6] Существует много видов методов, но их поддержка зависит от языка. Некоторые типы методов создаются и вызываются кодом программиста, тогда как другие специальные методы, такие как конструкторы, деструкторы и операторы преобразования, создаются и вызываются кодом, созданным компилятором. Язык также может позволить программисту определять и вызывать эти специальные методы.[7][8]

Концепция интерфейса класса

Каждый класс орудия (или же понимает) интерфейс, предоставляя структура и поведение. Структура состоит из данных и состояния, а поведение - из кода, который определяет, как реализуются методы.[9] Существует различие между определением интерфейса и реализацией этого интерфейса; однако эта грань размыта во многих языках программирования, поскольку объявления классов и определяют, и реализуют интерфейс. Однако некоторые языки предоставляют функции, разделяющие интерфейс и реализацию. Например, абстрактный класс может определять интерфейс без предоставления реализации.

Языки, поддерживающие наследование классов, также позволяют классам наследовать интерфейсы от классов, от которых они происходят.

Например, если «класс A» наследуется от «класса B» и если «класс B» реализует интерфейс «interface B», то «класс A» также наследует функциональность (объявление констант и методов), предоставляемую «интерфейсом B».

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

Методология объектно-ориентированного программирования требует, чтобы операции любого интерфейса класса были независимыми друг от друга. Это приводит к многоуровневой структуре, в которой клиенты интерфейса используют методы, объявленные в интерфейсе. Интерфейс не требует от клиентов вызывать операции одного интерфейса в каком-либо определенном порядке. Преимущество этого подхода состоит в том, что клиентский код может предполагать, что операции интерфейса доступны для использования всякий раз, когда клиент имеет доступ к объекту.[10][нужна цитата ]

Пример

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

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

Получение общего количества произведенных телевизоров может быть статический метод телевизионного класса. Этот метод явно связан с классом, но находится за пределами домена каждого отдельного экземпляра класса. Другой пример - статический метод, который находит конкретный экземпляр из набора всех телевизионных объектов.

Доступность для участников

Ниже приводится общий набор спецификаторы доступа:[11]

  • Частный (или же классный частный) ограничивает доступ к самому классу. Только методы, которые являются частью того же класса, могут получить доступ к закрытым членам.
  • Защищено (или же защищенный классом) позволяет самому классу и всем его подклассам получить доступ к члену.
  • Общественные означает, что любой код может получить доступ к члену по его имени.

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

Объектно-ориентированный дизайн использует спецификаторы доступа в сочетании с тщательным проектированием реализаций общедоступных методов для обеспечения инвариантов класса - ограничений на состояние объектов. Обычно спецификаторы доступа используются для отделения внутренних данных класса от его интерфейса: внутренняя структура становится частной, а общедоступной. методы доступа могут использоваться для проверки или изменения таких личных данных.

Спецификаторы доступа не обязательно контролируют видимость, в том, что даже частные члены могут быть видимы для внешнего кода клиента. В некоторых языках на недоступный, но видимый член можно ссылаться во время выполнения (например, с помощью указателя, возвращаемого функцией-членом), но попытка использовать его путем ссылки на имя члена из клиентского кода будет предотвращается проверкой типов.[12]

Различные объектно-ориентированные языки программирования обеспечивают доступность и видимость членов в различной степени и в зависимости от языка. система типов и политики компиляции, применяемые либо время компиляции или же время выполнения. Например, Ява язык не позволяет компилировать клиентский код, который обращается к закрытым данным класса.[13] в C ++ язык, частные методы видны, но не доступны в интерфейсе; однако их можно сделать невидимыми, явно объявив полностью абстрактные классы, представляющие интерфейсы класса.[14]

Некоторые языки имеют другие схемы доступности:

  • Доступность экземпляра и класса: Рубин поддерживает частный экземпляр и защищенный экземпляром спецификаторы доступа вместо class-private и class-protected соответственно. Они отличаются тем, что ограничивают доступ на основе самого экземпляра, а не класса экземпляра.[15]
  • Друг: C ++ поддерживает механизм, в котором функция явно объявляется как функция друга класса может иметь доступ к членам, обозначенным как частные или защищенные.[16]
  • На основе пути: Java поддерживает ограничение доступа к члену внутри Пакет Java, который является логическим путем к файлу. Однако распространенной практикой при расширении инфраструктуры Java является реализация классов в том же пакете, что и класс инфраструктуры, для доступа к защищенным членам. Исходный файл может существовать в совершенно другом месте и может быть развернут в другом файле .jar, но по-прежнему находится на том же логическом пути в отношении JVM.[11]

Межклассовые отношения

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

Композиционный

Классы могут состоять из других классов, тем самым устанавливая композиционные отношения между включающим классом и его встроенными классами. Композиционные отношения между классами также широко известны как имеет отношение.[17] Например, класс «Автомобиль» может состоять из класса «Двигатель» и содержать его. Следовательно, Автомобиль имеет Двигатель. Одним из аспектов композиции является включение, то есть вложение экземпляров компонентов экземпляром, который их имеет. Если охватывающий объект содержит экземпляры компонентов по значению, компоненты и их охватывающий объект имеют аналогичные продолжительность жизни. Если компоненты содержатся посредством ссылки, у них может не быть аналогичного срока службы.[18] Например, в Objective-C 2.0:

@интерфейс Машина : NSObject@свойство NSString *имя;@свойство Двигатель *двигатель@свойство NSArray *шины;@конец

Этот Машина учебный класс имеет экземпляр NSStringнить объект), Двигатель, и NSArray (объект массива).

Иерархический

Классы могут быть полученный из одного или нескольких существующих классов, тем самым устанавливая иерархические отношения между производными классами (базовые классы, родительские классы или же суперклассы) и производный класс (дочерний класс или же подкласс). Связь производного класса с производными классами обычно известна как это отношение.[19] Например, класс «Button» может быть производным от класса «Control». Следовательно, кнопка это Контроль. Структурные и поведенческие члены родительских классов унаследованный дочерним классом. Производные классы могут определять дополнительные структурные элементы (поля данных) и поведенческие члены (методы) в дополнение к тем, которые они наследовать и поэтому специализации своих суперклассов. Кроме того, производные классы могут отменять унаследованные методы, если язык позволяет.

Не все языки поддерживают множественное наследование. Например, Java позволяет классу реализовывать несколько интерфейсов, но наследовать только от одного класса.[20] Если разрешено множественное наследование, иерархия ориентированный ациклический граф (или DAG для краткости), иначе это дерево. Иерархия имеет классы как узлы и отношения наследования как связи. Классы одного уровня с большей вероятностью будут связанный чем классы на разных уровнях. Уровни этой иерархии называются слои или же уровни абстракции.

Пример (упрощенный код Objective-C 2.0 из iPhone SDK):

@интерфейс UIResponder : NSObject //...@интерфейс UIView : UIResponder //...@интерфейс UIScrollView : UIView //...@интерфейс UITableView : UIScrollView //...

В этом примере UITableView это UIScrollView это UIView это UIResponder является NSObject.

Определения подкласса

Концептуально суперкласс - это суперсет своих подклассов. Например, общая иерархия классов будет включать GraphicObject как суперкласс Прямоугольник и Эллипс, пока Квадрат будет подклассом Прямоугольник. Это все отношения подмножества в теории множеств, то есть все квадраты являются прямоугольниками, но не все прямоугольники являются квадратами.

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

В объектно-ориентированном моделировании такие отношения обычно моделируются как свойства объекта. В этом примере Машина класс будет иметь свойство, называемое части. части будет типизирован для хранения коллекции объектов, таких как экземпляры Тело, Двигатель, Шиныи др. языки моделирования объектов, такие как UML включают возможности моделирования различных аспектов «части» и других видов отношений - данных, таких как количество объектов, ограничения на входные и выходные значения и т. д. Эта информация может использоваться инструментами разработчика для генерации дополнительного кода помимо основного определения данных для объектов, например, проверка ошибок на получить и установить методы.[21]

Один важный вопрос при моделировании и реализации системы классов объектов - может ли класс иметь один или несколько суперклассов. В реальном мире с реальными наборами редко можно найти наборы, которые не пересекались бы более чем с одним другим набором. Однако, хотя некоторые системы, такие как Flavors и CLOS, предоставляют возможность более чем одному родителю делать это во время выполнения, вносят сложность, которую многие в объектно-ориентированном сообществе считают несовместимой с целями использования объектных классов в первую очередь. Понимание того, какой класс будет отвечать за обработку сообщения, может оказаться сложным при работе с более чем одним суперклассом. При неосторожном использовании эта функция может привести к той же сложности системы и классам двусмысленности, которые были разработаны, чтобы избежать.[22]

Большинство современных объектно-ориентированных языков, таких как Smalltalk и Java, требуют единственного наследования во время выполнения. Для этих языков множественное наследование может быть полезно для моделирования, но не для реализации.

Тем не мение, семантическая сеть объекты приложения имеют несколько суперклассов. Неустойчивый Интернет требует такого уровня гибкости и технологических стандартов, таких как Язык веб-онтологий (OWL) предназначены для его поддержки.

Аналогичная проблема заключается в том, можно ли изменить иерархию классов во время выполнения. Такие языки, как Flavors, CLOS и Smalltalk, поддерживают эту функцию как часть своих протоколы метаобъектов. Поскольку классы сами по себе являются первоклассными объектами, можно заставить их динамически изменять свою структуру, отправляя им соответствующие сообщения. Другие языки, которые больше ориентированы на строгую типизацию, такие как Java и C ++, не позволяют изменять иерархию классов во время выполнения. Объекты семантической сети могут изменять классы во время выполнения. Рациональность аналогична оправданию для разрешения нескольких суперклассов, что Интернет настолько динамичен и гибок, что для управления этой изменчивостью требуются динамические изменения иерархии.[23]

Ортогональность концепции класса и наследования

Хотя обычно предполагается, что языки на основе классов поддерживают наследование, наследование не является внутренним аспектом концепции классов. Некоторые языки, часто называемые "объектно-ориентированные языки ", классы поддержки пока не поддерживают наследование. Примеры объектно-ориентированных языков включают более ранние версии Visual Basic.

В рамках объектно-ориентированного анализа

В объектно-ориентированный анализ И в UML, ассоциация между двумя классами представляет собой сотрудничество между классами или их соответствующими экземплярами. У ассоциаций есть направление; например, двунаправленная ассоциация между двумя классами указывает, что оба класса знают о своих отношениях.[24] Ассоциации могут быть помечены в соответствии с их названием или целью.[25]

Роль ассоциации является концом ассоциации и описывает роль соответствующего класса. Например, роль «подписчик» описывает способ, которым экземпляры класса «Человек» участвуют в ассоциации «подписывается на» с классом «Журнал». Кроме того, «журнал» играет роль «журнала с подпиской» в той же ассоциации. Множественность ролей ассоциации описывает, сколько экземпляров соответствует каждому экземпляру другого класса ассоциации. Общие кратности: «0..1», «1..1», «1 .. *» и «0 .. *», где «*» указывает любое количество экземпляров.[24]

Таксономия классов

Есть много категорий классов, некоторые из которых пересекаются.

Абстрактное и конкретное

На языке, поддерживающем наследование, абстрактный класс, или же абстрактный базовый класс (ABC) - это класс, экземпляр которого невозможно создать, потому что он либо помечен как абстрактный, либо просто указывает абстрактные методы (или же виртуальные методы). Абстрактный класс может предоставлять реализации некоторых методов, а также может указывать виртуальные методы через подписи которые должны быть реализованы прямыми или косвенными потомками абстрактного класса. Прежде чем класс, производный от абстрактного класса, может быть создан, все абстрактные методы его родительских классов должны быть реализованы каким-либо классом в цепочке производных.[26]

Большинство объектно-ориентированных языков программирования позволяют программисту определять, какие классы считаются абстрактными, и не позволяют создавать их экземпляры. Например, в Ява, C # и PHP, ключевое слово Абстрактные используется.[27][28] В C ++, абстрактный класс - это класс, имеющий по крайней мере один абстрактный метод, заданный соответствующим синтаксисом на этом языке (чистая виртуальная функция на языке C ++).[26]

Класс, состоящий только из виртуальных методов, называется чистым абстрактным базовым классом (или Чистая азбука) в C ++ и также известен как интерфейс пользователями языка.[14] Другие языки, особенно Java и C #, поддерживают вариант абстрактных классов, называемый интерфейс с помощью ключевого слова на языке. На этих языках множественное наследование не допускается, но класс может реализовывать несколько интерфейсов. Такой класс может содержать только абстрактные общедоступные методы.[20][29][30]

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

Местные и внутренние

В некоторых языках классы могут быть объявлены в объемы кроме глобальной области видимости. Существуют разные виды таких занятий.

An внутренний класс - это класс, определенный в другом классе. Отношения между внутренним классом и содержащим его классом также можно рассматривать как другой тип ассоциации классов. Внутренний класс обычно не связан с экземплярами включающего класса и не создается вместе с его включающим классом. В зависимости от языка ссылка на класс из-за пределов включающего класса может быть невозможной. Связанная концепция внутренние типы, также известный как внутренний тип данных или же вложенный тип, который является обобщением концепции внутренних классов. C ++ является примером языка, который поддерживает как внутренние классы, так и внутренние типы (через typedef декларации).[31][32]

Другой тип - это местный класс, который является классом, определенным внутри процедуры или функции. Это ограничивает ссылки на имя класса в пределах области, в которой класс объявлен. В зависимости от семантических правил языка могут быть дополнительные ограничения на локальные классы по сравнению с нелокальными. Одно из распространенных ограничений - запретить методам локального класса доступ к локальным переменным включающей функции. Например, в C ++ локальный класс может ссылаться на статические переменные объявлен внутри его включающей функции, но может не иметь доступа к автоматическим переменным функции.[33]

Метаклассы

Метаклассы - это классы, экземпляры которых являются классами.[34] Метакласс описывает общую структуру коллекции классов и может реализовывать шаблон дизайна или описать определенные виды классов. Метаклассы часто используются для описания рамки.[35]

На некоторых языках, например Python, Рубин или же Болтовня, класс также является объектом; таким образом, каждый класс является экземпляром уникального метакласса, встроенного в язык.[5][36][37]В Общая объектная система Lisp (CLOS) обеспечивает протоколы метаобъектов (MOP) для реализации этих классов и метаклассов.[38]

Неклассифицированный

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

Неклассифицированный класс создается путем объявления класса как запечатанный в C # или как окончательный на Java или PHP.[39][40][41] Например, Java Нить класс обозначается как окончательный.[42]

Неклассифицированные классы могут позволить компилятору (на скомпилированных языках) выполнять оптимизацию, которая недоступна для подклассируемых классов. [43]

Открытый класс

Открытый класс - это тот, который можно изменить. Обычно исполняемая программа не могут быть изменены покупателями. Разработчики часто могут изменять некоторые классы, но обычно не могут изменять стандартные или встроенные. В Рубин, все занятия открыты. В Python классы могут быть созданы во время выполнения, и все они могут быть впоследствии изменены.[44] Категории Objective-C разрешить программисту добавлять методы к существующему классу без необходимости перекомпилировать этот класс или даже иметь доступ к его исходному коду.

Миксины

Некоторые языки имеют специальную поддержку миксины, хотя на любом языке с множественным наследованием примесь - это просто класс, не представляющий отношения типа «есть тип». Миксины обычно используются для добавления одних и тех же методов к нескольким классам; например, класс UnicodeConversionMixin может предоставить метод, называемый unicode_to_ascii при включении в классы FileReader и WebPageScraper у которых нет общего родителя.

Частичное

На языках, поддерживающих эту функцию, частичный класс это класс, определение которого может быть разделено на несколько частей в пределах одного исходный код файл или несколько файлов.[45] Части объединяются во время компиляции, что делает вывод компилятора таким же, как и для неполного класса.

Основная мотивация введения частичных классов - облегчить реализацию генераторы кода, Такие как визуальные дизайнеры.[45] В противном случае разработка генераторов кода, которые могут управлять сгенерированным кодом, когда он перемежается в коде, написанном разработчиком, является проблемой или компромиссом. Используя частичные классы, генератор кода может обрабатывать отдельный файл или крупнозернистый частичный класс внутри файла и, таким образом, избавляется от замысловатого вставки сгенерированного кода через обширный синтаксический анализ, повышая эффективность компилятора и устраняя потенциальный риск повреждения кода разработчика. В простой реализации частичных классов компилятор может выполнить этап предварительная компиляция где он «объединяет» все части частичного класса. Затем компиляция может продолжаться как обычно.

Другие преимущества и эффекты функции частичного класса включают:

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

Частичные классы существовали в Болтовня под именем Расширения класса в течение значительного времени. С приходом .NET framework 2, Microsoft введены частичные классы, поддерживаемые как в C # 2.0 и Visual Basic 2005. WinRT также поддерживает частичные классы.

Пример в VB.NET

Этот простой пример, написанный на Visual Basic .NET, показывает, как части одного и того же класса определены в двух разных файлах.

file1.vb
Частичное Учебный класс Мой класс    Частный _имя В качестве НитьКонец Учебный класс
file2.vb
Частичное Учебный класс Мой класс    Общественные Только чтение Свойство Имя() В качестве Нить         Получать             Возвращаться _имя         Конец Получать    Конец СвойствоКонец Учебный класс

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

Учебный класс Мой класс    Частный _имя В качестве Нить    Общественные Только чтение Свойство Имя() В качестве Нить         Получать             Возвращаться _имя         Конец Получать    Конец СвойствоКонец Учебный класс

Пример в Objective-C

В Цель-C, частичные классы, также известные как категории, может даже распространяться на несколько библиотек и исполняемых файлов, как в следующем примере. Но ключевое отличие состоит в том, что категории Objective-C могут перезаписывать определения в другом объявлении интерфейса, и что категории не равны определению исходного класса (для первого требуется последнее).[46] Вместо этого частичный класс .NET не может иметь противоречивых определений, и все частичные определения равны другим.[45]

В Foundation файл заголовка NSData.h:

@интерфейс NSData : NSObject- (я бы)initWithContentsOfURL:(NSURL *)URL;//...@конец

В пользовательской библиотеке, отдельный двоичный файл от платформы Foundation, файл заголовка NSData + base64.h:

#import @интерфейс NSData (base64)- (NSString *)base64String;- (я бы)initWithBase64String:(NSString *)base64String;@конец

А в приложении - еще один отдельный двоичный файл, файл с исходным кодом main.m:

#import #import "NSData + base64.h"int главный(int argc, char *argv[]){    если (argc < 2)        возвращаться EXIT_FAILURE;    NSString *sourceURLString = [NSString stringWithCString:argv[1]];    NSData *данные = [[NSData выделить] initWithContentsOfURL:[NSURL URLWithString:sourceURLString]];    NSLog(@"%@", [данные base64String]);    возвращаться EXIT_SUCCESS;}

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

Необоснованный

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

Например, в C # класс, помеченный как «статический», не может быть создан, может иметь только статические члены (поля, методы и т. Д.), Может не иметь конструкторы экземпляров, и является запечатанный.[47]

Безымянный

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

Преимущества

Преимущества организации программного обеспечения в классы объектов делятся на три категории:[48]

  • Быстрое развитие
  • Легкость обслуживания
  • Повторное использование кода и дизайна

Классы объектов способствуют быстрой разработке, поскольку они уменьшают семантический разрыв между кодом и пользователями. Системные аналитики могут разговаривать как с разработчиками, так и с пользователями, используя, по сути, один и тот же словарь, говоря об учетных записях, клиентах, счетах и ​​т. Д. Классы объектов часто облегчают быструю разработку, поскольку большинство объектно-ориентированных сред поставляются с мощными инструментами отладки и тестирования. Экземпляры классов можно проверять во время выполнения, чтобы убедиться, что система работает должным образом. Кроме того, вместо получения дампов основной памяти большинство объектно-ориентированных сред интерпретируют возможности отладки, чтобы разработчик мог точно проанализировать, где в программе произошла ошибка, и увидеть, какие методы были вызваны для каких аргументов и с какими аргументами.[49]

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

Повторное использование программного обеспечения также является основным преимуществом использования классов объектов. Классы облегчают повторное использование через наследование и интерфейсы. Когда требуется новое поведение, его часто можно достичь, создав новый класс и заставив этот класс унаследовать поведение и данные по умолчанию своего суперкласса, а затем соответствующим образом адаптировать некоторые аспекты поведения или данных. Повторное использование через интерфейсы (также известные как методы) происходит, когда другой объект хочет вызвать (а не создавать новый тип) некоторый класс объекта. Этот метод повторного использования устраняет многие распространенные ошибки, которые могут проникнуть в программное обеспечение, когда одна программа повторно использует код из другой.[50]

Представление во время выполнения

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

Например, если человек метаобъект представляя класс Person, тогда экземпляры класса Person могут быть созданы с использованием средств Human метаобъект.

Смотрите также

Примечания

  1. ^ Gamma et al. 1995 г., п. 14.
  2. ^ а б Брюс 2002, 2.1 Объекты, классы и типы объектов, https://books.google.com/books?id=9NGWq3K1RwUC&pg=PA18.
  3. ^ Gamma et al. 1995 г., п. 17.
  4. ^ Gamma et al. 1995 г., п. 14.
  5. ^ а б «3. Модель данных». Справочник по языку Python. Фонд программного обеспечения Python. Получено 2012-04-26.
  6. ^ Буч 1994, п. 86-88.
  7. ^ «Классы (I)». Учебник по языку C ++. cplusplus.com. Получено 2012-04-29.
  8. ^ «Классы (II)». Учебник по языку C ++. cplusplus.com. Получено 2012-04-29.
  9. ^ Буч 1994, п. 105.
  10. ^ Ямрич, Парсонс, июнь (2015-06-22). Новые перспективы компьютерных концепций, 2016. Комплексный. Бостон, Массачусетс. ISBN  9781305271616. OCLC  917155105.
  11. ^ а б «Контроль доступа к членам класса». Учебники по Java. Oracle. Получено 2012-04-19.
  12. ^ «OOP08-CPP. Не возвращать ссылки на личные данные». CERT C ++ Стандарт безопасного кодирования. Университет Карнеги Меллон. 2010-05-10. Архивировано из оригинал на 2015-10-03. Получено 2012-05-07.
  13. ^ Бен-Ари, Мордехай (24 января 2007 г.). «2.2 Идентификаторы» (PDF). Ошибки компиляции и выполнения в Java. Получено 2012-05-07.
  14. ^ а б Дикий, Фред. «Интерфейсы C ++». Доктора Добба. UBM Techweb. Получено 2012-05-02.
  15. ^ Томас; Охота. «Классы, объекты и переменные». Программирование на Ruby: прагматичное руководство программиста. Ruby-Doc.org. Получено 2012-04-26.
  16. ^ «Дружба и наследство». Учебник по языку C ++. cplusplus.com. Получено 2012-04-26.
  17. ^ Буч 1994, п. 180.
  18. ^ Буч 1994, п. 128-129.
  19. ^ Буч 1994, п. 112.
  20. ^ а б «Интерфейсы». Учебники по Java. Oracle. Получено 2012-05-01.
  21. ^ Берфельд, Мария (2 декабря 2008 г.). «Преобразование UML в Java в редакциях IBM Rational Software Architect и сопутствующем программном обеспечении». IBM. Получено 20 декабря 2013.
  22. ^ Якобсен, Ивар; Магнус Кристерсон; Патрик Йонссон; Гуннар Овергаард (1992). Объектно-ориентированная разработка программного обеспечения. Эддисон-Уэсли ACM Press. стр.43–69. ISBN  0-201-54435-0.
  23. ^ Knublauch, Holger; Оберле, Даниэль; Тетлоу, Фил; Уоллес, Эван (2006-03-09). «Учебник по семантической паутине для разработчиков объектно-ориентированного программного обеспечения». W3C. Получено 2008-07-30.
  24. ^ а б Белл, Дональд. «Основы UML: диаграмма классов». Разработчик Работы. IBM. Получено 2012-05-02.
  25. ^ Буч 1994, п. 179.
  26. ^ а б "Полиморфизм". Учебник по языку C ++. cplusplus.com. Получено 2012-05-02.
  27. ^ «Абстрактные методы и занятия». Учебники по Java. Oracle. Получено 2012-05-02.
  28. ^ «Классовая абстракция». Руководство по PHP. Группа PHP. Получено 2012-05-02.
  29. ^ «Интерфейсы (Руководство по программированию на C #)». Руководство по программированию на C #. Microsoft. Получено 2013-08-15.
  30. ^ «Наследование (Руководство по программированию на C #)». Руководство по программированию на C #. Microsoft. Получено 2012-05-02.
  31. ^ «Вложенные классы (только C ++)». XL C / C ++ V8.0 для AIX. IBM. Получено 2012-05-07.
  32. ^ «Имена локальных типов (только C ++)». XL C / C ++ V8.0 для AIX. IBM. Получено 2012-05-07.
  33. ^ «Локальные классы (только C ++)». XL C / C ++ V8.0 для AIX. IBM. Получено 2012-05-07.
  34. ^ Буч 1994, п. 133-134.
  35. ^ «13 классов и метаклассов». pharo.gforge.inria.fr. Получено 2016-10-31.
  36. ^ Томас; Охота. «Классы и объекты». Программирование на Ruby: прагматичное руководство программиста. Ruby-Doc.org. Получено 2012-05-08.
  37. ^ Буч 1994, п. 134.
  38. ^ «СС: Концепции». Протокол MetaObject Common Lisp Object System. Ассоциация пользователей Лиспа. Архивировано из оригинал на 2010-11-15. Получено 2012-05-08.
  39. ^ "запечатанный (Справочник по C #)". Справочник по C #. Microsoft. Получено 2012-05-08.
  40. ^ «Написание заключительных классов и методов». Учебники по Java. Oracle. Получено 2012-05-08.
  41. ^ "PHP: последнее ключевое слово". Руководство по PHP. Группа PHP. Получено 2014-08-21.
  42. ^ «Строка (Java Platform SE 7)». Платформа Java, Standard Edition 7: Спецификация API. Oracle. Получено 2012-05-08.
  43. ^ Бренд, Sy. «Преимущества заключительных классов». Блог команды Microsoft C ++. Microsoft. Получено 4 апреля 2020.
  44. ^ «9. Классы». Учебник по Python. Python.org. Получено 3 марта 2018. Как и в случае с модулями, классы обладают динамической природой Python: они создаются во время выполнения и могут быть изменены после создания.
  45. ^ а б c майрав; Билл Вагнер; tompratt-AQ (2015-09-19), «Частные классы и методы», Руководство по программированию на C #, Microsoft, получено 2018-08-08
  46. ^ Apple (17 сентября 2014 г.), «Настройка существующих классов», Программирование с Objective-C, Яблоко, получено 2018-08-08
  47. ^ «Статические классы и члены статических классов (Руководство по программированию на C #)». Руководство по программированию на C #. Microsoft. Получено 2012-05-08.
  48. ^ "Что такое объект?". oracle.com. Корпорация Oracle. Получено 13 декабря 2013.
  49. ^ Буч, Гради; Роберт А. Максимчук; Майкл В. Энгл; Бобби Дж. Янг, доктор философии; Джим Коналлен; Келли А. Хьюстон (30 апреля 2007 г.). Объектно-ориентированный анализ и дизайн с приложениями. Эддисон-Уэсли Профессионал. С. 1–28. ISBN  978-0-201-89551-3. Получено 20 декабря 2013. Есть фундаментальные ограничивающие факторы человеческого познания; we can address these constraints through the use of decomposition, abstraction, and hierarchy.
  50. ^ Якобсен, Ивар; Магнус Кристерсон; Патрик Йонссон; Гуннар Овергаард (1992). Объектно-ориентированная разработка программного обеспечения. Эддисон-Уэсли ACM Press. ISBN  0-201-54435-0.
  51. ^ "C++ International standard" (PDF). Рабочий проект стандарта языка программирования C ++. ISO/IEC JTC1/SC22 WG21. Получено 5 января 2020.

Рекомендации

дальнейшее чтение

внешняя ссылка