有没有一种语言可以操纵原语？

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'周期被声称是创建新的字符串每次迭代。

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

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 

在这两种情况下，它根本没有发生任何使原始类型不变（他们为什么要冯·诺依曼机是所有关于改变状态，毕竟），指针损失多少？如果你不能改变指向的值，并且不允许指向某些可变类型的指针将是无意义和严格的限制。