Почему две ссылки на один и тот же вектор возвращают разные адреса памяти для каждого элемента вектора?

Question

Я изучаю R, и в настоящее время я читаю эту книгу . Чтобы убедиться, что я понимаю концепцию, я провел следующий тест, который оказался довольно запутанным для меня, и я был бы признателен, если бы вы могли уточнить его. Вот тест, который я запускал непосредственно в R-оболочке из терминала (не используя RStudio или Emacs ESS).

> library(lobstr)
>
> x <- c(1500,2400,8800)
> y <- x
> ### So the following two lines must return the same memory address
> obj_addr(x)
[1] "0xb23bc50"
> obj_addr(y)
[1] "0xb23bc50"
> ### So as I expected, indeed both x and y point to the same memory 
> ### location: 0xb23bc50
>
>
>
> ### Now let's check that each element can be referenced by the same
> ### memory address either by using x or y
> x[1]
[1] 1500
> y[1]
[1] 1500
> obj_addr(x[1])
[1] "0xc194858"
> obj_addr(y[1])
[1] "0xc17db88"
> ### And here is exactly what I don't understand: x and y point 
> ### to the same memory address, so the same must be true for 
> ### x[1] and y[1]. So how come I obtain two different memory
> ### addresses for the same element of the same vector?
>
>
>
> x[2]
[1] 2400
> y[2]
[1] 2400
> obj_addr(x[2])
[1] "0xc15eca0"
> obj_addr(y[2])
[1] "0xc145d30"
> ### Same problem!
>
>
>
> x[3]
[1] 8800
> y[3]
[1] 8800
> obj_addr(x[3])
[1] "0xc10e9b0"
> obj_addr(y[3])
[1] "0xc0f78e8"
> ### Again the same problem: different memory addresses

Не могли бы вы сказать мне, где моя ошибка и что я неправильно понял в этом проблема

Answer 1

Любой объект R является C (указатель называется SEXP - a) "мультиобъектом" (struct). Это включает в себя информацию (которую R должен использовать, например, length, количество ссылок - чтобы знать, когда копировать объект - и более) об объекте R, а также фактические данные объекта R, к которым у нас есть доступ ,

lobstr::obj_addr, предположительно, возвращает адрес памяти, на который указывает SEXP. Эта часть памяти содержит информацию о и данных объекта R. Из среды R нам не нужно / не нужно обращаться к (указателю) памяти фактических данных в каждом объекте R.

Как отмечает Адам в своем ответе, функция [ копирует n-й элемент данных, содержащихся в объекте C, в новый объект C и возвращает его указатель SEXP на R. Каждый раз, когда вызывается [, новый C объект создан и возвращен в R.

Мы не можем получить доступ к адресу памяти каждого элемента фактических данных нашего объекта через R. Но, немного поиграв, мы можем отследить соответствующие адреса, используя C api:

Функция для получения адресов:

ff = inline::cfunction(sig = c(x = "integer"), body = '
             Rprintf("SEXP @ %p\\n", x);

             Rprintf("first element of SEXP actual data @ %p\\n", INTEGER(x));

             for(int i = 0; i < LENGTH(x); i++) 
                 Rprintf("<%d> @ %p\\n", INTEGER(x)[i], INTEGER(x) + i);

             return(R_NilValue);
     ')

И применение к нашим данным:

x = c(1500L, 2400L, 8800L)  #converted to "integer" for convenience
y = x

lobstr::obj_addr(x)
#[1] "0x1d1c0598"
lobstr::obj_addr(y)
#[1] "0x1d1c0598"

ff(x)
#SEXP @ 0x1d1c0598
#first element of SEXP actual data @ 0x1d1c05c8
#<1500> @ 0x1d1c05c8
#<2400> @ 0x1d1c05cc
#<8800> @ 0x1d1c05d0
#NULL
ff(y)
#SEXP @ 0x1d1c0598
#first element of SEXP actual data @ 0x1d1c05c8
#<1500> @ 0x1d1c05c8
#<2400> @ 0x1d1c05cc
#<8800> @ 0x1d1c05d0
#NULL

Последовательная разница в памяти между элементами данных нашего объекта равняется размеру int типа:

diff(c(strtoi("0x1d1c05c8", 16), 
       strtoi("0x1d1c05cc", 16), 
       strtoi("0x1d1c05d0", 16)))
#[1] 4 4

Использование функции [:

ff(x[1])
#SEXP @ 0x22998358
#first element of SEXP actual data @ 0x22998388
#<1500> @ 0x22998388
#NULL
ff(x[1])
#SEXP @ 0x22998438
#first element of SEXP actual data @ 0x22998468
#<1500> @ 0x22998468
#NULL

Это может быть больше, чем необходимо, расширенный ответ и упрощен c на фактические технические, но, мы надеемся, предлагает earer "большая" картинка.

Answer 2

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

> `[`(x, 1)
[1] 1500

Итак, вы выполняете функцию, которая возвращает значение (см. ?Extract). Это значение является целым числом. Когда вы запускаете obj_addr(x[1]), он оценивает функцию x[1] и затем выдает obj_addr() возврата этой функции, а не адрес первого элемента массива, который вы связали с x и y .