2.3.9 Эквивалентность типов

2.3.9 Эквивалентность типов

Два структурных типа являются различными даже когда они имеют одни и те же члены. Например:

struct s1 (* int a; *); struct s2 (* int a; *);

есть два разных типа, поэтому

s1 x; s2 y = x; // ошибка: несоответствие типов

Структурные типы отличны также от основных типов, поэтому

s1 x; int i = x; // ошибка: несоответствие типов

Однако существует механизм для описания нового имени для типа без введения нового типа. Описание с префиксом typedef описывает не новую переменную данного типа, а новое имя этого типа. Например:

typedef char* Pchar; Pchar p1, p2; char* p3 = p1;

Это может служить удобной сокращенной записью.

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг:

Преобразование типов

Из книги автора

Преобразование типов С++ представляет несколько синтаксических конструкций по приведению одного типа к другому. Заключение нужного типа результата в скобки и размещение его перед преобразуемым значением — это традиционный способ, унаследованный от С:const double Pi =


R.3.6.3 Имена типов

Из книги автора

R.3.6.3 Имена типов Основные и производные типы можно поименовать с помощью механизма typedef (§R.7.1.3), а семейство типов и функций можно задать и поименовать с помощью механизма шаблона типов


R.8.1 Имена типов

Из книги автора

R.8.1 Имена типов Имя типа необходимо указывать при задании операции явного преобразования типа или в качестве параметра в операциях sizeof или new. Для этого служит конструкция имя-типа, которая синтаксически эквивалентна описанию объекта или функции этого типа, в котором


R.14.3 Эквивалентность типов

Из книги автора

R.14.3 Эквивалентность типов Две конструкции шаблонное-имя-класса обозначают один и тот же класс, если в них совпадают имена шаблонов типа и значения указанных параметров. Например, в следующих описаниях x и y одного типа, который отличен от типа z:template‹class E, int size› class


Безопасность типов

Из книги автора

Безопасность типов Если вы лжете компилятору, он будет мстить. — Генри Спенсер (Henry Spencer) Всегда будут вещи, которые мы будем хотеть сказать в наших программах и которые трудно сформулировать на любом языке программирования. — Алан Перлис (Alan Perlis) Последней (не по


Члены типов

Из книги автора

Члены типов Теперь после рассмотрения всех типов, имеющих формальное определение в CTS, вы должны осознать, что большинство типов может иметь любое число членов. Формально член типа - это любой элемент множества {конструктор, деструктор (finalizer), статический конструктор,


Доступность типов

Из книги автора

Доступность типов Типы (классы, интерфейсы, структуры, перечни и делегаты) также могут использовать модификаторы доступности, но только public или internal. Когда вы создаете общедоступный тип (public), то гарантируете, что он будет доступным для других типов как в текущем


Преобразования типов

Из книги автора

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


4.14. Преобразования типов

Из книги автора

4.14. Преобразования типов Представим себе следующий оператор присваивания:int ival = 0;// обычно компилируется с предупреждениемival = 3.541 + 3;В результате ival получит значение 6. Вот что происходит: мы складываем литералы разных типов – 3.541 типа double и 3 типа int. C++ не может


8.7 Имена Типов

Из книги автора

8.7 Имена Типов Иногда (для неявного задания преобразования типов и в качестве параметра sizeof или new) нужно использовать имя тпа данных. Это выполняется при помощи «имени типа» которое по сути является описанием для объекта этого типа, в котором опущено имя объекта.имя_типа:


Переключатели типов

Из книги автора

Переключатели типов Как и раньше, отобразить мастер для выполнения поиска можно с помощью сочетания клавиш Windows+F (рис. 3.2). Обратите внимание на панель Показать только данного мастера. С ее помощью можно выполнить поиск среди файлов определенного расширения. Данная панель


Описание типов

Из книги автора

Описание типов Раздел описания типов начинается со служебного слова type, после которого следуют строки видаимя типа = тип; Например, type arr10 = array [1..10] of integer; myint = integer; pinteger = ^integer; IntFunc = function(x: integer): integer; Обычно описание используется для составных типов (статические массивы,


Обзор типов

Из книги автора

Обзор типов Типы в PascalABC.NET подразделяются на простые, строковые, структурированные, типы указателей, процедурные типы и классы.К простым относятся целые и вещественные типы, логический, символьный, перечислимый и диапазонный тип.К структурированным типам относятся


Эквивалентность и совместимость типов

Из книги автора

Эквивалентность и совместимость типов Совпадение типовГоворят, что типы T1 и T2 совпадают, если они имеют одно имя либо же определены в секции type в виде T1 = T2. Таким образом, в описаниях type IntArray = array [1..10] of integer; IntArrayCopy = IntArray; var a1: IntArray; a2: IntArrayCopy; b1,c1: array [1..15] of integer; b2: array [1..15]