SomeObject *obj=new SomeObject();
static int ref=(int)obj;

AVC>void foo(int *p)
AVC>{
AVC>    p[4] = 21; /* как узнать - массив p или нет? */
AVC>    p++;
AVC>}

void foo(int *p)
AVC>{
AVC>    free(p); /* указывет p на объект кучи, или это адрес переменной в стеке или сегменте данных? */
AVC>}

модель "Указатель" / "Ссылка" (можно разыменовывать)
 <- модель "Указатель на тип T" (результат разыменования - объект T)
     <- тип T*, some_container::iterator и т.п.
         <- домен "объект в динамической памяти", "объект-агрегат", (статический, стековый, член, элемент массива)
             <- домен "элемент конкретного массива" (или одиночный элемент), "голова массива", "хвост массива", ноль

тип        допустимые приведения    пример инициализации   функциональность

new_array  >-+                  <-- p1 = new T[10];        можно применять delete[] p1;
             |
new_object   | >-+              <-- p2 = new T;            можно применять delete p2;
             |   |
             |   |
array_ptr  <-+   | >-+          <-- T arr[10]; p3 = arr;   можно применять адресную арифметику и разыменовывать
             |   |   |              p3=p1; p3=p3+4;
             |   |   |
object_ptr <-+ <-+ <-+ >-+      <-- T var; p4 = &var;      можно разыменовывать
             |   |   |   |
range_ptr  <-+   | <-+   | >-+  <-- ptr=arr+n; ptr=&var+1; можно применять арифметику, но не разыменовывать
             |   |   |   |   |
match_ptr  <-+ <-+ <-+ <-+ <-+  <-- ptr = NULL;            можно проверять на равенство

SomeObject *obj=new SomeObject();
static int ref=(int)obj;

ПК>Я недавно экспериментировал с этим делом. Например, на C++/CLI сделал индексированное свойство, возвращающее managed pointer. Reflector это дело честно в C# отобразил, дописав в возвращаемом значении ref. Но это же не значит, что на C#, действительно, можно так писать (в частности, это индексированное свойство C# "потреблять" отказался)

 public static unsafe object Box(void* ptr, Type type)
{
      if (type == null)
      {
            throw new ArgumentNullException("type");
      }
      if (!type.IsPointer)
      {
            throw new ArgumentException(Environment.GetResourceString("Arg_MustBePointer"), "ptr");
      }
      Pointer pointer1 = new Pointer();
      pointer1._ptr = ptr;
      pointer1._ptrType = type;
      return pointer1;
}

function Pointer.Box(ptr:  *; type: Type): TObject;
var
      pointer1: Pointer;
begin
      if (&type = nil) then
            raise ArgumentNullException.Create('type');
      if (not &type.IsPointer) then
            raise ArgumentException.Create(Environment.GetResourceString('Arg_MustBePointer'), 'ptr');
      pointer1 := Pointer.Create;
      pointer1._ptr := ptr;
      pointer1._ptrType := &type;
      begin
            result := pointer1;
            exit
      end
end;

    type
     PMyStruct = box MyStructSt
     PInt = box int;