R语言match.arg行为不一致问题及无依赖校验实现咨询

match.arg的核心设计目标是为函数参数提供缺省值+可选值匹配能力，当你没有显式传入choices参数时，它会自动从对应函数形参的默认声明中提取可选值集合，它的内置判定逻辑有一个很容易踩坑的分支：

• 当several.ok = FALSE时，如果传入的arg和提取到的可选值集合完全相等（长度一致、元素完全对应），match.arg会直接判定为「用户未手动传入该参数，使用形参默认值」，此时不会抛出多值错误，而是直接返回可选值集合的第一个元素。

你遇到的第三种情况正好触发了这个分支：传入的c("R", "python", "C")和形参默认声明的可选向量完全一致，因此函数直接返回了第一个值"R"，没有触发多值报错。
其余两种情况的表现符合常规认知：

• 传入单个合法值时，精确匹配后返回对应结果
• 传入长度大于1、但和完整可选值集合不一致的向量时，触发多值错误

不需要依赖第三方包，只需要在调用match.arg前增加长度校验，提前拦截多值传入的场景即可避开默认分支的坑，代码如下：

choose_language <- function(language = c("R", "python", "C")) {
  # 提前拦截多值传入场景，避开match.arg的缺省判定分支
  if (length(language) != 1) {
    stop("`language`仅支持传入单个合法取值，不可传入多个值", call. = FALSE)
  }
  language <- match.arg(language)
  paste('I love', language)
}

如果需要更明确的取值报错提示，也可以显式声明可选值集合、自定义错误信息，效果和checkmate::assertChoice完全一致：

choose_language <- function(language = "R") {
  valid_opts <- c("R", "python", "C")
  # 校验参数长度
  if (length(language) != 1) {
    stop(sprintf("`language`长度必须为1，当前传入长度为%d", length(language)), call. = FALSE)
  }
  # 校验取值合法性
  if (!language %in% valid_opts) {
    stop(
      sprintf("`language`仅支持取值 %s，当前传入值为'%s'",
              paste0("'", valid_opts, "'", collapse = "、"),
              language),
      call. = FALSE
    )
  }
  paste('I love', language)
}

两种实现都可以达到预期效果：

• 传入单个合法值时正常运行
• 传入2个及以上值时统一抛出长度错误
• 传入不在可选范围内的单值时抛出取值错误
• 缺省传参时使用默认值正常运行

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