为什么评价策略、按值调用等仅在功能调用的背景下讨论？

Question

我指的是关于按值传递、按引用传递的语义上的差异和细微差别的各种讨论，例如在这样或维基百科关于这一主题的文章。

我的问题是，为什么这些文章和对话总是只在参数传递和函数调用的上下文中而不是在赋值上下文中讨论逐值、逐引用等问题？

例如，假设如下：

A a1 = new A();
A a2 = a1;

..。为什么不按值复制分配的对象是理所当然的呢？

我不是在问，为什么要让任务的语义“按值”复制对象，这将是一个值得质疑的语言设计决定--我是在问语言规范是否明确地说明了这一点，或者在什么标题下语言设计理论处理了这些决定。

Answer 1

我的问题是，为什么这些文章和对话总是只在参数传递和函数调用的上下文中而不是在赋值上下文中讨论逐值、逐引用等问题？

正如Doval在注释中提到的那样，主要原因是赋值通常被建模为函数调用(因此可以忽略)。

为什么不按值复制分配的对象是理所当然的呢？

你的意思是像在C，C++和一堆其他语言？如今，最常见的原因是复制非平凡的对象不是原子操作。因为它不是原子操作，所以安全地使并发程序变得更加困难，这已经非常困难了。

另外，因为大多数程序员通常不需要对象的值语义。

我要问的是，语言规范是否明确地说明了这一点，或者在什么标题下，语言设计理论处理了这样的决定。

常用术语有引用/值类型和引用/值语义(如注释中提到的)。