为什么有人应该使用 {} 来初始化 R 中的空对象?

  • 本文关键字:初始化 对象 r null
  • 更新时间 :
  • 英文 :


似乎有些程序员正在使用:

a = {}
a$foo = 1
a$bar = 2

a = list(foo = 1, bar = 2)相比有什么好处?

为什么要使用{}?此表达式仅返回NULL,因此NULL赋值也会这样做,不是吗?

您的第一个查询

为什么要使用{},这个表达式只返回NULL,所以NULL赋值也会这样做,不是吗?

是的,a <- NULL会产生相同的效果。使用{}很可能是一种个人风格。

<小时 />

NULL

NULL可能是最通用和最令人困惑的 R 对象。从 R 语言对 NULL 的定义:

每当需要指示或指定对象不存在时,都会使用它。它不应与零长度的向量或列表混淆。

NULL对象没有类型和可修改的属性。R 中只有一个 NULL 对象,所有实例都引用该对象。要测试NULL请使用is.null。不能在NULL上设置属性。

严格来说,NULL只是NULL.这是is.null唯一返回TRUE的东西.然而,根据?NULL

值为 NULL 的对象可由替换运算符更改,并将强制转换为右侧的类型。

因此,虽然它与具有合法模式的 length-0 向量不同(并非 R 中的所有模式都允许在向量中;读取?mode以获取完整的模式列表,?vector读取矢量的合法模式(,但这种灵活的强制通常使其行为类似于 length-0 向量:

## examples of atomic mode
integer(0)  ## vector(mode = "integer", length = 0)
numeric(0)  ## vector(mode = "numeric", length = 0)
character(0)  ## vector(mode = "character", length = 0)
logical(0)  ## vector(mode = "logical", length = 0)
## "list" mode
list()  ## vector(mode = "list", length = 0)
## "expression" mode
expression()  ## vector(mode = "expression", length = 0)

您可以进行矢量连接:

c(NULL, 0L)  ## c(integer(0), 0L)
c(NULL, expression(1+2))  ## c(expression(), expression(1+2))
c(NULL, list(foo = 1))  ## c(list(), list(foo = 1))

你可以增长一个向量(就像你在问题中所做的那样(:

a <- NULL; a[1] <- 1; a[2] <- 2
## a <- numeric(0); a[1] <- 1; a[2] <- 2
a <- NULL; a[1] <- TRUE; a[2] <- FALSE
## a <- logical(0); a[1] <- TRUE; a[2] <- FALSE
a <- NULL; a$foo <- 1; a$bar <- 2
## a <- list(); a$foo <- 1; a$bar <- 2
a <- NULL; a[1] <- expression(1+1); a[2] <- expression(2+2)
## a <- expression(); a[1] <- expression(1+1); a[2] <- expression(2+2)

使用{}生成NULL类似于expression()。虽然不完全相同,但当你以后使用它做某事时,运行时强制确实使它们无法区分。例如,在增长列表时,以下任何一项都可以使用:

a <- NULL; a$foo <- 1; a$bar <- 2
a <- numeric(0); a$foo <- 1; a$bar <- 2  ## there is a warning
a <- character(0); a$foo <- 1; a$bar <- 2  ## there is a warning
a <- expression(); a$foo <- 1; a$bar <- 2
a <- list(); a$foo <- 1; a$bar <- 2

对于具有原子模式的 length-0 向量,在运行时强制期间会生成警告(因为从"原子"到"递归"的更改太显著了(:

#Warning message:
#In a$foo <- 1 : Coercing LHS to a list

我们不会收到表达式设置的警告,因为从?expression

作为模式"表达式"的对象是一个列表...

好吧,它不是通常意义上的"列表";它是一个类似于列表的抽象语法树


您的第二个查询

a = list(foo = 1, bar = 2)相比有什么好处?

这样做没有任何好处。你应该已经在其他地方读到,在 R 中,增长对象是一种不好的做法。在谷歌上随机搜索给出:不断增长的对象和循环内存预分配。

如果您知道向量的长度以及每个元素的值,请直接创建它,例如a = list(foo = 1, bar = 2).

如果您知道向量的长度,但要计算其元素的值(例如通过循环(,请设置一个向量并进行填充,如a <- vector("list", 2); a[[1]] <- 1; a[[2]] <- 2; names(a) <- c("foo", "bar").


回复 Tjebo

我实际上查找了?mode,但它没有列出可能的模式。它指向?typeof然后指向结构TypeTable中列出的可能值src/main/util.c。我甚至找不到文件夹(OSX(的文件。知道在哪里可以找到这个吗?

它表示 R 发行版的来源,它是 CRAN 上的".tar.gz"文件。另一种方法是查找 https://github.com/wch/r-source。无论哪种方式,都是下表:

TypeTable[] = {
{ "NULL",       NILSXP     },  /* real types */
{ "symbol",     SYMSXP     },
{ "pairlist",   LISTSXP    },
{ "closure",    CLOSXP     },
{ "environment",    ENVSXP     },
{ "promise",    PROMSXP    },
{ "language",   LANGSXP    },
{ "special",    SPECIALSXP },
{ "builtin",    BUILTINSXP },
{ "char",       CHARSXP    },
{ "logical",    LGLSXP     },
{ "integer",    INTSXP     },
{ "double",     REALSXP    }, /*-  "real", for R <= 0.61.x */
{ "complex",    CPLXSXP    },
{ "character",  STRSXP     },
{ "...",        DOTSXP     },
{ "any",        ANYSXP     },
{ "expression", EXPRSXP    },
{ "list",       VECSXP     },
{ "externalptr",    EXTPTRSXP  },
{ "bytecode",   BCODESXP   },
{ "weakref",    WEAKREFSXP },
{ "raw",        RAWSXP },
{ "S4",     S4SXP },
/* aliases : */
{ "numeric",    REALSXP    },
{ "name",       SYMSXP     },
{ (char *)NULL, -1     }
};

根据 R 关于大括号和括号的文档(键入?'{'来读取它们(,大括号返回其中计算的最后一个表达式。

在这种情况下,a <- {}实质上"返回"一个空对象,因此等价于a <- NULL,后者建立了一个空变量,然后可以将其视为列表。

顺便说一下,这就是为什么可以编写 R 函数,其中只需将返回变量的名称作为函数的最终语句即可返回函数的输出。例如:

function(x) {
y <- x * 2
return(y)
}

相当于:

function(x) {
y <- x * 2
y
}

甚至:

function(x) {
y <- x * 2
}

作为赋值的函数的最后一行禁止在控制台中打印结果,但如果函数保存到变量中,则函数肯定会返回预期值。

相关内容

  • 没有找到相关文章

最新更新