Programming languages 在SML中，每个变量都表示一个引用吗？_Programming Languages_Sml_Ml

Programming languages 在SML中，每个变量都表示一个引用吗？

programming-languages sml

Programming languages 在SML中，每个变量都表示一个引用吗？,programming-languages,sml,ml,Programming Languages,Sml,Ml,在C中每个变量都表示一个引用，我们可以通过操作符&从变量中获取引用。e、 g.如果int x=1，则&x是由变量x表示的参考每个变量的计算值都是引用的值。e、 g.x计算为1 在SML中每个变量都表示一个引用吗？例如，如果val y=ref（3），则y表示引用3。如果设val x=4，x表示什么：4或引用4的引用？我们能否得到变量x表示的引用，类似于C中的& y评估为参考ref 3，x评估为4 谢谢。SML中的变量绑定不会引入引用。在您的示例中，无法获取对x的引用。所有引用都必须显

在C中

每个变量都表示一个引用，我们可以通过操作符
```
&
```
从变量中获取引用。e、 g.如果
```
int x=1
```
，则
```
&x
```
是由变量
```
x
```
表示的参考
每个变量的计算值都是引用的值。e、 g.
```
x
```
计算为
```
1
```

在SML中

每个变量都表示一个引用吗？例如，如果
```
val y=ref（3）
```
，则
```
y
```
表示引用
```
3
```
。如果
```
设val x=4
```
，
```
x
```
表示什么：
```
4
```
或引用
```
4
```
的引用？我们能否得到变量
```
x
```
表示的引用，类似于C中的
```
&
```
```
y
```
评估为参考
```
ref 3
```
，
```
x
```
评估为
```
4
```

谢谢。

SML中的变量绑定不会引入引用。在您的示例中，无法获取对

的引用。所有引用都必须显式创建，并且都是一流的值。只有这样的引用才是可变的，绑定则不是

换句话说，绑定和引用在SML中是完全独立的特性。

SML中的变量绑定不引入引用。在您的示例中，无法获取对

的引用。所有引用都必须显式创建，并且都是一流的值。只有这样的引用才是可变的，绑定则不是

换句话说，绑定和引用在SML中是完全独立的特性