According to ECMA-335:
II.14.4.2 Guided pointersManaged pointers (&) can point to an instance of a value type, an object field, a value field type, an array element, or the address where the element located at the end of the array will be (for pointers to managed arrays) .
II.14.4.2 Guided pointers
Managed pointers (&) can point to an instance of a value type, an object field, a value field type, an array element, or the address where the element located at the end of the array will be (for pointers to managed arrays) .
The last part interests me. Does this mean that the reference outside the array is valid? How is such a link obtained (possibly with IL)? How does the CLR handle reading and writing there?
This means that the pointer is valid, but this does not mean that dereferencing it is valid.
, , 10 Int32, 10 * 4 , 40- .
.
, .
"" .
, , ++, , - . ++ () "", , , EOF.
. .
, . 1 . , / .