R, глубокие или мелкие копии, проходят по ссылке

Я хотел бы понять, что логика R используется при передаче аргументов в функции, создании копий переменных и т.д. в отношении использования памяти. Когда он действительно создает копию переменной или просто передает ссылку на эту переменную? В частности, мне интересны ситуации:

f <- function(x) {x+1}
a <- 1
f(a)

Проставляется ли a буквально или является ссылкой на переданное сообщение?

x <- 1
y <- x

Ссылка на копию? Когда это не так?

Если бы кто-то мог объяснить это мне, я был бы очень признателен.

ОТВЕТЫ

Ответ 1

Когда он передает переменные, он всегда копируется, а не ссылкой. Иногда, однако, вы не получите копию, пока на самом деле не произойдет присвоение. Реальное описание процесса - это обещание. Взгляните на документацию

?force
?delayedAssign

Одним из практических последствий является то, что очень сложно, если не невозможно, избежать необходимости в том, чтобы, по крайней мере, вдвое больше ОЗУ, чем ваши номинально занимают ваши объекты. Для изменения большого объекта обычно требуется сделать временную копию.

update: 2015: Я (и сделал) согласен с Мэттом Доулом в том, что его пакет data.table предоставляет альтернативный маршрут для назначения, который позволяет избежать проблемы дублирования копирования. Если это было запрошено обновление, тогда я не понял его в то время, когда было сделано предложение.

В правилах оценки для apply и Reduce произошла недавняя смена в R 3.2.1. Это было SO-анонсировано со ссылкой на News here: Возвращение анонимных функций из приложения - что происходит не так?

И интересная статья, приведенная jhetzel в комментариях, теперь здесь:

Ответ 2

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

x <- c(0,4,2)
lobstr::obj_addr(x)
# [1] "0x7ff25e82b0f8"
y <- x
lobstr::obj_addr(y)
# [1] "0x7ff25e82b0f8"

Обратите внимание на идентичный "адрес памяти", то есть место в памяти, где хранится объект. Таким образом, вы можете подтвердить, что x и y оба указывают на один и тот же идентификатор.

Книга Хэдли Уикхэма Продвинутый R касается:

Consider this code:

x <- c(1, 2, 3)

Его легко прочитать как: "создать объект с именем‘ x, содержащий значения 1, 2 и 3 '. К сожалению, это упрощение, которое приведет к неточным прогнозам о том, что R на самом деле делает за кулисами. Точнее сказать, что этот код выполняет две вещи:

Это создание объекта, вектора значений, c(1, 2, 3). И это привязка этого объекта к имени, x. Другими словами, объект или значение, не имеет имени; на самом деле это имя, которое имеет значение.

Обратите внимание, что они являются адресами памяти, эфемерны и меняются с каждым новым R сеансом.

Теперь вот важная часть.

В семантике R объекты копируются по значению. Это означает, что изменение копия оставляет исходный объект без изменений. Поскольку копирование данных в Операция с памятью - дорогая операция, копии в R настолько ленивы, насколько это возможно. Они происходят только тогда, когда новый объект действительно модифицирован. Источник: [Документация по языку] [1]

Поэтому, если мы теперь изменим значение y, добавив значение к вектору, y теперь будет указывать на другой "объект". Это согласуется с тем, что в документации говорится о том, что операция копирования происходит "только при изменении нового объекта" (ленивый). y указывает на другой адрес, чем был ранее.

y <- c(y, -3)
print(lobstr::obj_addr(y))
# [1] "0x7ff25e825b48"