devtools::test与直接运行测试的行为差异：Rcpp及CGAL除零报错

我正在开发一个R包，基于C库CGAL实现延迟数（lazy numbers）。其中NaN延迟数通过lazyNumber(0) / lazyNumber(0)实现，单独运行测试代码无问题，但通过RStudio按钮执行devtools::test()时触发CGAL的C错误。

测试代码 #

test_that("lazy vector with NA, NaN, and Inf values", {
  nv <- c(1, NA, NaN, Inf, -Inf)
  lv <- lazyvec(nv)
  expect_length(lv, 5L)
})

触发的错误信息 #

<CGAL::Precondition_exception/C++Error/error/condition>
Error in `nv2lvx(x)`: CGAL ERROR: precondition violation!
Expr: b != 0
File: /home/stla/R/x86_64-pc-linux-gnu-library/4.2/RcppCGAL/include/CGAL/Lazy_exact_nt.h
Line: 679

直接运行代码与devtools::test()的核心差异 #

• 环境严格性：devtools::test()默认启用包测试的标准环境，会激活CGAL的前置条件断言等严格检查；而直接运行代码时，这些断言通常未被开启，因此不会触发错误。
• 包加载完整性：测试时会完整加载包的所有组件及依赖初始化逻辑，而直接运行代码可能仅加载局部函数，导致NaN的处理路径存在差异。
• 类型转换严格度：测试环境下，R与C++之间的类型转换更严格，lazyvec内部的nv2lvx函数会强制执行CGAL除法的除数不为0前置条件；直接运行时则可能因环境宽松跳过该检查。

问题根源 #

CGAL的Lazy_exact_nt类除法操作有明确的前置条件b != 0，用0/0构造NaN属于依赖未定义行为的操作。在断言开启的测试环境中，该前置条件会被触发并抛出异常；直接运行时断言未启用，因此不会报错。

解决方向 #

1. 替换NaN构造方式：避免用0/0生成NaN，改用CGAL提供的合法方式直接创建NaN值。
2. 修改C++层逻辑：在nv2lvx函数中处理NaN输入时，绕过除法操作，直接构造符合要求的延迟数实例。
3. 调整测试编译选项：在包的测试配置中添加-DCGAL_NO_PRECONDITIONS编译选项，禁用CGAL的前置条件断言，但此方式会降低代码安全性，需谨慎使用。

内容的提问来源于stack exchange，提问作者Stéphane Laurent