为何object_usage_linter仅检查赋值函数？如何开启匿名函数检查？

设计原因 #

object_usage_linter()默认只检查被赋值的函数，主要有以下几点考量：

• 减少误报：匿名函数常作为参数传递给lapply这类函数，这类场景中函数体内的变量可能由调用方提供（比如lapply会自动将迭代元素传入匿名函数参数）。如果默认检查所有匿名函数，很容易产生不必要的误报，干扰正常代码检查。
• 聚焦核心代码：被赋值的函数通常是代码中会被复用、长期维护的部分，未定义变量的问题影响更大；而临时匿名函数多为一次性逻辑，出错概率和影响范围相对较小。
• 降低分析复杂度：静态分析中追踪匿名函数的变量作用域难度更高，尤其是当匿名函数作为参数在不同上下文传递时，需要额外处理调用方的参数传递逻辑。默认不检查匿名函数可以简化linter实现，提升lint效率。

实现匿名函数的检查方法 #

如果需要检查lapply这类场景中的匿名函数，可以自定义一个扩展linter，覆盖所有函数定义（包括匿名函数）的变量检查。以下是示例实现：

library(lintr)
library(rlang)

anonymous_object_usage_linter <- function() {
  Linter(function(source_expression) {
    if (!is_lint_level(source_expression, "expression")) {
      return(list())
    }
    
    # 定位所有函数定义节点
    fun_nodes <- xml2::xml_find_all(source_expression$xml, "//SYMBOL_FUNCTION_CALL[text()='function']/parent::expr")
    
    lapply(fun_nodes, function(node) {
      # 获取函数体节点
      body_node <- xml2::xml_find_first(node, "following-sibling::expr[1]")
      if (is.na(body_node)) return(NULL)
      
      # 提取函数体中的变量引用（排除嵌套函数内的变量）
      var_nodes <- xml2::xml_find_all(body_node, "//SYMBOL[not(ancestor::expr[SYMBOL_FUNCTION_CALL/text()='function'])]")
      
      lapply(var_nodes, function(var_node) {
        var_name <- xml2::xml_text(var_node)
        # 获取函数参数列表
        params_node <- xml2::xml_find_first(node, "following-sibling::expr[position()=1]/preceding-sibling::expr[1]")
        params <- if (!is.na(params_node)) {
          xml2::xml_text(xml2::xml_find_all(params_node, ".//SYMBOL"))
        } else {
          character(0)
        }
        
        # 获取函数体内的局部赋值变量
        local_assignments <- xml2::xml_find_all(body_node, "//LEFT_ASSIGN/SYMBOL | //EQ_ASSIGN/SYMBOL")
        local_vars <- xml2::xml_text(local_assignments)
        
        # 检查变量是否未定义
        if (!(var_name %in% c(params, local_vars))) {
          Lint(
            filename = source_expression$filename,
            line_number = as.integer(xml2::xml_attr(var_node, "line1")),
            column_number = as.integer(xml2::xml_attr(var_node, "col1")),
            type = "warning",
            message = sprintf("[anonymous_object_usage_linter] no visible binding for global variable '%s'", var_name),
            linter = "anonymous_object_usage_linter"
          )
        } else {
          NULL
        }
      })
    }) %>% unlist() %>% compact()
  })
}

使用这个自定义linter测试：

# 检查lapply中的匿名函数
lintr::lint(text = "lapply(1:3, FUN = function() x)",
            linters = anonymous_object_usage_linter())
#> <text>:1:33: warning: [anonymous_object_usage_linter] no visible binding for global variable 'x'
#> lapply(1:3, FUN = function() x)
#>                                 ^

这个自定义linter会遍历代码中所有函数定义，检查函数体内的变量是否有可见绑定（参数或局部赋值），从而覆盖匿名函数的场景。

内容的提问来源于stack exchange，提问作者mnist