dart - 在像 Dart 这样的现代语言中，传递引用的真正含义是什么？

Question

与 Futures 合作在 Dart 中，我遇到了一个有趣的问题。

import 'dart:async';

class Egg {
  String style;
  Egg(this.style);
}

Future cookEggs(List<Egg> list) =>
  new Future(() =>
    ['omelette','over easy'].forEach((_) => list.add(new Egg(_)))
  );

Future cookOne(Egg egg) => new Future(() => egg = new Egg('scrambled'));

void main() {
  List<Egg> eggList = new List();
  Egg single;

  cookEggs(eggList).whenComplete(() => eggList.forEach((_) => print(_.style));
  cookOne(single).whenComplete(() => print(single.style));
}

预期的输出是:

omelette
over easy
scrambled

cookEggs获取 List<Eggs> 的函数工作正常，但访问 style single 的属性(property)不成功并抛出 NoSuchMethodError .

我首先认为这可能与传递引用有关，但我不明白为什么 Dart 会传递 List通过引用但不是 Egg .现在我认为差异可能与赋值( = )运算符和 List.add() 有关。方法。我被困在那个思路中，我不知道如何检验我的假设。

有什么想法吗？

程序的输出和堆栈跟踪如下所示:

omelette
over easy
Uncaught Error: The null object does not have a getter 'style'.

NoSuchMethodError: method not found: 'style'
Receiver: null
Arguments: []
Stack Trace: 
#0      Object.noSuchMethod (dart:core-patch/object_patch.dart:45)
#1      main.<anonymous closure> (file:///path/to/eggs.dart:20:51)
#2      _rootRun (dart:async/zone.dart:719)
#3      _RootZone.run (dart:async/zone.dart:862)
#4      _Future._propagateToListeners.handleWhenCompleteCallback (dart:async/future_impl.dart:540)
#5      _Future._propagateToListeners (dart:async/future_impl.dart:577)
#6      _Future._complete (dart:async/future_impl.dart:317)
#7      Future.Future.<anonymous closure> (dart:async/future.dart:118)
#8      _createTimer.<anonymous closure> (dart:async-patch/timer_patch.dart:11)
#9      _handleTimeout (dart:io/timer_impl.dart:292)
#10     _RawReceivePortImpl._handleMessage (dart:isolate-patch/isolate_patch.dart:124)


Unhandled exception:
The null object does not have a getter 'style'.

NoSuchMethodError: method not found: 'style'
Receiver: null
Arguments: []
#0      _rootHandleUncaughtError.<anonymous closure>.<anonymous closure> (dart:async/zone.dart:713)
#1      _asyncRunCallbackLoop (dart:async/schedule_microtask.dart:23)
#2      _asyncRunCallback (dart:async/schedule_microtask.dart:32)
#3      _asyncRunCallback (dart:async/schedule_microtask.dart:36)
#4      _RawReceivePortImpl._handleMessage (dart:isolate-patch/isolate_patch.dart:128)

Answer 1

快速回答:传递给您的函数的内容 cookEggs和 cookOne是对 的引用对象 , 而不是变量(这将是真正的按引用传递)。

术语 传递引用经常被误用为 按值传递引用 : 许多语言只有按值传递语义，其中传递的值是引用(即指针，没有危险的特性)。见 Is Java "pass-by-reference" or "pass-by-value"?

在cookEggs(eggList)的情况下…

...变量 eggList包含对鸡蛋列表的引用。该引用最初由表达式 new List() 提供给您。 ，然后您将它传递给 cookEggs同时存储在您的变量中后 eggList .内cookEggs ，添加到列表有效，因为您传递了对实际存在的列表对象的引用。

在cookOne(single)的情况下…

...变量 single只是被声明，所以它被语言运行时隐式初始化为特殊引用 null .内cookOne ，您正在替换 egg 中包含的引用;自 single是一个不同的变量，它仍然包含 null ，因此当您尝试使用它时代码会失败。

澄清

按值传递引用的行为在许多现代语言(Smalltalk、Java、Ruby、Python……)中都很常见。当您传递一个对象时，您实际上是按值传递(因此是复制)变量的内容，它是指向该对象的指针。您永远无法控制对象真正存在的位置。

这些指针是命名引用而不是指针，因为它们仅限于抽象出内存布局:您无法知道对象的地址，您无法查看对象周围的字节，您甚至无法确定对象存储在内存中的固定位置，或者它根本存储在内存中(可以将对象引用实现为 UUID 或持久数据库中的键，如在 Gemstone 中)。

相比之下，通过引用传递，您在概念上传递的是变量本身，而不是其内容。要在按值传递语言中实现按引用传递，您需要将变量具体化为可以传递且其内容可以更改的 ValueHolder 对象。