指标型别间及指标型别与整数间转换）的弱型别系统，虽然较为困难，但还是有可能误解。C++试图在C++标准程式库中使用新的cast运算子及较聪明的指标，以增加型别安全；但为了相容性，仍保留绕过这些安全机制的能力。许多今日常见的主流语言，如Eiffel、Java、C#及Visual Basic等，则均採用了一种更加不透明的参照，通常即简称为「参照」。此类参照具有类似C语言指标的型别，会指出其所参照资料的意思；不过，此类参照为型别安全的，无法指向一个未处理的位址，以及进行不被允许的不安全转换。Section