Мы работаем над восстановлением приложения Unionpedia в Google Play Store
ИсходящиеВходящий
🌟Мы упростили наш дизайн для улучшения навигации!
Instagram Facebook X LinkedIn

Понижающее приведение

Индекс Понижающее приведение

В объектно-ориентированном программировании понижающее приведение (downcasting.) или «уточнение типа» (type refinement) — акт приведения типа, ссылающегося на базовый класс, к одному из его производных классов.

Содержание

  1. 9 отношения: Java, OCaml, Приведение типа, Принцип подстановки Барбары Лисков, Полиморфизм (информатика), Объектно-ориентированное программирование, Язык программирования, Высший тип, Динамическая идентификация типа данных.

Java

JavaПроизносится на английском как, в русском языке встречаются транслитерации «Джава» и «Ява», правообладатели торговой марки предпочитают первую транслитерацию.

Посмотреть Понижающее приведение и Java

OCaml

OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.

Посмотреть Понижающее приведение и OCaml

Приведение типа

Приведе́ние (преобразование) ти́па (type conversion, typecasting, coercion) — в информатике преобразование значения одного типа в значение другого типа.

Посмотреть Понижающее приведение и Приведение типа

Принцип подстановки Барбары Лисков

Принцип подстановки Барбары Лисков (Liskov Substitution Principle, LSP) в объектно-ориентированном программировании является специфичным определением подтипа, предложенным Барбарой Лисков в 1987 году на конференции в основном докладе под названием Абстракция данных и иерархия.

Посмотреть Понижающее приведение и Принцип подстановки Барбары Лисков

Полиморфизм (информатика)

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

Посмотреть Понижающее приведение и Полиморфизм (информатика)

Объектно-ориентированное программирование

Объе́ктно-ориенти́рованное программи́рование (ООП) — методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является экземпляром определённого класса, а классы образуют иерархию наследования.

Посмотреть Понижающее приведение и Объектно-ориентированное программирование

Язык программирования

Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.

Посмотреть Понижающее приведение и Язык программирования

Высший тип

Высший тип (top type) в теории типов, часто обозначаемый как просто вершина или «закрепленным» символом (⊤), — универсальный тип, то есть такой тип, который содержит в себе каждый возможный объект в нужной системе типов.

Посмотреть Понижающее приведение и Высший тип

Динамическая идентификация типа данных

Динамическая идентификация типа данных (run-time type information, run-time type identification, RTTI) — механизм в некоторых языках программирования, который позволяет определить тип данных переменной или объекта во время выполнения программы.

Посмотреть Понижающее приведение и Динамическая идентификация типа данных