Общая система типов CTS

Сентябрь 6, 2022

Главная
Алгебра
Общая система типов CTS

Содержание

2. CTS (общая система типов) CTS (общая система типов) представляет собой формальную спецификацию, в которой описано то,
3. Тип Объект Все объекты косвенно происходят от единого базового класса, определенного в составе CTS. Этот базовый
4. Значимые и ссылочные типы Концепция создания языка, где любая сущность является объектом, не нова. Если попытаться
5. Значимые типы Для значимого типа используется прямая адресация, значение хранит собственно данные, и память для них
6. Ссылочные типы Для ссылочного типа значение задает ссылку на область памяти в "куче", где расположен соответствующий
7. Иерархия типов
8. Встроенные типы Пример: bool IsTrue = false;
9. Встроенные типы Пример: int a = 123; long b,c,d;
10. Встроенные типы
11. Встроенные типы Пример: object a = 123;
12. Упаковка и распаковка Как же эти различные категории типов обеспечивают более эффективную работу системы? Это делается
13. Упаковка и распаковка Объект лишь тогда является объектом, когда это необходимо. int foo = 42; //
14. Тип Объект: открытые методы
15. Тип Объект: открытые методы
16. Тип Объект: защищенные методы
17. Тип Объект: защищенные методы
18. Приведение типов Приведение типов – это преобразование значения одного типа в значение другого типа.
19. Приведение типов Выделяют приведения типов: явные (англ. explicit); int num = 2147483647; long bigNum = num;
20. Приведение типов class Employee { } class ContractEmployee : Employee { } class CastExamplel { public
21. Приведение типов А вот такой код недопустим, так как компилятор не предоставляет неявное нисходящее приведение (downcast).
22. Приведение типов Вы не сможете выполнить нисходящее приведение объекта типа Employee к объекту типа ContractEmployee, поскольку
24. Скачать презентацию

Слайд 2

CTS (общая система типов)
CTS (общая система типов) представляет собой формальную

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

Слайд 3

Тип Объект
Все объекты косвенно происходят от единого базового класса, определенного в

составе CTS. Этот базовый класс — System.Object.

Слайд 4

Значимые и ссылочные типы
Концепция создания языка, где любая сущность является объектом,

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

Слайд 5

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

и память для них отводится, как правило, в стеке.

Слайд 6

Ссылочные типы
Для ссылочного типа значение задает ссылку на область памяти в

"куче", где расположен соответствующий объект.

Слайд 7

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

Слайд 8

Встроенные типы
Пример:
bool IsTrue = false;

Слайд 9

Встроенные типы
Пример:
int a = 123;
long b,c,d;

Слайд 10

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

Слайд 11

Встроенные типы
Пример:
object a = 123;

Слайд 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 ContractEmployee : Employee { }
class CastExamplel
{
public

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

Слайд 21

Приведение типов
А вот такой код недопустим, так как компилятор не предоставляет

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

Слайд 22

Приведение типов
Вы не сможете выполнить нисходящее приведение объекта типа Employee к

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

Общая система типов CTS

Содержание

CTS (общая система типов) CTS (общая система типов) представляет собой формальную

Тип ОбъектВсе объекты косвенно происходят от единого базового класса, определенного в

Значимые и ссылочные типыКонцепция создания языка, где любая сущность является объектом,

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

Ссылочные типыДля ссылочного типа значение задает ссылку на область памяти в

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

Встроенные типы Пример: bool IsTrue = false;

Встроенные типы Пример: int a = 123; long b,c,d;

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

Встроенные типы Пример: object a = 123;

Упаковка и распаковкаКак же эти различные категории типов обеспечивают более эффективную

Упаковка и распаковкаОбъект лишь тогда является объектом, когда это необходимо.int foo

Тип Объект: открытые методы

Тип Объект: открытые методы

Тип Объект: защищенные методы

Тип Объект: защищенные методы

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

Приведение типовВыделяют приведения типов:явные (англ. explicit);int num = 2147483647; long bigNum =

Приведение типовclass Employee { } class ContractEmployee : Employee { }class CastExamplel{public

Приведение типовА вот такой код недопустим, так как компилятор не предоставляет

Приведение типовВы не сможете выполнить нисходящее приведение объекта типа Employee к

Похожие презентации

CTS (общая система типов)
CTS (общая система типов) представляет собой формальную

Тип Объект
Все объекты косвенно происходят от единого базового класса, определенного в

Значимые и ссылочные типы
Концепция создания языка, где любая сущность является объектом,

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

Ссылочные типы
Для ссылочного типа значение задает ссылку на область памяти в

Встроенные типы
Пример:
bool IsTrue = false;

Встроенные типы
Пример:
int a = 123;
long b,c,d;

Встроенные типы
Пример:
object a = 123;

Упаковка и распаковка
Как же эти различные категории типов обеспечивают более эффективную

Упаковка и распаковка
Объект лишь тогда является объектом, когда это необходимо.
int foo

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

Приведение типов
Выделяют приведения типов:
явные (англ. explicit);
int num = 2147483647;
long bigNum =

Приведение типов
class Employee { }
class ContractEmployee : Employee { }
class CastExamplel
{
public

Приведение типов
А вот такой код недопустим, так как компилятор не предоставляет

Приведение типов
Вы не сможете выполнить нисходящее приведение объекта типа Employee к