Общая система типов CTS - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Общая система типов CTS. Доклад-сообщение содержит 23 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Общая система типов CTS KtЛекция №3

Слайд 2

Описание слайда:

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

Слайд 3

Описание слайда:

Тип Объект Все объекты косвенно происходят от единого базового класса, определенного в составе CTS. Этот базовый класс — System.Object.

Слайд 4

Описание слайда:

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

Слайд 5

Описание слайда:

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

Слайд 6

Описание слайда:

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

Слайд 7

Описание слайда:

Иерархия типов

Слайд 8

Описание слайда:

Встроенные типы

Слайд 9

Описание слайда:

Встроенные типы

Слайд 10

Описание слайда:

Встроенные типы

Слайд 11

Описание слайда:

Встроенные типы

Слайд 12

Описание слайда:

Упаковка и распаковка Как же эти различные категории типов обеспечивают более эффективную работу системы? Это делается с помощью упаковки (boxing). В простейшем случае при упаковке размерный тип преобразуется в ссылочный. В обратном случае ссылочный тип распаковывается (unbox) в размерный.

Слайд 13

Описание слайда:

Упаковка и распаковка Объект лишь тогда является объектом, когда это необходимо. int foo = 42; // Размерный тип. object bar = foo; // Переменная foo упакована в bar. А теперь выполним явное приведение типов, чтобы преобразовать bar обратно в размерный тип: int foo = 42; // Размерный тип. object bar = foo; // Переменная foo упакована в bar. int foo2 = (int) bar; // Распаковка и приведение к типу int.

Слайд 14

Описание слайда:

Слайд 15

Описание слайда:

Слайд 16

Описание слайда:

Слайд 17

Описание слайда:

Слайд 18

Описание слайда:

Приведение типов – это преобразование значения одного типа в значение другого типа. Приведение типов – это преобразование значения одного типа в значение другого типа.

Слайд 19

Описание слайда:

Выделяют приведения типов: Выделяют приведения типов: явные (англ. explicit); int num = 2147483647; long bigNum = num; неявные (англ. implicit). double x = 1234.7; int a; a = (int)x; // a = 1234

Слайд 20

Описание слайда:

class Employee { } class Employee { } class ContractEmployee : Employee { } class CastExamplel { public static void Main () { Employee e = new ContractEmployee(); } } Этот код будет работать, поскольку всегда подразумевается восходящее приведение (upcast) производного класса к его базовому классу.

Слайд 21

Описание слайда:

А вот такой код недопустим, так как компилятор не предоставляет неявное нисходящее приведение (downcast). А вот такой код недопустим, так как компилятор не предоставляет неявное нисходящее приведение (downcast). … class CastExample2 { public static void Main () { ContractEmployee ce = new Employee (); // He будет // компилироваться. } }

Слайд 22

Описание слайда:

Вы не сможете выполнить нисходящее приведение объекта типа Employee к объекту типа ContractEmployee, поскольку нет гарантии, что этот объект поддерживает интерфейс, определенный классом ContractEmployee. Поэтому в случае нисходящего приведения используется явное приведение: Вы не сможете выполнить нисходящее приведение объекта типа Employee к объекту типа ContractEmployee, поскольку нет гарантии, что этот объект поддерживает интерфейс, определенный классом ContractEmployee. Поэтому в случае нисходящего приведения используется явное приведение: ... class CastExampleS { public static void Main () {// Нисходящее приведение не сработает. ContractEmployee ce = (ContractEmployee)new Employee(); }}

Слайд 23

Описание слайда:

А давайте обманем CTS путем явного приведения базового класса к производному: А давайте обманем CTS путем явного приведения базового класса к производному: … class CastExample4 { public static void Main () { Employee e = new Employee (); ContractEmployee с = (ContractEmployee)e; } } Эта программа компилируется, но генерирует исключение периода выполнения.