他のメモリアドレスが変更されている間に、一部のメモリアドレスが一定の理由で報告されるのはなぜですか？

Question

私はdata.table::addressまたは.Internal(address())を使用してメモリ内のさまざまなオブジェクトを追跡しようとしましたが、一部のオブジェクトは毎回同じアドレスを返すことに気付きました。ここで何が起こっているのですか？

私はリスト（data.tables、data.framesなど）のようなオブジェクトのアドレスは（これらの関数によって報告されているように）一定であることに気付きましたが、アドレスを[でリストに報告しようとするとaddress(lst[1])私は毎回異なる結果を得ます。一方、lst[[1]]は同じ値を返し、address(pi)のような定数のアドレスは一定のままですが、address(1)はvolatileです。なぜこうなった？

## Create some data.tables of different sizes and plot the addresses 
library(data.table) 
par(mfrow = c(2,2)) 
for (i in 2:5) { 
    dat <- data.table(a=1:10^i) 
    ## Constants 
    addr1 <- address(dat) 
    addr2 <- address(dat[[1]]) 
    addr3 <- address(dat$a) # same as addr2 
    ## Vary 
    addrs <- replicate(5000, address(dat[1])) 
    plot(density(as.integer(as.hexmode(addrs))), main=sprintf("N: %g", nrow(dat))) 
    abline(v=as.integer(as.hexmode(c(addr1, addr2, addr3))), col=1:3, lwd=2, lty=1:3) 
    legend("topleft", c("dat", "dat[[1]]", "dat$a"), col=1:3, lwd=2, lty=1:3) 
} 

ここでは、私はさまざまなサイズのdata.tablesで話しているのいくつかの例です。それらは、address(dat[1])（整数に変換された）の結果の密度であり、その行はdata.tableの定数アドレスに対応しています。

Answer 1

まず第一に、私はあなたの結果を再現することができますので、私は調査のビットを行なったし、いくつかのコードを潜りました。

あなたが実際にdata[[1]]でlistまたはdat$aから作られたスライスを作成しているdat[1]を使用してdatの最初のメンバーにアクセスします。スライスを取るために、Rはまずリストをコピーして、あなたが望むスライスを返します。

ので - 基本的には - あなたは、索引付けのため[]構文は、任意のメモリ位置になりますdat$aのコピーであるdatの最初の要素を含むスライスを返すので、あなたが見るものを参照してください。

[[]]構文は、あなたのdata.tableやdata.frameの列であるため、そのアドレスは不変である（あるいはあなたがそのリストのメンバーを変更するまで、少なくともそれはある）、実際のリストへの参照を返します。

もちろん、dat[1] = 6などを実行すると、データ構造内のリストの値が変更されるため、混乱する可能性があります。ただし、変更前と変更後にaddress(dat[[1]])を見ると、実際に参照が異なるリスト（コピー）になっていることに気づくでしょう。 data.frame（よりむしろdata.table）のソースコードを見ると

> dat <- data.table(a=1:10000) 
> dat 
      a 
    1:  1 
    2:  2 
    3:  3 
    4:  4 
    5:  5 
    ---  
9996: 9996 
9997: 9997 
9998: 9998 
9999: 9999 
10000: 10000 
> address(dat[[1]]) 
[1] "000000000CF389D8" 
> address(dat[[1]]) 
[1] "000000000CF389D8" 
> dat[1] = 100 
> address(dat[[1]]) 
[1] "000000000D035B38" 
> dat 
      a 
    1: 100 
    2:  2 
    3:  3 
    4:  4 
    5:  5 
    ---  
9996: 9996 
9997: 9997 
9998: 9998 
9999: 9999 
10000: 10000 
> 

、スライスインデクシング（[]）is hereを行うコード、直接インデキシング一方（[[]]）is here。後者は簡単で長いストーリーを短縮することができます。前者はコピーを返します。スライスを直接変更する場合（例：dat[1] = 5）、logic hereがあり、データフレームが更新されたコピーを参照するように処理します。