Инструменты, алгоритмы и структуры данных

<<- Назад к вопросам

Поскольку рекурсивный метод прямо или косвенно вызывает сам себя, то в цепочке вызовов этот метод будет присутствовать в нескольких экземплярах. Какие утверждения справедливы относительно понятия "экземпляр метода"?

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

каждый экземпляр метода имеет собственную копию программного кода

каждый экземпляр метода имеет собственную копию данных, называемую контекстом метода(Верный ответ)

при завершении работы метода запись активации удаляется из стека(Верный ответ)

поля класса входят в контекст метода

локальные переменные метода входят в его контекст(Верный ответ)

фактические аргументы, заданные в момент вызова, входят в контекст метода(Верный ответ)

для хранения контекста метода в момент его вызова создается запись активации, которая сохраняется в стеке вызовов(Верный ответ)

Похожие вопросы

Пусть метод pвызывает метод q, тот вызывает метод r с косвенной рекурсией, - метод r вызывает метод s, который в свою очередь вызывает метод r. Какие утверждения справедливы относительно завершения методов в цепочке вызовов?

Пусть метод p вызывает метод q, тот вызывает метод r с косвенной рекурсией, - метод r вызывает метод s, который в свою очередь вызывает метод r. Какие утверждения справедливы относительно процесса вызова методов?

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

Какие утверждения справедливы относительно понятия "отношение"?

Необходимыми условиями корректно определенного рекурсивного метода является существование у метода ветви без рекурсии и разные контексты у каждого рекурсивного вызова. Рассмотрим метод с циклом:

cicle   do      from Init until Exit loop Body end   end

Заменим его методом

recursive    do Init; loop_eqviv end

с вызовом рекурсивного метода:

loop_eqviv   do      if not Exit then        Body; loop_eqviv     end   end

Какие утверждения справедливы относительно корректности такой замены?

В контракт рекурсивного метода может входить инвариант метода. Какие утверждения справедливы относительно инварианта?

Какие утверждения справедливы относительно выполнения предусловия и постусловия рекурсивного метода?

Какие утверждения справедливы относительно контракта рекурсивного метода? Для рекурсивного метода следует:

Какие утверждения справедливы относительно представления исходных данных задачи?

Какие утверждения справедливы относительно связи между циклами и рекурсией?