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