是否有一种语言允许操作原语？

Question

在大多数情况下，语言不允许对基元的引用进行操作。例如：

var a = 0;
var b = a; // value is copied
b++; // b now represents a new value as this is really b = b + 1; so a != b

虽然对非基元的操作会导致（有时是破坏性的）状态操作，这会反映在所有变量中（使用 JS）：

var a = [];
var b = a; // b is now a reference to the value stored in a.
a.push(1); // b[0] is now 1 -- b and a are pointing to the same thing.

这是完全有道理的。我完全可以理解为什么像 String.replace 这样的东西会返回一个值而不是执行状态操作。

不过，我想知道是否没有任何语言允许基元进行状态操作。例如：

var a = 0;
var b = a; // b references a
b++; // b and a are now = 1.

我知道低级语言中的指针，这几乎完成了我所说的，但我感觉它只是重新分配值而不是实际更新引用。

我也了解 PHP 引用，但由于 PHP 不允许这样的事情：

$str = "abcd";
$st[0] = "q"; // this causes an error.

此外，当在 PHP 中连接多个字符串时，$str .= 'var' 的循环据称会创建新字符串每次迭代。

也许我什至想知道这一点而疯狂，但随着对象模型作为变量背景的流行程度的增加，似乎这可能实际上存在（在某些方面似乎非常复杂，特别是如果您允许 int 对象被操纵，但似乎这样的语法将是一个很好的学习来源）。

Answer 1

与您的假设相反，这既不是什么新想法，也不晦涩难懂。低级语言不会费心去强制执行任何类型的不变性（毕竟，++i 不会存在，否则就会造成浪费 - 并且硬件也没有常量寄存器，对吧？ ），但他们也会更喜欢值类型（即 a = b 复制值，而不是默默地给出对同一值的引用），因此你必须亲自动手并告诉它引用两次使用相同的值，例如通过使用指针。在 C 中：

int x = 0;
int *p = &x;
*p = 1;
/* x == 1 */

类似地，C++ 具有同样强大的指针和引用，出于这些目的，它们的工作方式类似于隐式取消引用的指针（并且不能更改为指向其他任何内容，并且不能为 NULL）：

int x = 0;
int &y = x;
y = 1;
// x == 1

在任何一种情况下，根本没有人想到让原始类型变得不可变（为什么要这样做？毕竟，冯·诺依曼机器都是关于改变状态的），如果你不能改变指向的值，指针就会失去很多价值，和禁止指向某些可变类型的指针将是毫无意义且严格的限制。