Циркулярная ссылка - Circular reference

Циклическая ссылка представляет собой ряд ссылок , где ссылки последнего объекта первой, в результате чего в замкнутом контуре.

Циркулярная ссылка (красным)

На языке

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

Ее брат подарил ей котенка; его сестра поблагодарила его за это.

круговой, но не лишенный смысла. В самом деле, можно утверждать, что самоотнесение является необходимым следствием закона непротиворечивости Аристотеля , фундаментальной философской аксиомы . С этой точки зрения, без саморекламы логика и математика становятся невозможными или, по крайней мере, бесполезными.

В компьютерном программировании

Циклические ссылки могут появляться в компьютерном программировании, когда один фрагмент кода требует результата от другого, а этому коду требуется результат от первого. Например, две функции posn и plus1 в следующей программе Python содержат циклическую ссылку:

def posn(k: int) -> int:
    if k < 0:
        return plus1(k)
    return k

def plus1(n: int) -> int:
    return posn(n + 1)

Циклические ссылки, подобные приведенному выше примеру, могут возвращать допустимые результаты, если они имеют условие завершения. Если нет условия завершения, циклическая ссылка приводит к состоянию, известному как livelock или бесконечный цикл , что означает, что теоретически оно может выполняться бесконечно.

def posn(k: int) -> int:
    return plus1(k)

def plus1(n: int) -> int:
    return posn(n + 1)

В стандарте ISO ограничения циклической целостности SQL неявно поддерживаются в одной таблице. Между несколькими таблицами разрешены циклические ограничения (например, внешние ключи) путем определения ограничений как отложенных (см. CREATE TABLE для PostgreSQL и примеры ограничений DEFERRABLE для Oracle). В этом случае ограничение проверяется в конце транзакции, а не во время выполнения оператора DML. Чтобы обновить циклическую ссылку, в одной транзакции могут быть выпущены два оператора, которые будут удовлетворять обеим ссылкам после того, как транзакция будет зафиксирована.

В таблицах

Циклические ссылки также встречаются в электронных таблицах, когда две ячейки требуют результата друг друга. Например, если значение в ячейке A1 должно быть получено путем добавления 5 к значению в ячейке B1, а значение в ячейке B1 должно быть получено путем добавления 3 к значению в ячейке A1, никакие значения не могут быть вычислены. (Даже если указаны спецификации A1: = B1 + 5 и B1: = A1-5, круговая ссылка все равно будет. Не помогает, например, что A1 = 3 и B1 = -2 удовлетворяли бы обеим формулам, так как существует бесконечно много других возможных значений A1 и B1, которые удовлетворяют обоим экземплярам.)

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

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

Смотрите также

• Причинность  - как один процесс влияет на другой
• Циркулярная отчетность  - несколько источников данных из одного источника
• Проблема с остановкой  - проблема с определением, завершит ли данная программа выполнение или будет продолжаться бесконечно.
• Вложенная функция
• Quine (вычисления)  - Самовоспроизводящаяся программа
• Аргумент регресса  - проблема эпистемологии в том, что любое предложение можно бесконечно ставить под сомнение.
• Самореференция  - предложение, идея или формула, относящиеся к самому себе.
• В моем ведре дыра  - Детская песня

использованная литература