任何类型:

any类型表示所有可能的JS值。每个类型都可以赋值给类型any。因此any类型是类型系统的通用超类型。TS编译器将允许对any类型的值进行任何操作。例如:

let myVar: any;

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

在很多情况下，这对TS编译器来说太宽松了。也就是说，它将允许我们已经知道会导致运行时错误的操作。

未知的类型:

未知类型表示(就像任何)所有可能的JS值。每个类型都可以赋值给未知类型。因此，类型unknown是类型系统的另一个通用超类型(与any并列)。但是，TS编译器不允许对未知类型的值进行任何操作。此外，未知类型只能赋值给类型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();

任何未知的:

允许分配任何类型

any:

允许被分配给任何类型 允许调用任何方法

无名:

不允许被赋给任何类型 不允许调用任何方法

const a: any = 'a'; // OK
const b: unknown = 'b' // OK

const v1: string = a; // OK
const v2: string = b; // ERROR
const v3: string = b as string; // OK

a.trim() // OK
b.trim() // ERROR

任何类型:

any类型表示所有可能的JS值。每个类型都可以赋值给类型any。因此any类型是类型系统的通用超类型。TS编译器将允许对any类型的值进行任何操作。例如:

let myVar: any;

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

在很多情况下，这对TS编译器来说太宽松了。也就是说，它将允许我们已经知道会导致运行时错误的操作。

未知的类型:

未知类型表示(就像任何)所有可能的JS值。每个类型都可以赋值给未知类型。因此，类型unknown是类型系统的另一个通用超类型(与any并列)。但是，TS编译器不允许对未知类型的值进行任何操作。此外，未知类型只能赋值给类型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();

我是姗姗来迟，但我会尽力揭开它的神秘面纱。

const canBeAnything: any = 100;
const canNotBeAnything: unknown = 100;

// If we try to use a .startsWith() method
canBeAnything.startsWith('10'); // no error
canNotBeAnything.startsWith('10'); // Property 'startsWith' does not exist on type 'unknown'

在unknown上使用.startsWith()方法的唯一方法是显式地告诉编译器类型，例如

(canNotBeAnything as string).startsWith('10'); // Chill down TS compiler, I know what I am doing. 

后面的on不会显示任何编译错误，但它会在运行时抛出错误，因为canNotBeAnything是一个数字类型，我们强制它为字符串

unknown和any的区别如下:

就像any一样，any值可以赋值给unknown;但是，与any不同的是，您不能访问类型未知的值上的任何属性，也不能调用/构造它们。此外，unknown类型的值只能赋值给unknown或any。

要回答你什么时候应该用unknown代替any的问题:

这对于想要发出“这可以是任何值”信号的api非常有用 在使用它之前，您必须执行某种类型的检查”。这就迫使 用户可以安全地自省返回值。

看看TypeScript 3.0公告中关于类型检查未知变量的例子，以及更详细的解释。

公认的答案是“未知，它是any的类型安全对应物。”

然而，正如这个例子所示，unknown是它自己的野兽，有时它的行为与其他动物非常不同:

type Foo = unknown extends string ? true : false // false
type Bar = any extends string ? true : false     // boolean - i.e. both true and false