ECMA-334 C# Language Specification

25.4: Pointer conversions

In an unsafe context, the set of available implicit conversions (13.1) is extended to include the following implicit pointer conversions:

Additionally, in an unsafe context, the set of available explicit conversions (13.2) is extended to include the following explicit pointer conversions:

Finally, in an unsafe context, the set of standard implicit conversions (13.3.1) includes the following pointer conversion:

Conversions between two pointer types never change the actual pointer value. In other words, a conversion from one pointer type to another has no effect on the underlying address given by the pointer.

When one pointer type is converted to another, if the resulting pointer is not correctly aligned for the pointed-to type, the behavior is undefined if the result is dereferenced. In general, the concept "correctly aligned" is transitive: if a pointer to type A is correctly aligned for a pointer to type B, which, in turn, is correctly aligned for a pointer to type C, then a pointer to type A is correctly aligned for a pointer to type C.

[Example: Consider the following case in which a variable having one type is accessed via a pointer to a different type: 
char c = 'A';  
char* pc = &c;  
void* pv = pc;  
int* pi = (int*)pv;  
int i = *pi;    // undefined  
*pi = 123456;    // undefined
end example]

When a pointer type is converted to a pointer to byte , the result points to the lowest addressed byte of the variable. Successive increments of the result, up to the size of the variable, yield pointers to the remaining bytes of that variable. [Example: For example, the following method displays each of the eight bytes in a double as a hexadecimal value: 
using System;  
class Test  
{  
   static void Main() {  
      double d = 123.456e23;  
      unsafe {  
         byte* pb = (byte*)&d;  
         
         for (int i = 0; i < sizeof(double); ++i)  
         Console.Write(" {0,2:X}", (uint)(*pb++));  
         Console.WriteLine();  
      }  
   }  
}

Of course, the output produced depends on endianness. end example]

Mappings between pointers and integers are implementation-defined. [Note: However, on 32-and 64-bit CPU architectures with a linear address space, conversions of pointers to or from integral types typically behave exactly like conversions of uint or ulong values, respectively, to or from those integral types. end note]