■W przypadku deklaracji typu int*, kompilator zakłada, że dowolny adres wskazywany przez niego zawiera liczbę całkowitą - niezależnie od tego, co aktualnie zawiera wskazywany fragment pamięci.
■ Programista musi zagwarantować, że typ wskaźnika jest zgodny z typem obiektu, na który on wskazuje.