Механізм
Механізм посилань, якщо він відрізняється реалізації, є фундаментальною функцією мови програмування. Загальною для майже всіх сучасних мов програмування. Навіть деякі мови, які не підтримують прямого використання посилань, мають деяке внутрішнє або неявне використання. Наприклад, угода про виклик за посиланням може бути реалізовано з явним або неявним використанням посилань.
У більш загальному сенсі посилання можна розглядати як частину даних, яка дозволяє унікально отримувати іншу частину даних. Це включає первинні ключі в базах даних і ключі в асоціативному масиві. Якщо у нас є набір ключів K і набір об’єктів даних D, будь-яка чітко визначена (однозначна) функція від K до D ∪ {нуль} визначає тип посилання, де нуль – це зображення ключа, не посилається на що-небудь значуще.
Альтернативним поданням такої функції є орієнтований граф, званий графом досяжності. Тут кожен елемент представлений вершиною і існує ребро від u до v, якщо елемент даних в u посилається на елемент даних у v. Максимальний вихідний градус дорівнює одиниці. Ці графіки є цінними у збірці сміття, де вони можуть бути використані для відділення доступних від недоступних об’єктів.
