В C# строки (string) являются ссылочным типом.

Несмотря на то, что переменная типа string хранит ссылку на объект в куче, строка обладает поведением, схожим со значимыми типами, благодаря неизменяемости (immutability) и перегрузке операторов.

Неизменяемость означает, что после создания объекта string его содержимое нельзя изменить. Любая операция, которая кажется изменяющей строку (например, конкатенация), на самом деле создает новый объект string. Это повышает безопасность при работе в многопоточной среде и позволяет оптимизировать хранение строк путем интернирования.

Пример конкатенации:

// string str1 ссылается на объект "Hello"
string str1 = "Hello"; 
// str2 ссылается на НОВЫЙ объект "HelloWorld", 
// объект "Hello" остается в памяти, пока на него есть ссылки
string str2 = str1 + "World";

Перегрузка оператора равенства (==) для строк сравнивает их содержимое, а не ссылки. Это отличие демонстрирует, насколько поведение строк в определенных аспектах похоже на значимые типы:

// s1 и s2 - разные объекты в памяти, но их содержимое одинаково
string s1 = new string(new char[] { 'A', 'B' });
string s2 = new string(new char[] { 'A', 'B' });
// Оператор == перегружен для сравнения содержимого, поэтому s1 == s2 возвращает true
bool areEqual = s1 == s2; 
// Метод ReferenceEquals сравнивает ссылки, поэтому ReferenceEquals(s1, s2) возвращает false
bool areSameReference = object.ReferenceEquals(s1, s2);

Таким образом, хотя string формально является ссылочным типом, его свойства неизменяемости и перегрузка операторов придают ему поведенческие характеристики, которые могут быть ошибочно приняты за характеристики значимого типа.

Являются ли строки значимым или ссылочным типом в C#?