添加NA和计算结果为NaN的表达式会根据顺序返回不同的结果，是否违反了交换性？

我正在研究 R 中数字运算的极端情况。我遇到了以下涉及零除以零的特殊情况：

(0/0)+NA
#> [1] NaN
NA+(0/0)
#> [1] NA


^{由reprex 包( v2.0.0 )于 2021 年 7 月 10 日创建}

会话信息

sessionInfo()
#> R version 4.1.0 (2021-05-18)
#> Platform: x86_64-apple-darwin17.0 (64-bit)
#> Running under: macOS Big Sur 10.16
#>
#> Matrix products: default
#> BLAS: /Library/Frameworks/R.framework/Versions/4.1/Resources/lib/libRblas.dylib
#> LAPACK: /Library/Frameworks/R.framework/Versions/4.1/Resources/lib/libRlapack.dylib
#>
#> locale:
#> [1] en_US.UTF-8/en_US.UTF-8/en_US.UTF-8/C/en_US.UTF-8/en_US.UTF-8
#>
#> attached base packages:
#> [1] stats graphics grDevices utils datasets methods base
#>
#> loaded via a namespace (and not attached):
#> [1] digest_0.6.27 withr_2.4.2 magrittr_2.0.1 reprex_2.0.0
#> [5] evaluate_0.14 highr_0.9 stringi_1.6.2 rlang_0.4.11
#> [9] cli_3.0.0 rstudioapi_0.13 fs_1.5.0 rmarkdown_2.9
#> [13] tools_4.1.0 stringr_1.4.0 glue_1.4.2 xfun_0.23
#> [17] yaml_2.2.1 compiler_4.1.0 htmltools_0.5.1.1 knitr_1.33


这显然违反了加法的交换性质。我有两个问题：

1. 是否有基于 R 语言定义的这种行为的解释？




2. 是否有其他不涉及加数子表达式中副作用的违反加法交换属性的例子（包括在其他语言中）？