Совпадение и несовпадение может рассматриваться различно. Наиболее общее разделение отражает различие между семантикой
указателей и семантикой копирования. Многие
языки прграммирования используют эквивалентность указателей, когда две ссылки на объект считаются эквивалентными, если они указывают на один и тот же объект.