关于R语言官方指南中回收规则的两项技术问询

问题1：是否可以认为R的某份官方指南是基于经验总结回收规则的？ #

可以。R官方指南《R导论》的5.4.1节明确说明，涉及向量和数组逐元素混合计算的精确规则难以在参考文献中找到，当前给出的回收规则是基于经验总结出的可靠指南。

问题2：通俗易懂解释回收规则（含规则4的细节） #

把官方的五条规则拆解成大白话：

• 规则1：表达式从左到右扫描
  R计算运算式时，会从左到右依次处理，先完成左侧的运算步骤，再推进到右侧。
• 规则2：短向量自动“复制拉长”匹配长度
  当运算里的向量长度不一致时，短向量会重复自身的值，直到长度和长向量一致，再进行逐元素计算。比如用c(1,2)（长度2）加c(3,4,5,6)（长度4），短向量会自动变成c(1,2,1,2)，最终得到c(4,6,6,8)。
• 规则3：数组维度必须一致，否则报错
  如果运算里只有短向量和数组（比如矩阵、多维数组），所有数组的dim属性（即行数、列数这类维度信息）必须完全相同，否则R会直接报错。比如2行3列的矩阵，不能和3行2列的矩阵直接运算。
• 规则4：向量长度不能超过矩阵/数组的总元素数，否则报错
  这里的“长度”指向量的总元素个数，矩阵/数组的总元素数是各维度大小的乘积（比如2行3列的矩阵总元素数是6）。如果向量的元素个数比矩阵/数组的总元素数还多，R就会报错。举个例子：总元素数为6的矩阵，不能和长度为7的向量一起运算——因为没法通过复制或调整维度让两者匹配，直接触发错误。
• 规则5：结果保留共同的数组结构
  如果运算包含数组，且过程中没报错、也没被强制转为向量，最终结果会和参与运算的数组保持一致的维度结构。比如用短向量加2行3列的矩阵，结果还是2行3列的矩阵。

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