Difference between revisions of "@"
m (ordinal numbers in syntaxhighlight) |
|||
(8 intermediate revisions by 2 users not shown) | |||
Line 3: | Line 3: | ||
<div style="float:left; margin: 0 25px 20px 0; padding:50px; font-size:500%; font-family: Georgia; background-color: #f9f9f9; border: 2px solid #777777;">@</div> | <div style="float:left; margin: 0 25px 20px 0; padding:50px; font-size:500%; font-family: Georgia; background-color: #f9f9f9; border: 2px solid #777777;">@</div> | ||
− | The address operator <syntaxhighlight lang="pascal" | + | The address operator <syntaxhighlight lang="pascal" inline>@</syntaxhighlight> returns the address of an [[Identifier|identifier]] that is associated with an address (usually a [[Variable|variable]] or [[Routine|routine]], but also a [[Label#assembler|label]]). |
− | Normally, the value <syntaxhighlight lang="pascal" | + | Normally, the value <syntaxhighlight lang="pascal" inline>@</syntaxhighlight> returns is an ''untyped'' [[Pointer|<syntaxhighlight lang="pascal" inline>pointer</syntaxhighlight>]]. |
− | If you are handling pointers a lot, and want to mitigate issues with passing references of wrong | + | If you are handling pointers a lot, and want to mitigate issues with passing references of wrong type’s target, you have use the [[Compiler directive|directive]] [[$typedAddress|<syntaxhighlight lang="pascal" inline>{$typedAddress on}</syntaxhighlight>]]. |
− | Here | + | Here is an example to demonstrate what produces with untyped pointers valid and functional code, but semantically outputs an erroneous result: |
<syntaxhighlight lang="pascal" line highlight="12">program untypedAddressDemo(input, output, stderr); | <syntaxhighlight lang="pascal" line highlight="12">program untypedAddressDemo(input, output, stderr); | ||
Line 23: | Line 23: | ||
writeLn(foo); | writeLn(foo); | ||
end.</syntaxhighlight> | end.</syntaxhighlight> | ||
− | It was intended | + | It was intended that <syntaxhighlight lang="pascal" inline>0</syntaxhighlight> (zero) gets printed, but the program prints <syntaxhighlight lang="pascal" inline>-256</syntaxhighlight> instead. |
− | With <syntaxhighlight lang="pascal" | + | With <syntaxhighlight lang="pascal" inline>{$typedAddress on}</syntaxhighlight> compilation fails with an incompatible type error. |
− | You usually want the latter behavior (compile-time | + | You usually want the latter behavior ([[compile-time error]]) instead of wasting time with hours of debugging. |
+ | |||
+ | == other remarks == | ||
+ | * In [[ASCII]] the character <syntaxhighlight lang="pascal" inline>@</syntaxhighlight> (AT sign): has the value <syntaxhighlight lang="pascal" inline>64</syntaxhighlight>. | ||
+ | * [[PXSC]] defines the <syntaxhighlight lang="pascal" inline>loc</syntaxhighlight> function as the address-operator. | ||
== read more == | == read more == | ||
− | * [https://www.freepascal.org/docs-html/ref/ | + | * [https://www.freepascal.org/docs-html/ref/refse87.html The <syntaxhighlight lang="pascal" inline>@</syntaxhighlight> operator] |
− | * [https://www.freepascal.org/docs-html/prog/progsu75.html Typed address operator (<syntaxhighlight lang="pascal" | + | * [https://www.freepascal.org/docs-html/prog/progsu75.html Typed address operator (<syntaxhighlight lang="pascal" inline>@</syntaxhighlight>)] |
+ | * [[Addr|<syntaxhighlight lang="pascal" inline>addr</syntaxhighlight>]] | ||
{{Symbols}} | {{Symbols}} | ||
− | |||
− | |||
− |
Latest revision as of 08:04, 28 February 2024
│
English (en) │
suomi (fi) │
français (fr) │
русский (ru) │
The address operator @
returns the address of an identifier that is associated with an address (usually a variable or routine, but also a label).
Normally, the value @
returns is an untyped pointer
.
If you are handling pointers a lot, and want to mitigate issues with passing references of wrong type’s target, you have use the directive {$typedAddress on}
.
Here is an example to demonstrate what produces with untyped pointers valid and functional code, but semantically outputs an erroneous result:
1program untypedAddressDemo(input, output, stderr);
2
3procedure incrementIntByRef(const ref: PByte);
4begin
5 inc(ref^);
6end;
7
8var
9 foo: integer;
10begin
11 foo := -1;
12 incrementIntByRef(@foo);
13 writeLn(foo);
14end.
It was intended that 0
(zero) gets printed, but the program prints -256
instead.
With {$typedAddress on}
compilation fails with an incompatible type error.
You usually want the latter behavior (compile-time error) instead of wasting time with hours of debugging.
other remarks
- In ASCII the character
@
(AT sign): has the value64
. - PXSC defines the
loc
function as the address-operator.
read more
single characters |
|
character pairs |
|