Что хотят услышать интервьюеры:

В большинстве популярных языков String реализован как ссылочный тип или как неизменяемый объект, а не как примитивное значение. В C# string — это ссылочный тип, но с особыми свойствами: он immutable и имеет поведение, удобное как для value-типа в части сравнения по содержимому. Важно понимать разницу между типом хранения, семантикой сравнения и неизменяемостью.

Определение:

String — это тип для хранения последовательности символов. В языках вроде C#, Java и JavaScript строка обычно представляется объектом, а не простым значением в стеке. При этом строка почти всегда неизменяемая: любое "изменение" создаёт новую строку, а не модифицирует существующую.

В C# string — это алиас для System.String, который является ссылочным типом. Однако для разработчика это часто ощущается как “значение”, потому что сравнение строк обычно идёт по содержимому, а не по ссылке.

Пример использования:

string a = "hello";
string b = a;

Console.WriteLine(object.ReferenceEquals(a, b)); // True
Console.WriteLine(a == b);                        // True

b = b + "!";
Console.WriteLine(a); // hello
Console.WriteLine(b); // hello!

Пояснение кода:

Код показывает, что a и b сначала указывают на одну и ту же строку "hello". Проверка ReferenceEquals подтверждает, что это один объект в памяти. Оператор == для строк в C# сравнивает содержимое, поэтому тоже даёт True.

Когда выполняется b = b + "!", строка не меняется на месте, потому что string неизменяем. Создаётся новый объект "hello!", и переменная b начинает ссылаться на него. a остаётся прежней строкой "hello".

Ключевые моменты:

В большинстве языков String — это ссылочный, объектный тип, а не примитивное значение.
В C# string — ссылочный тип, это алиас System.String.
Строки обычно неизменяемы, поэтому “изменение” строки создаёт новый объект.
Сравнение строк часто идёт по содержимому, а не по ссылке.
При собеседовании важно разделять три вещи: тип хранения, мутабельность и семантику сравнения.
Не стоит путать String как тип со строковыми литералами: литерал — это способ создать строковый объект.

Является ли String в большинстве языков программирования ссылочным типом или типом значений?