r - R如何在内部表示NA？

Question

R 似乎支持NA浮点数组中的有效值。它在内部如何表示？

我（也许是有缺陷的）理解是现代 CPU 可以在硬件中执行浮点计算，包括有效处理 Inf、-Inf 和 NaN 值。如何NA适应这一点，如何在不影响性能的情况下实施？

Answer 1

R 使用为IEEE 浮点数定义的 NaN 值来表示NA_real_和。我们可以使用一个简单的 C++ 函数来明确这一点：InfNA

Rcpp::cppFunction('void print_hex(double x) {
    uint64_t y;
    static_assert(sizeof x == sizeof y, "Size does not match!");
    std::memcpy(&y, &x, sizeof y);
    Rcpp::Rcout << std::hex << y << std::endl;
}', plugins = "cpp11", includes = "#include <cstdint>")
print_hex(NA_real_)
#> 7ff80000000007a2
print_hex(Inf)
#> 7ff0000000000000
print_hex(-Inf)
#> fff0000000000000

指数（直到 13 位的第二个）全为 1。这是 IEEE NaN 的定义。但是，虽然Inf尾数全为零，但情况并非如此NA_real_。这里有一些源 代码 参考。