字符串实习。编译器如何知道？

Question

我知道什么是字符串实习，以及为什么以下代码的行为方式如下：

var hello = "Hello";
var he_llo = "He" + "llo";
var b = ReferenceEquals(hello, he_llo); //true

要么

var hello = "Hello";
var h_e_l_l_o = new string(new char[] { 'H', 'e', 'l', 'l', 'o' });
var b = ReferenceEquals(hello, he_llo); //false

...或者我以为我做了，因为在我正在研究的一些代码中出现了一个微妙的错误：

var s = "";
var sss = new string(new char[] { });
var b = ReferenceEquals(s, sss); //True!?

编译器如何知道 sss实际上是一个空字符串？

Answer 1

如果在字符串构造函数中传递空数组或空数组 ，则返回空字符串。

它在参考代码的注释中指定。

 // Creates a new string with the characters copied in from ptr. If
 // ptr is null, a 0-length string (like String.Empty) is returned.

你也可以看到与null数组相同的结果：

char[] tempArray = null;
var s = "";
var sss2 = new string(tempArray);
var b = ReferenceEquals(s, sss2); //True!?