Чому typeof null повертає object?

Повне пояснення

Що це і навіщо

typeof – оператор, що повертає рядкове представлення типу операнда. Він потрібен для раннього визначення типу даних, наприклад при валідації або логічних умовах.

Ключові принципи/терміни

• null – спеціальне значення, що означає «порожнє» або «відсутність об’єкта».
• object – тип, що описує будь‑який посилальний об’єкт.
• Historical quirk – у ранніх версіях JavaScript тип null був реалізований як об’єкт, що призвело до несподіваного результату.

Як це працює

1. При виконанні typeof null JavaScript перевіряє внутрішній тип значення.
2. Для null встановлено флаг, що вказує на тип object.
3. Оператор повертає рядок 'object' незалежно від того, що null не є об’єктом.

Практика і реалізація

console.log(typeof null); // 'object'

У TypeScript це не змінює поведінку, але тип null визначається як null.

Тестування

import { expect } from 'vitest';
expect(typeof null).toBe('object');

Особливості в контексті JS Core

• Це одна з найвідоміших «помилок» мови, що часто використовується як приклад для обговорення історії JavaScript.
• Для перевірки на null слід використовувати строгий порівняння: value === null.

Оптимізація, типові помилки та edge cases

• Помилка: if (typeof value === 'object') може помилково сприймати null як об’єкт.
• Рішення: додати перевірку value !== null або використовувати Object.prototype.toString.call(value) === '[object Null]'.

Диагностика і отладка

• Симптом: typeof value повертає 'object', хоча очікується, що це null.
• Причина: використання typeof для перевірки на null.
• Дія: замінити на value === null або Object.is(value, null).

Альтернативи

• value === null – пряме порівняння.
• Object.is(value, null) – враховує специфічні випадки (NaN, -0).

Крайні випадки і часті помилки

1. typeof undefined → 'undefined' (правильно).
2. typeof NaN → 'number' (необхідно перевіряти через Number.isNaN).
3. typeof [] → 'object' (масив – об’єкт).
4. typeof new Date() → 'object' (об’єкт‑дата).
5. typeof function(){} → 'function' (особливий тип об’єкта).
6. typeof Symbol() → 'symbol'.
7. typeof BigInt(10) → 'bigint'.
8. Object.prototype.toString.call(null) → '[object Null]' (точний тип).

Cheatsheet + follow‑up питання

• typeof null → 'object' (historical quirk).
• Для перевірки на null: value === null або Object.is(value, null).
• Чому інші типи повертають правильні рядки? Тому що їх внутрішній флаг встановлено коректно.

Follow‑up питання: Як можна перевірити, чи є значення об’єктом, але не null?