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

| 在大多数情况下,语言将不允许操纵对基元的引用。例如。:
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
在这两种情况下,任何人都不会使原始类型变得不可变(为什么呢?毕竟,冯·诺伊曼机器都是关于改变状态的),如果不能改变,指针将失去很多价值。所指向的值,并且不允许指向某些可变类型的指针将是毫无意义且严重的限制。     

要回复问题请先登录注册