[Перевод] Анонс новых возможностей Typescript 1.4
Выпустив версию Typescript 1.3, мы сфокусировались на усовершенствовании системы типов и добавлении функционала ECMAScript 6 в TypeScript. Давайте рассмотрим некоторые новые возможности, которыми вы сможете пользоваться в новой версии.Все описанные в статье вещи уже реализованы в мастер-ветке нашего репозитория на Github — вы можете выкачать ее и попробовать их уже сейчас.
Новые возможности позволяют более аккуратно и легко работать с переменными, которые имеют различный тип во время исполнения. Они сокращают количество мест, где нужно явно указывать тип, проверять его или использовать тип any. Авторы типизирующих файлов (.d.ts) могут также использовать эти возможности для описания внешних библиотек. Те, кто следят за развитием компилятора, могли заметить, что мы сами тоже ими пользуемся.
Типы-объединенияОбщие сведения
Типы-объединения — это мощный способ выразить значение, которое может иметь один из нескольких типов. Допустим, у вас может быть API для выполнения программы, который принимает аргументы командной строки в виде string или string[]. Теперь можно написать так:
interface RunOptions {
program: string;
commandline: string[]|string;
}
Присвоение значений такого типа работает интуитивно — любое значение, которое можно было бы присвоить любому из членов перечисления, сработает:
var opts: RunOptions = /* … */;
opts.commandline = '-hello world'; // OK
opts.commandline = ['-hello', 'world']; // OK
opts.commandline = [42]; // Ошибка: тип number не совместим с string или string[]
При обращении к переменной, можно напрямую использовать свойства, которые являются общими для всех типов в объединении:
if (opts.commandline.length === 0) { // У string и string[] есть свойство length
console.log («Пусто!»);
}
С помощью ограничителей типов, работать с переменной типа-объединения легко и просто:
function formatCommandline (c: string[]|string) {
if (typeof c === 'string') {
return c.trim ();
} else {
return c.join (' ');
}
}
Ограничители типов
Распространенная практика в Javascript — использовать операторы typeof или instanceof для определения типа значения во время исполнения. Typescript теперь понимает эти конструкции и использует их при выводе типа, если они используются в блоке условия:
var x: any = /* … */;
if (typeof x === 'string') {
console.log (x.subtr (1)); // Ошибка: в типе 'string' нет метода 'subtr'
}
// в этой области видимости переменная 'x' все еще типа 'any'
x.unknown (); // OK
Вот так можно пользоваться instanceof с классами и объединенными типами:
class Dog { woof () { } }
class Cat { meow () { } }
var pet: Dog|Cat = /* … */;
if (pet instanceof Dog) {
pet.woof (); // OK
} else {
pet.woof (); // Error
}
Более строгие обобщенные типы
Мы также решили сделать проверку обобщенных вызовов более строгой в некоторых случаях. Например, раньше такой код, как ни странно, компилировался без ошибок:
function equal
// Раньше: никаких ошибок
// Новое поведение: Ошибка — нет общего типа между 'number' и 'string'
var e = equal (42, 'hello');
Улучшенный вывод типов
Обобщенные типы позволяют улучшить качество проверок при использовании массивов и в других местах, где возможно использование нескольких разных типов в одной коллекции:
var x = [1, 'world']; // x: Array
Примечание переводчика В Typescript 1.3 появилась возможность использовать кортежи из массивов. Однако автоматический вывод типов при этом не происходит:
// ожидается: [number, string]
// фактически будет: Array
var x: [number, string] = [1, «test»];
var y: Array
