История изменений

Ну стандарт просто в своем репертуаре, они никогда не пишут внятно отдавая половину на откуп реализации, а реальность такова, что адреса представляются наверное во всех реализациях как целочисленные значения. Но так да, формально тип указателя - это та пурга общими словами про вывод из условного ссылочного типа которая написана в стандарте, а там реализовывай как знаешь и умеешь. Собственно пурга

A pointer type may be derived from a function type, an object type, or an incomplete type, called the referenced type.A pointer type describes an object whose value provides a reference to an entity of the referenced type. A pointer type derived from the referenced type T is sometimes called "pointer to T". The construction of a pointer type from a referenced type is called "pointer type derivation"

Ну стандарт просто в своем репертуаре, они никогда не пишут внятно отдавая половину на откуп реализации, а реальность такова, что адреса представляются наверное во всех реализациях как целочисленные значения. Но так да, формально тип указателя - это та пурга общими словами про вывод из условного ссылочного типа которая написана в стандарте, а там реализовывай как знаешь и умеешь.