R（４）メタプログラミング

1 Expression とは

1.1 Language Object

オブジェクト志向言語ではコード自体もオブジェクトであり，R では call, expression, name の３つのモードから構成される．¹

１つのクラスからなるわけではなく，call, symbol, constant, pairlist の４つの型からなる．²

1.1.1 pairlist

R の内部で用いられるデータ型であり，Lisp の dotted-pair listに似ている．

pairlistオブジェクトは３つの slot をもち，CAR, CDR, TAGと呼ばれる． * CARとCDRは IBM の 60 年代のコンピュータのaddress,decrementレジスタに由来し，リストの head と tail を指す． * TAGは文字列オブジェクトである．

pairlistの R 内での機能はlistと全く同じで，indexing syntax [[]]も同一である．

1.2 コンストラクタ

次のような操作ができる³

rlang::expr がコンストラクタである：

z <- rlang::expr(y <- x*10)
z

y <- x * 10

str(z)

 language y <- x * 10

typeof	class	mode
language	<-	call

1.3 評価

expression オブジェクトは base::eval() で評価できる：

x <- 4
eval(z)
y

[1] 40

1.4 参照方法

expression には list のようにアクセス可能である：⁴

library(rlang)
f <- expr(f(x = 1, y = 2))

f$z <- 3
f

f(x = 1, y = 2, z = 3)

f[[2]] <- NULL
f

f(y = 2, z = 3)

2 メタプログラミング

2.1 enexpr 関数

capture_it <- function(x) {
  expr(x)
}
capture_it(a + b + c)

x

capture_it <- function(x) {
  enexpr(x)
}
capture_it(a + b + c)

a + b + c

References

Wickham, H. (2019). Advanced r. Chapman & Hall.

Footnotes

1. R Language Definition

2. (Wickham, 2019) 第17章２節．

3. (Wickham, 2019) 第18章

4. (Wickham, 2019) 第17章２節．