"невідомий" проти "будь-який"

TypeScript 3.0 представляє unknownтип відповідно до їх вікі:

Невідомо тепер зарезервоване ім'я типу, оскільки це вбудований тип. Залежно від наміченого використання невідомого, ви можете повністю видалити декларацію (надаючи перевагу нещодавно введеному невідомому типу) або перейменувати її на щось інше.

У чому різниця між unknownі any? Коли ми повинні використовувати unknownбільше any?

Більше про це можна прочитати unknownв PR або RC-оголошенні , але суть цього:

[..] невідомо, який є захистом від типу будь-якого. Все, що можна віднести до невідомого, але невідоме не призначається нічому, окрім себе та будь-якому, без твердження типу чи звуження, заснованого на контрольному потоці. Так само жодні операції з невідомою не допускаються без попереднього затвердження або звуження до більш конкретного типу.

Кілька прикладів:

let vAny: any = 10;          // We can assign anthing to any
let vUnknown: unknown =  10; // We can assign anthing to unknown just like any 


let s1: string = vAny;     // Any is assigable to anything 
let s2: string = vUnknown; // Invalid we can't assign vUnknown to any other type (without an explicit assertion)

vAny.method();     // ok anything goes with any
vUnknown.method(); // not ok, we don't know anything about this variable

Пропоноване використання:

Часто ми хочемо описати тип найменш здатного в TypeScript. Це корисно для API, які хочуть сигналізувати "це може бути будь-яке значення, тому перед тим, як використовувати його, потрібно виконати певний тип перевірки". Це змушує користувачів безпечно вводити повернені значення.

Різниця між невідомим і будь-яким описується як:

Начебто anyбудь-яка цінність присвоюється unknown; однак, на відміну від цього any, ви не можете отримати доступ до будь-яких властивостей на значеннях з типом unknown, а також не можете викликати / побудувати їх. Крім того, значення типу unknownможна призначати лише unknownабо any.

Щоб відповісти на ваше запитання про те, коли слід використовувати в unknownпротягом any:

Це корисно для API, які хочуть сигналізувати "це може бути будь-яке значення, тому перед тим, як використовувати його, потрібно виконати певний тип перевірки". Це змушує користувачів безпечно вводити повернені значення.

Погляньте на оголошення TypeScript 3.0 для прикладів перевірки типу змінної типу unknownта більш детального пояснення.

any тип:

anyТип представляє всі можливі значення JS. Кожен тип можна віднести до типу any. Тому тип anyє універсальним супертипом типової системи. Компілятор TS дозволить проводити будь-яку операцію з набраними значеннями any. Наприклад:

let myVar: any;

myVar[0];
myVar();
myVar.length;
new myVar();

У багатьох випадках це занадто поблажливо до компілятора TS. тобто це дозволить операціям, про які ми могли б знати, що призведе до помилки виконання.

unknown тип:

unknownТип представляє (як any) всі можливі значення JS. Кожен тип можна віднести до типу unknown. Тому тип unknown- це ще один універсальний супертип типу типів (поряд any). Однак компілятор TS не дозволить жодної операції над набраними значеннями unknown. Крім того, unknownтип присвоюється тільки типу any. Приклад уточнить це:

let myVar: unknown;

let myVar1: unknown = myVar;   // No error
let myVar2: any = myVar;       // No error
let myVar3: boolean = myVar;   // Type 'unknown' is not assignable to type 'boolean'

// The following operations on myVar all give the error:
// Object is of type 'unknown'
myVar[0];
myVar();
myVar.length;
new myVar();