A pointer is a type where a null pointer can't be used as a regular value but leads to a trap when dereferenced.