Вопрос о выделении памяти?

Последовательность - это массив символов. Поскольку это массив, он не может быть примитивом!: -)

Это зависит от того, что вы имеете в виду под «primitive»

«Primitive» в Java обычно принимают за «value type». Однако C # имеет ключевое слово последовательностей , которое действует точно так же, как и Последовательность Java, оно просто выделяется редактором по-разному. Они являются псевдонимами для классов System. Последовательность или java.lang. Последовательность . Последовательность не является типом значения ни на одном языке, поэтому таким образом она не является примитивом.

Если под «примитивом» подразумевается встроенный в язык, то последовательность является примитивом. Просто используется заглавная буква. Строковые литералы (в кавычках) автоматически преобразуются в System.String и + используется для конкатенации. Таким образом, они (и Массивы) являются такими же примитивными, как ints, longs и т. д.

Во-первых, что такой Ряд?

Последовательность не является оберткой. Последовательность - это ссылочный тип , а примитивные типы - типы значений . Это означает, что если у вас есть:

int x = 5;
int y = x;

Память x и y оба содержат «5». Но с:

String x = "a";
String y = x;

Память x и y оба содержат указатель на символ «a» (и длину, смещение, указатель ClassInfo и монитор). Последовательности ведут себя как примитив, потому что они незыблемы, поэтому обычно это не проблема, однако если вы, скажем, использовали отражение, чтобы изменить содержимое последовательности ( не делать этого! ), как x, так и y увидят изменение. На самом деле, если у вас есть:

char[] x = "a".toCharArray();
char[] y = x;
x[0] = 'b';
System.out.println(y[0] == 'b'); // prints "true"

Так что не просто использовать char [] (если это не поведение вы хотите, или вы действительно пытаетесь уменьшить использование памяти).

Каждый объект является ссылочным типом - это означает все записываемые классы, каждый класс в структуре и даже массивы. Единственными вещами, которые являются ценностными типами, являются простые числовые типы (int, long, short, byte, float, double, char, bool и т. д.)

Почему последовательность не может изменяться как char []?

Для этого есть несколько причин, но в основном это сводится к психологии и деталям реализации:

• Представьте себе хаос, который был бы у вас, если бы вы передали последовательность в другую функцию и эта функция каким-то образом изменила ее. Или что, если она где-то спасла и изменила в будущем? Для большинства ссылочных типов, вы принимаете это как часть типа, но разработчики Java решили, что, по крайней мере для последовательностей, они не хотят, чтобы пользователи должны беспокоиться об этом.
• Последовательности не могут рассматриваться атомарно, что означает, что многопоточность/синхронизация могут стать проблемой.
• Последовательности литералы (то, что вы помещаете в код в кавычках) могут быть неизменными на уровне компьютера ¹ (по соображениям безопасности). Это может быть достигнуто путем копирования их всех в другую часть памяти при запуске программы или с помощью копирования при записи, но это медленно .

Почему у нас нет версии последовательности типа value?

В основном, данные о производительности и реализации,а также сложность наличия 2 различных типов последовательностей. Другие типы значений имеют фиксированный объем памяти. Int - это всегда 32 бит, long - это всегда 64 бит, bool - это всегда 1 бит и т. д. ² Помимо прочего, это означает, что они могут храниться в стеке, так что все параметры функции живут в одном месте. Кроме того, создание гигантских копий последовательностей по всему месту может убить производительность.

См. также: Почему в C # последовательность является ссылочным типом, который ведет себя как тип значения? . Относится к .NET, но это так же применимо в Java.

_{1 - В C/C + + и других самокомпилируемых языках это верно, потому что они помещаются в сегмент кода процесса, который ОС обычно останавливает редактирование. В Java это на самом деле обычно не соответствует действительности, так как JVM загружает файлы классов в кучу, чтобы там можно было редактировать последовательность. Однако нет причин, по которым Java-программа не может быть скомпилирована (есть инструменты, которые делают это), и некоторые архитектуры (особенно некоторые версии ARM) выполняют непосредственно байт-код Java.}

_{2 - На практике некоторые из этих типов имеют различный размер на уровне машины. E.x. буллы хранятся в стеке как WORD-size (32 бита на x86, 64 бита на x64). В классах/массивах они могут обрабатываться по-разному. Это все детали реализации, которые остались до JVM - спецификация говорит, что булы являются либо истинными, либо ложными, и машина может выяснить, как это сделать.}

Ссылка t1 назначается в стеке метода Main - присвоенное ей значение (т.е. часть «new Test ()») назначается в куче во время выполнения - поэтому переменная t1 существует до выполнения этой строки и имеет значение null.