Основы TypeScript: Any, Void, Never, Null, Строгие проверки Null

• Тип any
• Тип void
• Тип never
• Тип null
• Строгие проверки на null

Понимание этих типов необходимо для обеспечения безопасности типов и предотвращения распространённых ошибок программирования. Присоединяйтесь к нам в этом исследовании динамики типов TypeScript.

Тип any

Тип any используется для представления значения любого типа. По сути, он позволяет отказаться от проверки типов для конкретной переменной или выражения.

let myVariable: any = "Hello, TypeScript!";

myVariable = 42; // Нет ошибки типа

Хотя использование any может быть удобным, оно жертвует преимуществами статической проверки типов в TypeScript.

Тип void

Тип void используется для функций, не возвращающих значения. Он часто используется для указания на то, что функция имеет побочные эффекты, но не даёт никакого значимого результата.

function logMessage(message: string): void {
    console.log(message);
}

Тип never

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

function throwError(message: string): never {
    throw new Error(message);
}

function infiniteLoop(): never {
    while (true) {
        // делает что-то бесконечно
    }
}

Тип null

В TypeScript по умолчанию null и undefined являются частью каждого типа. Однако если включить строгую проверку на null, то null и undefined можно присваивать только типу any и соответствующему им.

let myString: string = null; // Ошибка при включённой строгой проверке на null

Строгие проверки на null

По умолчанию в TypeScript есть функция "Строгие проверки на null", повышающая безопасность типов, делая явными случаи, когда переменная может быть null или undefined. Это предотвращает многие распространённые ошибки программирования, связанные с null и undefined значениями.

Чтобы включить строгую проверку на null в TypeScript проекте, вы можете установить опцию "strictNullChecks" в значение true в файле tsconfig.json.

{
    "compilerOptions": {
        "strictNullChecks": true
    }
}

При включённой строгой проверке на null необходимо явно указать, когда переменная может быть null или undefined.

let myString: string | null = null; // Всё в порядке со строгой проверкой на null

let myNumber: number | undefined = undefined; // Всё в порядке со строгой проверкой на null

Эти возможности TypeScript помогают писать более безопасный и предсказуемый код, снижая вероятность ошибок во время исполнения и повышая сопровождаемость приложений.

Основы TypeScript

1. Основы TypeScript: компилятор TypeScript (tsc) и tsconfig.json
2. Основы TypeScript: JavaScript в сравнении с TypeScript
3. Основы TypeScript: Примитивы и базовые типы
4. Основы TypeScript: Неявные и Явные типы, Утверждения типов
5. Основы TypeScript: Создание типов, перечислений и интерфейсов
6. Основы TypeScript: Объединение, Литеральные и Размеченные типы
7. Основы TypeScript: Типизация функций и сигнатур
8. Основы TypeScript: Any, Void, Never, Null, Строгие проверки Null
9. Основы TypeScript: ООП практика, классы и наследование