Dart中StringBuffer生成的字符串与字面量是否为同一对象？

1. identical函数的本质 #

identical()的作用是检查两个引用是否指向内存中的同一个对象，完全不会调用==运算符，它是Dart VM层面直接比较对象的内存地址，性能远高于==。
可以通过自定义类的示例验证该逻辑：

class Test {
  final int a;
  Test(this.a);
  // 重写==规则，只要a值相等就返回true
  @override
  bool operator ==(Object other) => other is Test && other.a == a;
  @override
  int get hashCode => a.hashCode;
}
void main() {
  var t1 = Test(1);
  var t2 = Test(1);
  print(t1 == t2); // 输出true
  print(identical(t1, t2)); // 输出false，两个对象是不同的内存实例
}

2. 小整数的缓存机制 #

Dart VM对指定范围内的小整数（不同平台范围略有差异，通常为-2^30到230-1）做了常驻缓存，所有相同值的小整数都指向同一个实例，因此只要值相等的小整数，identical()都会返回true，超出范围的大整数不会被缓存，可能出现值相等但identical()返回false的情况。

你遇到的StringBuffer拼接结果和字面量identical()返回true的情况，是编译期常量推导优化导致的：
你的示例代码里，StringBuffer写入的"test"和"1"都是编译期可知的常量，编译器在编译阶段就能推导出来最终sb.toString()的结果一定是"test1"，所以直接把s2的赋值优化成了指向字符串常量池里的"test1"实例，和s1是同一个对象，因此identical()返回true。
如果写入的内容是运行时才能确定的（比如动态输入、随机值、变量计算结果），StringBuffer.toString()会生成新的字符串实例，和字面量的identical()结果就会是false：

import 'dart:math';
void main() {
  String s1 = "test1";
  StringBuffer sb = StringBuffer();
  // 写入运行时才能确定的内容
  sb.write(Random().nextBool() ? "test" : "other");
  sb.write("1");
  String s2 = sb.toString();
  print(s1 == s2); // 随机为true或false
  print(identical(s1, s2)); // 即使内容相同也一定返回false
}

Dart本身自带**字符串驻留（String interning）**机制：

• 编译期的字符串字面量会自动进入驻留池，相同内容的字面量指向同一个实例
• 运行时生成的字符串可以手动调用String.intern()方法加入驻留池，调用该方法会返回当前字符串对应的驻留实例：如果池中已经有相同内容的字符串，直接返回已有实例；没有则将当前字符串加入池后返回。
  针对你开发标签集合的场景：
• 如果标签重复率很高，建议所有标签在存储前都调用intern()方法，这样相同内容的标签会复用同一个实例，既节省内存，也可以直接用identical做标签的快速比对，性能远高于逐字符比较的==
• 如果标签重复率很低，不需要做额外处理，直接创建字符串即可，Dart的内存管理效率足够支撑普通场景的使用，不需要自己手动实现字符串池。

内容的提问来源于stack exchange，提问作者The Tosters