Как работает обращение к свойству или методу строки (например, length), если строка — примитив?

В JavaScript строки бывают двух видов: примитивные значения (например, "hello") и объекты-обёртки, созданные через new String("hello"). Примитив по определению не имеет свойств и методов — это просто неизменяемое значение. Однако в коде мы спокойно пишем "hello".length или "hello".toUpperCase(), и это работает. Причина — механизм автоупаковки (autoboxing), встроенный в движок.

Что происходит при обращении к свойству

Когда интерпретатор видит обращение к свойству или методу у примитива, он выполняет следующие шаги:

1. Создаёт временный объект-обёртку соответствующего типа (для строки — String).
2. Копирует в него примитивное значение.
3. Ищет запрошенное свойство или метод в этом объекте и его прототипе (String.prototype).
4. Возвращает результат.
5. Уничтожает временный объект — исходная переменная остаётся примитивом.

Именно поэтому length и методы вроде toUpperCase, slice, indexOf доступны у строковых примитивов: они определены в String.prototype, а обёртка даёт к ним доступ.

Пример

const s = "hello";

console.log(s.length);        // 5 — сработала автоупаковка
console.log(s.toUpperCase()); // "HELLO"

// Эквивалент того, что делает движок под капотом:
const tmp = new String(s);
console.log(tmp.length);      // 5
// tmp уничтожается, s остаётся примитивом
console.log(typeof s);        // "string"

// Важное следствие: свойства у примитива не сохраняются
s.custom = 42;
console.log(s.custom);        // undefined — обёртка уже уничтожена

Практические следствия

• Примитивы неизменяемы: методы строки возвращают новую строку, а не меняют исходную.
• Присвоить свойство примитиву нельзя — оно потеряется вместе с временной обёрткой.
• Сравнение "a" === new String("a") даёт false, потому что типы разные.
• Автоупаковка работает и для чисел (Number), булевых значений (Boolean) и символов (Symbol).

Итог: автоупаковка позволяет писать код с примитивами так, будто это объекты, не создавая их вручную. Понимание этого механизма помогает избежать ошибок при сравнении типов и при попытке сохранить состояние на примитиве.