是否有允许操纵原语的语言？

如何解决是否有允许操纵原语的语言？

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

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

对象操纵，但似乎这样的语法将是一个很好的学习资源）。     

解决方法

        与您看起来的假设相反，这既不是新概念也不是晦涩难懂。低级语言不会费心地强制任何类型的不变性（毕竟，

++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

在这两种情况下，任何人都不会使原始类型变得不可变（为什么呢？毕竟，冯·诺伊曼机器都是关于改变状态的），如果不能改变，指针将失去很多价值。所指向的值，并且不允许指向某些可变类型的指针将是毫无意义且严重的限制。