Hui*_*ang 4 groovy closures assert tostring gstring
我正在阅读https://groovy-lang.org/closures.html#this 中的 Groovy 闭包文档。有一个关于 GString 行为的问题。
- GStrings 中的闭包
该文件提到了以下内容：
取以下代码：
def x = 1
def gs = "x = ${x}"
assert gs == 'x = 1'
该代码的行为与您预期的一样，但是如果您添加以下内容会发生什么：
x = 2
assert gs == 'x = 2'
你会看到断言失败了！有两个原因：
GString 只懒惰地评估值的 toString 表示
GString 中的语法 ${x} 不代表闭包，而是 $x 的表达式，在创建 GString 时计算。
在我们的示例中，GString 是使用引用 x 的表达式创建的。创建 GString 时，x 的值为 1，因此创建的 GString 值为 1。触发断言时，评估 GString，并使用 toString 将 1 转换为 String。当我们将 x 更改为 2 时，我们确实更改了 x 的值，但它是一个不同的对象，并且 GString 仍然引用旧的。
如果 GString 引用的值发生变化，它只会更改其 toString 表示。如果引用发生变化，则什么都不会发生。
我的问题是关于上面引用的解释，在示例代码中，1显然是一个值，而不是引用类型，那么如果这个说法是真的，它应该在GString中更新为2吗？
下面列出的下一个例子我也觉得有点困惑（最后一部分）为什么如果我们变异 Sam 将他的名字改为 Lucy，这次 GString 是正确变异的？我期待它不会变异？？为什么两个例子中的行为如此不同？
class Person {
String name
String toString() { name }
}
def sam = new Person(name:'Sam')
def lucy = new Person(name:'Lucy')
def p = sam
def gs = "Name: ${p}"
assert gs == 'Name: Sam'
p = Lucy. //if we change p to Lucy
assert gs == 'Name: Sam' // the string still evaluates to Sam because it was the value of p when the GString was created
/* I would expect below to be 'Name: Sam' as well
* if previous example is true. According to the
* explanation mentioned previously.
*/
sam.name = 'Lucy' // so if we mutate Sam to change his name to Lucy
assert gs == 'Name: Lucy' // this time the GString is correctly mutated
为什么评论说'这次 GString 正确变异了？在之前的评论中，它刚刚提到
该字符串仍然计算为 Sam 因为它是创建 GString 时 p 的值，创建 String 时 p 的值是“Sam”
因此我认为它不应该在这里改变？感谢您的帮助。
这两个示例解释了两个不同的用例。在第一个示例中，表达式"x = ${x}"创建了一个GString内部存储strings = ['x = ']和的对象values = [1]。您可以检查这个特殊的内部GString具有println gs.dump()：
<org.codehaus.groovy.runtime.GStringImpl@6aa798b strings=[x = , ] values=[1]>
这两个对象，一个String一个的在strings阵列中，和Integer一个在所述values阵列是不可变的。（值是不可变的，而不是数组。）当x变量被赋予一个新值时，它会在内存中创建一个与数组中1存储的对象无关的新对象GString.values。x = 2不是突变。这是新对象的创建。这不是 Groovy 特定的东西，这就是 Java 的工作方式。您可以尝试以下纯 Java 示例来查看它是如何工作的：
<org.codehaus.groovy.runtime.GStringImpl@6aa798b strings=[x = , ] values=[1]>
类的用例Person是不同的。在这里你可以看到一个对象的变异是如何工作的。当您更改sam.name为 时Lucy，您会改变存储在GString.values数组中的对象的内部阶段。相反，如果您创建一个新对象并将其分配给sam变量（例如sam = new Person(name:"Adam")），则不会影响现有GString对象的内部结构。内部存储的对象GString没有发生变异。sam这种情况下的变量只是指内存中的不同对象。当您这样做时sam.name = "Lucy"，您会改变内存中的对象，因此GString（使用对同一对象的引用）会看到此更改。它类似于以下纯 Java 用例：
List<Integer> list = new ArrayList<>();
Integer number = 2;
list.add(number);
number = 4;
System.out.println(list); // prints: [2]
可以看到，list2存储参考到在存储器中的对象表示通过nested在时间可变时nested加入list2。当您nested通过向列表添加新数字来改变列表时，这些更改会反映在 中list2，因为您改变了内存中list2有权访问的对象。但是当你nested用一个新列表覆盖时，你创建了一个新对象，并且list2在内存中与这个新对象没有任何联系。您可以将整数添加到这个新nested列表中而list2不会受到影响 - 它在内存中存储对不同对象的引用。（以前可以使用nested变量引用的对象，但此引用稍后在代码中被新对象覆盖。）
GString在这种情况下，其行为类似于我上面向您展示的列表示例。如果您改变了内插对象的状态（例如sam.name，或将整数添加到nested列表中），则此更改会反映在GString.toString()调用方法时生成字符串的 中。（创建的字符串使用存储在values内部数组中的值的当前状态。）另一方面，如果您使用新对象（例如x = 2、sam = new Person(name:"Adam")、 或nested = new ArrayList()）覆盖变量，它不会更改GString.toString()方法产生的内容，因为它仍然使用存储在内存中的一个（或多个）对象，该对象以前与您分配给新对象的变量名称相关联。