S4 方法参数的惰性求值

Question

我正在实现一个包含 data.table 的 S4 类，并尝试实现对象的 [ 子集（如 here 所述），以便它也子集 data.table。例如（仅定义 i 子集）：

library(data.table)

.SuperDataTable <- setClass("SuperDataTable", representation(dt="data.table"))

setMethod("[", c("SuperDataTable", "ANY", "missing", "ANY"),
    function(x, i, j, ..., drop=TRUE)
{
    initialize(x, dt=x@dt[i])
})

d = data.table(a=1:4, b=rep(c("x", "y"), each=2))
s = new("SuperDataTable", dt=d)

此时，使用数字向量 (s[1:2]) 进行子集化可以正常工作（它将插槽中的 data.table 子集化）。但是，我想添加使用表达式进行子集化的能力。这适用于data.table 本身：

s@dt[b == "x"]
#    a b
# 1: 1 x
# 2: 2 x

但不适用于 S4 [ 方法：

s[b == "x"]
# Error: object 'b' not found

问题似乎是 S4 方法签名中的参数没有使用 R 的传统惰性求值进行求值 - 请参阅 here：

泛型函数签名中的所有参数都是 在调用函数时进行评估，而不是使用 S 的传统惰性求值规则。因此，重要的是 从签名中排除任何需要处理的参数 象征性地（例如函数替换的第一个参数）。

这解释了为什么它不起作用，但不是可以如何实现这种子集，因为i 和j 包含在泛型的签名中。有没有办法让i 参数不立即被评估？

Answer 1

你可能在这件事上不走运。来自R developer notes，

出现在泛型签名中的参数将在泛型函数后立即进行评估 叫做;因此，任何需要利用惰性求值的参数都不能在 签名。这些通常是字面处理的参数，通常通过substitute() 函数。 例如，如果想要将替代（）本身变成一个泛型，第一个参数 expr， 不会出现在签名中，因为它不能被评估，而是被视为文字。

此外，由于方法缓存，

完整签名中的所有参数都如上所述进行评估，而不仅仅是活动的 那些。否则，在特殊情况下，函数的行为可能会改变一个 缓存另一个方法时的方法，这绝对是不可取的。

我将遵循 data.table 包编写者的示例并使用 S3 对象（请参阅他们的 source code 中 R/data.table.R 的第 304 行）。您的 S3 对象仍然可以在下面创建和操作 S4 对象以保持半静态类型功能。

我们不能变得特别聪明：

 ‘[’ is a primitive function;  methods can be defined, but the generic function is implicit, and cannot be changed.

同时定义 S3 和 S4 方法将分派 S3 方法，这使我们看起来应该能够绕过 S4 调用并手动分派它，但不幸的是，参数评估仍然发生！您可以通过借用 plyr::. 来接近，这将为您提供如下语法：

s <- new('SuperDataTable', dt = as.data.table(iris))
s[.(Sepal.Length > 4), 2]

不理想，但比其他任何东西都更接近。