Оптимизируются ли строковые литералы компилятором?

РЕДАКТИРОВАТЬ: Хотя я сильно подозреваю, что приведенное ниже утверждение верно для всех реализаций компилятора C #, я не уверен, что это действительно гарантировано в спецификации. В разделе 2.4.4.5 спецификации говорится о литералах, относящихся к одному и тому же экземпляру строки, но не упоминаются другие константные строковые выражения. Я подозреваю, что это упущение в спецификации - я напишу Мэдсу и Эрику об этом по электронной почте.

Это не просто строковые литералы. Это любая строка константа. Так, например, рассмотрим:

public const string X = "X";
public const string Y = "Y";
public const string XY = "XY";

void Foo()
{
    string z = X + Y;
}

Компилятор понимает, что здесь конкатенация (для z) происходит между двумя константными строками, и поэтому результат также является константной строкой. Следовательно, начальное значение z будет той же ссылкой, что и значение XY, потому что они константы времени компиляции с тем же значением.

РЕДАКТИРОВАТЬ: ответ Мэдса и Эрика предположил, что в компиляторе Microsoft C # строковые константы и строковые литералы обычно обрабатываются одинаково, но другие реализации могут отличаться.

В этой статье довольно хорошо объясняется интернирование строк. Цитировать:

В .NET существует концепция «внутреннего пула». По сути, это просто набор строк, но он гарантирует, что каждый раз, когда вы ссылаетесь на один и тот же строковый литерал, вы получаете ссылку на одну и ту же строку. Это, вероятно, зависит от языка, но это, безусловно, верно для C # и VB.NET, и я был бы очень удивлен, если бы увидел язык, для которого он не поддерживался, поскольку IL делает это очень легко (вероятно, проще, чем не внутренние литералы). Помимо автоматического интернирования литералов, вы можете вручную интернировать строки с помощью метода Intern и проверять, существует ли уже интернированная строка с такой же последовательностью символов в пуле, используя метод IsInterned. Это несколько неинтуитивно возвращает строку, а не логическое значение - если в пуле есть такая же строка, возвращается ссылка на эту строку. В противном случае возвращается null. Аналогичным образом, метод Intern возвращает ссылку на интернированную строку - либо строку, которую вы передали, если она уже была в пуле, либо вновь созданную интернированную строку, либо такую ​​же строку, которая уже была в пуле.

Да, он оптимизирует строковые литералы. Один простой пример, где вы можете это увидеть:

string s1="A";
string s2="A";
object.ReferenceEquals(s1,s2);  //true