在程式语言中，空指标（）是一个已宣告但并未指向一个有效物件的指标，许多程式利用空指标来表示某些特定条件，例如未知长度阵列的结尾或某些无法执行的操作。在可选择型态（optional type）的程式语言中，空指标通常可以跟可为Null的型别（Nullable types）和空值（Nothing value）进行比较。空指标与指标（uninitialized pointer）不同，空指标保证不会和有值的指标相等，而未初始化的指标则是要看所使用的程式语言或编译器而定，在部分程式语言环境下，未初始化的指标无法保