无法保证不与有值的指标相等，他可能因为存有记忆体残值而指向了某个有效物件。
空参照.在程式语言中，空参照（）是一个与空指标类似的概念，是一个已宣告但其并未参照到一个有效物件的变数。东尼·霍尔在1965年发明了空参照，并作为ALGOL W程式语言的一部分。
历史.查尔斯·安东尼·理察·霍尔（C. A. R. Hoare）在2009年表示他在1965年发明了空参照，并且将这项发明描述为“十亿美元的错误”。
程式语言中的空指标.Sect