В этом разделе описаны все ошибки, которые могут случиться при проверке типов.
|
Сообщение |
Описание |
|---|---|
|
Error: Type mismatch |
Это может произойти во многих случаях: •Назначенная вами переменная отличается от типа, который используется в выражении •Вы вызываете функцию или процедуру с параметрами, которые несовместимы с параметрами в объявлении функции или процедуры |
|
Error: Incompatible types: got «Сообщ1» expected «Сообщ2» |
Невозможно преобразование между двумя типами. Ещё одна причина – типы объявлены в разных объявлениях: Var A1 : Array[1..10] Of Integer; |
|
Error: Type mismatch between «Сообщ1» and «Сообщ2» |
Типы не являются эквивалентными. |
|
Error: Type identifier expected |
Идентификатор не является типом, или вы забыли указать идентификатор type. |
|
Error: Variable identifier expected |
Это случается, если вы помещаете константу в процедуру (такую как Inc или Dec), в то время как процедура требует переменной. Для таких процедур в качестве параметров можно помещать только переменные. |
|
Error: Integer expression expected, but got «Сообщение» |
Компилятор ожидает выражения типа integer, но получает другой тип. |
|
Error: Boolean expression expected, but got «Сообщение» |
Выражение должно быть типа boolean. Оно должно возвращать True или False. |
|
Error: Ordinal expression expected |
Выражение должно быть порядкового типа, то есть максимум типа Longint. Эта ошибка случается, например, если вы указали второй параметр процедуры Inc или Dec, который не соответствует порядковому типу. |
|
Error: pointer type expected, but got «Сообщение» |
Переменная или выражения не являются указателем. Это случается, если вы помещаете переменную, которая не является указателем, в New или Dispose. |
|
Error: class type expected, but got «Сообщение» |
Переменная или выражение не являются типом class. Это обычно случается, если 1.Родительский класс в объявлении класса не является классом 2.Обработчик исключения (On) cсодержит идентификатор типа, который не является классом. |
|
Error: Can’t evaluate constant expression |
Эта ошибка может случиться, если границы объявленного вами массива не обозначены порядковыми константами. |
|
Error: Set elements are not compatible |
Вы пытаетесь выполнить операцию с двумя множествами, в то время как типы элементов этих множеств не являются одинаковыми. Базовые типы множеств должны быть одинаковыми при объединении. |
|
Error: Operation not implemented for sets |
Некоторые бинарные операторы не определены для множеств. Это операторы: div, mod, **, >= и <=. Последние два могут быть определены для множеств в будущих версиях. |
|
Warning: Automatic type conversion from floating type to COMP which is an integer type |
Обнаружено явное преобразование типов из real в comp. s encountered. Поскольку comp – это 64-битное целое число, то это может вызвать ошибку. |
|
Hint: use DIV instead to get an integer result |
Если подсказки включены, то целочисленное деление с оператором ‘/‘ приведёт к этому сообщению, потому что результатом будет вещественный тип. |
|
Error: string types doesn’t match, because of $V+ mode |
Если выполняется компиляция в режиме {$V+}, то строка, передаваемая вами в качестве параметра, должна быть точно такого же типа, как параметр процедуры. |
|
Error: succ or pred on enums with assignments not possible |
Если вы объявили перечисляемый тип в стиле С, например, так: Tenum = (a,b,e:=5); То вы не сможете использовать функции Succ или Pred с этим перечислением. |
|
Error: Can’t read or write variables of this type |
Вы пытаетесь прочитать или записать переменную из файла или в файл текстового типа, который не поддерживает тип переменной. Только целочисленные типы, вещественные, pchars и strings можно читать из файла или записывать в текстовый файл. Логические переменные можно только записывать в текстовый файл. |
|
Error: Can’t use readln or writeln on typed file |
readln и writeln можно использовать только с текстовыми файлами. |
|
Error: Can’t use read or write on untyped file. |
read и write допускаются только для текстовых или типизированных файлов. |
|
Error: Type conflict between set elements |
Это означает, что не менее одного элемента множества имеют неправильный тип. |
|
Warning: lo/hi(dword/qword) returns the upper/lower word/dword |
Free Pascal поддерживает перегруженную версию lo/hi для longint/dword/int64/qword, которые возвращают наименьшее/наибольшее (результат типа слово/двойное слово) значение аргумента. Turbo Pascal позволяет использовать 16-битные lo/hi, которые возвращают биты 0..7 для lo и биты 8..15 для hi. Если вы хотите получить поведение, аналогичное Turbo Pascal, вы должны использовать приведение типов к word или integer. |
|
Error: Integer or real expression expected |
Первый аргумент для str должен быть типа real или integer. |
|
Error: Wrong type «Сообщение» in array constructor |
Вы пытаетесь использовать тип в конструкторе массива, который недопустим. |
|
Error: Incompatible type for arg no. Сообщ1: Got «Сообщ2», expected «Сообщ3» |
Вы пытаетесь передать неправильный тип в указанный параметр. |
|
Error: Method (variable) and Procedure (variable) are not compatible |
Вы не можете связать метод с процедурной переменной или процедуру с указателем на метод. |
|
Error: Illegal constant passed to internal math function |
Аргумент-константа, переданный в функцию ln или sqrt выходит за пределы диапазона для этой функции. |
|
Error: Can’t take the address of constant expressions |
Невозможно получить адрес выражения-константы, потому что оно не записывается в память. Вы можете попробовать сделать типизированную константу. Эта ошибка может также появиться, если вы пытаетесь поместить свойство в параметр var. |
|
Error: Argument can’t be assigned to |
Только выражение, которое может быть в левой части присваивания, может быть передано как вызов по ссылке аргумента. Примечание: Свойства могут использоваться в левой части присваивания, тем не менее, они не могут использоваться как аргументы. |
|
Error: Can’t assign local procedure/function to procedure variable |
Не допускается присваивать локальные процедуры/функции процедурным переменным, потому что соглашение о вызовах локальных процедур/функций отличаются. Вы можете только присвоить локальную процедуру/функцию пустому указателю. |
|
Error: Can’t assign values to an address |
Не допускается присваивать значение адресу переменной, константы, процедуры или функции. Вы можете попытаться выполнить компиляцию с опцией -So, если идентификатор является процедурной переменной. |
|
Error: Can’t assign values to const variable |
Не допускается присваивать значение переменной, которая объявлена как константа. Обычно параметр объявляется как константа. Чтобы иметь возможность изменять значение, передавайте параметр по значению или параметр по ссылке (используя var). |
|
Error: Array type required |
Если вы хотите получить доступ к переменной, используя индекс ‘[<x>]‘, то тип должен быть массивом. В режиме FPC указатель также допускается. |
|
Error: interface type expected, but got «»Сообщение» |
Компилятор ожидал для нумератора имя типа интерфейса, но получил нечто другое. Следующий код приведёт к этой ошибке: Type |
|
Hint: Mixing signed expressions and longwords gives a 64bit result |
Если вы делите (или вычисляете модуль) выражения со знаком с типом longword (или наоборот), или если вы имеете переполнение и/или включена проверка диапазона и используется арифметическое выражение (+, -, *, div, mod), в котором оба числа со знаком и появляется longwords, то всё это вычисляется как 64-битная арифметическая операция, которая медленнее, чем обычная 32-битная. Вы можете избежать этого при помощи преобразования типа одного из операндов в подходящий для результата и другого операнда. |
|
Warning: Mixing signed expressions and cardinals here may cause a range check error |
Если вы используете бинарный оператор (and, or, xor) и один из операндов — это longword, в то время как другой – это выражение со знаком, то, если проверка диапазона включена, вы можете получить ошибку проверки диапазона, потому что в этом случае оба операнда преобразуются в longword перед выполнением операции. Вы можете избежать этого при помощи преобразования типа одного из операндов в подходящий для результата и другого операнда. |
|
Error: Typecast has different size (Сообщ1 -> Сообщ2) in assignment |
Преобразование типа при отличающихся размерах не допускается, когда переменная используется в присваивании. |
|
Error: enums with assignments can’t be used as array index |
Если вы объявили перечисляемый тип, который имеет С-подобные присваивания, как показано ниже: Tenum = (a,b,e:=5); Вы не можете использовать его как индекс массива. |
|
Error: Class or Object types «Сообщ1» and «Сообщ2» are not related |
Выборка из одного класса в другой, в то время как класс/объект не являются связанными. Вероятно, это ошибка ввода. |
|
Warning: Class types «arg1» and «arg2» are not related |
Выборка из одного класса в другой, в то время как класс/объект не являются связанными. Вероятно, это ошибка ввода. |
|
Error: Class or interface type expected, but got «arg1» |
Компилятор ожидал имя класса или интерфейса, но получил другой тип или идентификатор. |
|
Error: Type «Сообщение» is not completely defined |
Эта ошибка случается, если тип не завершён, например, тип pointer, который указывает на неопределённый тип. |
|
Warning: String literal has more characters than short string length |
Размер строки-константы, которая связана с shortstring, больше максимального размера для shortstring (255 символов). |
|
Warning: Comparison is always false due to range of values |
Это сравнение беззнакового значения и константы со знаком, которая меньше нуля. По причине преобразования оператор всегда будет возвращать FALSE. Выполните явное преобразование константы в правильный диапазон, чтобы избежать этой проблемы. |
|
Warning: Comparison is always true due to range of values |
Это сравнение беззнакового значения и константы со знаком, которая меньше нуля. По причине преобразования оператор всегда будет возвращать TRUE. Выполните явное преобразование константы в правильный диапазон, чтобы избежать этой проблемы. |
|
Warning: Constructing a class «Сообщ1» with abstract method «Сообщ2» |
Например, создаваемый класс содержит неисполняемые абстрактные методы. Имеется вероятность, что случится ошибка времени исполнения 211 в коде, если эта процедура будет когда-либо вызвана. Все абстрактные методы должны быть перегружаемыми. |
|
Hint: The left operand of the IN operator should be byte sized |
Левый операнд в операторе IN не является порядковым или перечислением, который помещается в 8 бит. Это может привести к ошибке проверки диапазона. На текущий момент оператор in поддерживает левый оператор только в пределах байта. В случае с перечислениями, размер элемента перечисления может изменяться опциями {$PACKENUM} или {$Zn}. |
|
Warning: Type size mismatch, possible loss of data / range check error |
Это случается, когда меньшему типу присваивается значение, большее, чем исходный тип. Это означает, что может произойти ошибка проверки диапазона или уменьшение значения. |
|
Hint: Type size mismatch, possible loss of data / range check error |
Это случается, когда меньшему типу присваивается значение, большее, чем исходный тип. Это означает, что может произойти ошибка проверки диапазона или уменьшение значения. |
|
Error: The address of an abstract method can’t be taken |
Не найдено тело абстрактного метода, поэтому адрес абстрактного метода не может быть назначен. |
|
Error: Assignments to formal parameters and open arrays are not possible |
Вы пытаетесь присвоить значение формальному параметру (нетипизированный var, const или out), или открытому массиву. |
|
Error: Constant Expression expected |
Компилятор ожидал выражение-константу, но получил выражение- переменную. |
|
Error: Operation «Сообщ1» not supported for types «Сообщ2» and «Сообщ3» |
Операция не допускается для указанных типов. |
|
Error: Illegal type conversion: «Сообщ1» to «Сообщ2» |
Когда выполняете преобразование типов, вы должны понимать, что размеры переменной и типа назначения одинаковы. |
|
Hint: Conversion between ordinals and pointers is not portable |
Если вы преобразуете тип pointer в longint (или наоборот), то код не будет компилироваться на машинах, использующих 64-разрядную адресацию. |
|
Warning: Conversion between ordinals and pointers is not portable |
Если вы преобразуете тип pointer в порядковый тип с другим размером (или наоборот), то могут возникнуть проблемы. Это предупреждение помогает в поиске 32-битного специального кода, где cardinal/longint используются для преобразования указателей в порядковые типы. Решением проблемы является использование вместо этого типов ptrint/ptruint. |
|
Error: Can’t determine which overloaded function to call |
Вы вызываете перегруженную функцию с параметром, который не связан с каким-либо объявленным списком параметров, например, когда вы имеете объявленную функцию с параметрами word и longint, а затем вызываете её с параметром типа integer. |
|
Error: Illegal counter variable |
Переменная для цикла for должна быть порядкового типа. Переменные циклов не могут быть вещественными числами или строками. |
|
Warning: Converting constant real value to double for C variable argument, add explicit typecast to prevent this. |
В C значения вещественных констант по умолчанию имеют тип double. Из этих соображений, когда вы передаёте вещественную константу в функцию С в качестве параметра, компилятор FPC по умолчанию преобразует её в тип double. Если вы хотите контролировать этот процесс, добавьте для константы явное преобразование в нужный тип. |
|
Error: Class or COM interface type expected, but got «Сообщение» |
Некоторые операторы, такие как AS, применяются только для классов или COM-интерфейсов. |
|
Error: Constant packed arrays are not yet supported |
Вы не можете объявить битовый (упакованный) массив как типизированную константу. |
|
Error: Incompatible type for arg no. Сообщ1: Got «Сообщ2» expected «(Bit)Packed Array» |
Компилятор ожидает битовый (упакованный) массив как указанный параметр. |
|
Error: Incompatible type for Сообщение no. Сообщ1: Got «Сообщ2» expected «»(not packed) Array» |
Компилятор ожидает регулярный (то есть НЕ упакованный) массив как указанный параметр. |
|
Error: Elements of packed arrays cannot be of a type which need to be initialised |
Поддержка упакованных массивов, которым необходима инициализация (таких как ansistrings, или записей, содержащих ansistrings), пока не реализована. |
|
Error: Constant packed records and objects are not yet supported |
Вы не можете объявить битовый (упакованный) массив как типизированную константу в данное время. |
|
Warning: Arithmetic «Сообщение» on untyped pointer is unportable to {$T+}, suggest typecast |
Сложение/вычитание из нетипизированных указателей может работать по разному в {$T+}. Используёте преобразование типов для типизированных указателей. |
|
Error: Can’t take address of a subroutine marked as local |
Нельзя получить адрес подпрограммы, помеченной как локальная. |
|
Error: Can’t export subroutine marked as local from a unit |
Подпрограмма, помеченная как локальная, не может быть экспортирована из модуля. |
|
Error: Type is not automatable: «Сообщение» |
Только byte, integer, longint, smallint, currency, single, double, ansistring, widestring, tdatetime, variant, olevariant, wordbool и все интерфейсы являются automatable. |
|
Hint: Converting the operands to «Сообщение» before doing the add could prevent overflow errors. |
Сложение двух типов может вызвать ошибку переполнения. Обычно вы конвертируете результат в больший тип. Вы должны предотвращать такие ошибки, преобразуя операнды в этот тип перед сложением. |
|
Hint: Converting the operands to «Сообщение» before doing the subtract could prevent overflow errors. |
Вычитание между двумя типами может вызвать ошибку переполнения. Обычно вы конвертируете результат в больший тип. Вы должны предотвращать такие ошибки, преобразуя операнды в этот тип перед вычитанием. |
|
Hint: Converting the operands to «Сообщение» before doing the multiply could prevent overflow errors. |
Умножение между двумя типами может вызвать ошибку переполнения. Обычно вы конвертируете результат в больший тип. Вы должны предотвращать такие ошибки, преобразуя операнды в этот тип перед умножением. |
|
Warning: Converting pointers to signed integers may result in wrong comparison results and range errors, use an unsigned |
Виртуальное адресное пространство на виртуальных машинах располагается от $00000000 до $ffffffff. Многие операционные системы позволяют выделять память с адресами выше $80000000. Например, как WINDOWS, так и LINUX, допускают использование указателей в диапазоне от $0000000 до $bfffffff. Если вы преобразуете типы со знаком, это может вызвать ошибки переполнения и проверки диапазона, но также $80000000 < $7fffffff. Это может вызвать случайную ошибку в коде, подобно этому: «if p>q». |
|
Error: Interface type Сообщение has no valid GUID |
Если применяется оператор as для интерфейса или класса, то интерфейс (то есть правый операнд оператора as) должен иметь правильный GUID. |
|
Error: Invalid selector name |
Селектор Objective-C не может быть пустым, он должен быть правильным идентификатором или одинарным двоеточием, а если он содержит менее одного двоеточия, он также должен быть завершён. |
|
Error: Expected Objective-C method, but got Сообщение |
Селектор может быть создан только для методов Objective-C, не для любых других процедур/функций/методов. |
|
Error: Expected Objective-C method or constant method name |
Селектор может быть создан только для методов Objective-C, при задании имени используются строковые константы или идентификатор метода Objective-C, который является видимым из текущей области видимости. |
|
Error: No type info available for this type |
Информация о типах не генерируется для некоторых типов, таких как перечисления с пропусками в их диапазоне значений (включая перечисления, нижняя граница которых отлична от нуля). |
|
Error: Ordinal or string expression expected |
The expression must be an ordinal or string type. |
|
Error: String expression expected |
The expression must be a string type. |
|
Warning: Converting 0 to NIL |
Use NIL rather than 0 when initialising a pointer. |
|
Error: Objective-C protocol type expected, but got ”arg1” |
The compiler expected a protocol type name, but found something else. |
|
Error: The type ”arg1” is not supported for interaction with the Objective-C runtime |
Objective-C makes extensive use of run time type information (RTTI). This format is defined by the maintainers of the run time and can therefore not be adapted to all possible Object Pascal types. In particular, types that depend on reference counting by the compiler (such as ansistrings and certain kinds of interfaces) cannot be used as fields of Objective-C classes, cannot be directly passed to Objective-C methods, and cannot be encoded using objc_encode. |
|
Error: Class or objcclass type expected, but got ”arg1” |
It is only possible to create class reference types of class and objcclass |
|
Error: Objcclass type expected |
The compiler expected an objcclass type |
|
Warning: Coerced univ parameter type in procedural variable may cause crash or memory corruption: arg1 to arg2 |
univ parameters are implicitly compatible with all types of the same size, also in procedural variable definitions. That means that the following code is legal, because single and longint have the same size: {$mode macpas} Type TIntProc = procedure (l: univ longint); procedure test(s: single); begin writeln(s); end; var p: TIntProc; begin p:=test; p(4); end. This code may however crash on platforms that pass integers in registers and floating point values on the stack, because then the stack will be unbalanced. Note that this warning will not flagg all potentially dangerous situations. when test returns. |
|
Error: Type parameters of specializations of generics cannot reference the currently specialized type |
Recursive specializations of generics like Type MyType = specialize MyGeneric<MyType>; are not possible. |
|
Error: Type parameters are not allowed on non-generic class/record/object procedure or function |
Type parameters are only allowed for methods of generic classes, records or objects |
|
Error: Generic declaration of ”arg1” differs from previous declaration |
Generic declaration does not match the previous declaration |
|
Error: Helper type expected |
The compiler expected a class helper type. |
|
Error: Record type expected |
The compiler expected a record type. |
|
Error: Derived class helper must extend a subclass of ”arg1” or the class itself |
If a class helper inherits from another class helper the extended class must extend either the same class as the parent class helper or a subclass of it |
|
Error: Derived record helper must extend ”arg1” |
If a record helper inherits from another record helper it must extend the same record that the parent record helper extended. |
Hello I have been given the task of reading file input of 3 digit month abbreviations and a day and I must calculate the Julian date for each (sum of days since jan 1)
No matter what I do when I add two INTEGERS I get error 201 (incompatible data types). I have tried making a new program and gotten it to work but once I implement it into my existing code it doesn’t work anymore. This is very frustrating, please help. I’m sick of this stupid class making me take this language where I can’t find shit online to help.
Here is the code:
program prg6_150;
const
MONABV:array[1..12] of string[03] = ('JAN','FEB','MAR','APR','MAY','JUN',
'JUL','AUG','SEP','OCT','NOV','DEC');
MONDAYS:array[1..12] of integer = (31,28,31,30,31,30,31,31,30,31,30,31);
var
more_rec:Boolean; { EOF flag }
DAY:integer; { input day }
MONTH:string[03]; { input month abbreviation }
JULIAN:integer; { computed Julian day }
ch:char; { spacer character for input }
FileIn:Text;
FileOut:Text;
{ your module, to be called "JULIAN_DAY" inserted here }
procedure JULIAN_DAY;
var
j,sum_days:integer;
begin
j := 0;
sum_days := 0;
if MONTH = 'JAN' then j := 1 else
if MONTH = 'FEB' then j := 2 else
if MONTH = 'MAR' then j := 3 else
if MONTH = 'APR' then j := 4 else
if MONTH = 'MAY' then j := 5 else
if MONTH = 'JUN' then j := 6 else
if MONTH = 'JUL' then j := 7 else
if MONTH = 'AUG' then j := 8 else
if MONTH = 'SEP' then j := 9 else
if MONTH = 'OCT' then j := 10 else
if MONTH = 'NOV' then j := 11 else
if MONTH = 'DEC' then j := 12;
for J:= 2 to 12 do
repeat
sum_days := MONDAYS[1] + sum_days;
j := j - 1
until j = 1;
Julian := DAY + sum_days;
end;
procedure read_rec;
begin
if Eof(FileIn) then
more_rec := False
else
readln(FileIn,day,ch,month)
end; { read_rec }
procedure initialize;
begin
more_rec := True;
Assign(FileIn,'JULIAN.DAT');
Reset(FileIn);
Assign(FileOut,'JULIAN.OUT');
Rewrite(FileOut);
read_rec
end; { initialize }
procedure process;
begin
Julian_Day;
writeln(FileOut,day:2,' ',month,' ',julian:3);
read_rec
end; { process }
procedure wrapup;
begin
Close(FileOut);
Close(FileIn)
end; { wrapup }
begin { main }
initialize;
while more_rec do
process;
wrapup
end.
Command Prompt Error
СООБЩЕНИЯ КОМПИЛЯТОРА ОБ ОШИБКАХ
§ Если в меню Options?Linker?Link Buffer, установлен параметр Memory, переключите его в значение Disk.
§ Возможно программа слишком велика, чтобы компилироваться в таком объеме памяти. Следует разбить ее на два или более модуля.
§ несоответствующее количество begin и end (не забудьте, что оператор case также заканчивается словом end);
§ включаемый файл заканчивается в середине раздела операторов. Каждый раздел операторов должен целиком помещаться в одном файле;
§ незаконченный комментарий.
§ несовместимые типы переменной и выражения в операторе присваивания;
§ несовместимые типы фактического и формального параметров в обращении к процедуре или функции;
§ тип выражения, несовместимый с типом индекса при индексировании массива;
§ несовместимые типы операндов в выражении.
§ Идентификатору функции можно присваивать значения только внутри раздела операторов данной функции.
§ Объектный файл .obj определяет идентификаторы PUBLIC, которые не находятся в сегменте CODE.
§ Идентификатор обозначает абсолютную переменную.
§ Идентификатор обозначает процедуру или функцию типа inline.
§ Файл .com содержит ссылки с размерами в байтах на перемещаемые идентификаторы. Такая ошибка происходит в случае, если вы используете операторы HIGH и DOWN с перемещаемыми идентификаторами или если вы ссылаетесь в директивах DB на перемещаемые идентификаторы.
§ Операнд ссылается на перемещаемый идентификатор, который не был определен в сегменте CODE или в сегменте DATA.
§ Операнд ссылается на процедуру EXTRN или функцию EXTRN со смещением, например CALL SortProc+8.
§ Процедуры или функции были описаны с помощью описания forward, но их определение не найдено.
§ Вы пытаетесь осуществить приведение типа выражения, когда разрешается только ссылка на переменную, процедуру или функцию.
§ Вы пытаетесь присвоить константу вне диапазона переменной.
§ Вы пытаетесь передать константу вне диапазона в качестве параметра процедуре или функции.
Размер локальных переменных, описанных в программе или функции, не может превышать 64 Кбайт.
Регистрация Войти‘;
Авторизация
Логин:
Пароль:
Запомнить меня на этом копьютере
Регистрация
Забыли свой пароль?
Справочник |Библиотека |Файлы и загрузки |Уроки |FAQ| Скачать Turbo Pascal Форум
- Синтаксис языка
- Типы данных
- Стандартные модули
- Процедуры и функции
- Зарезервированные слова
- Директивы компилятора
- Сообщения об ошибках
- Ошибки выполнения
- Ошибки компиляции
- Примеры программ
- Описание среды разработки
Главная / Справочник / Сообщения об ошибках / Ошибки компиляции
Строковая константа превышает строку.
Описание
Вы, вероятно, забыли поставить закрывающий апостроф в строковой константе.
© 2009–2023 Russian Pascal Developer Network.
Техническая площадка: ISBIZ Хостинг
ISBIZ.agency
продвижение сайта
Есть такое понятие в программировании — безопасный код.
Помимо всего прочего (про exceptionы и потокобезопасность здесь речь не пойдет) оно включает в себя стиль написания программы, который не допускает работу с указателями в явной форме — получение, разыменование, арифметика на ним, также не приветствуются операции приведения типов.
Вместо указателей настоятельно рекомендуется использовать ссылки, а типы преобразовывать в явном виде — через операции присваивания, встроенные функции и т.п.
Т.е. нужно как можно больше работы сбрасывать на компилятор — статический контроль типов, управление памятью и прочую рутину. Он умеет это лучше чем человек.
Теперь по поводу совместимости и эквивалентности.
Совместимость типов — это такое отношение между двумя типами, которое доступно компилятору на этапе синтаксического анализа исходника. Т.е. компилятор ЗНАЕТ как перевести тип А в тип Б.
Например real совместим с integer (переменной типа real можно присвоить значение переменной типа integer), но не наоборот.
Эквивалентность типов — имеется в виду двоичная эквивалентность, это отношение между типами, выстроенное на основе размера памяти в байтах, который занимает переменная того или иного типа.
Например у нас есть запись вида:
Код
TMyDWord = packed record
HiWord: Word;
LoWord: Word;
end;
Если мы имеем переменную типа Dword то мы вполне можем привести её к типу TMyDWord. Это приведение допустимо потому что размер занимаемый TMyDword равен размеру DWord. Обратное приведение также возможно.
Эквивалентность типов может зависеть от настроек компилятора. Если мы поставим выравнивание полей записи по 4 байтам (это сильно ускорит их обработку) приведенный выше пример не будет работать, так как размеры перестанут совпадать и отношение двоичной эквивалентности между типами пропадет.
Операция приведения типа оперирует с понятием эквивалентности типов. Мы можем привести тип А к типу Б в том случае, когда size(А) >= size(Б). Это ограничение не позволит обратиться к, возможно, невыделенной области памяти, что приведет к AV-исключению.
При передаче параметров в подпрограммы или методы, для компилятора очень важен ТИП подставляемх фактических параметров, именно на основе их типов, он будет вызывать нужную перегруженную версию (если они есть) сабрутины. Отсюда правило — нужно ЗНАТЬ что ты хочешь сделать, чтобы небыло недопонимания с компилером.
Цитата
Мне кажется, что оба действия — и Type1(Type2Variable) и Type1((@Type2Variable)^) — выполняются на этапе
компиляции. Но почему в первом случае создаётся локальная копия(для VAR-параметров), по какому синтаксическому правилу?
Я уже объяснял….. Первый вариант приводит к копированию данных во временную переменную. Второй вариант компилятор рассматривает как некое переобъявление переменной. Разыменованный указатель — это переменная, операция приведения типа выступает в качестве декларирования типа переменной. Именно поэтому такая запись пригодна для передачи параметра по ссылке.
Добавлено через 6 мин.
Ваял предыдущий креатив…..
Цитата(Neznaika @ 11.08.2007 18:41) 
А можно ли вообще использовать в качестве фактических параметров процедур для VAR-параметров ВЫРАЖЕНИЯ? Для W типа Word конструкция Byte(W) — это выражение.
В принципе — можно. Если выражение своим результатом возвращает указатель, то используя технику дзен
Код
Type1((PType1PointerExpression)^)
Мы можем передавать данные по ссылке.
Другое дело, что нам потребуется написать выражение, результатом которого будет некий указаталь (с точки зрения безопасного кода подобные действия никуда не годятся).