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

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是一个数字类型，我们强制它为字符串

你可以在PR或RC公告中阅读更多关于未知的信息，但其要点是:

(. .unknown，它是any的类型安全对应物。任何东西都可以赋值给unknown，但是unknown不能赋值给任何东西，只能赋值给它自己和没有类型断言或基于窄化的控制流的any。同样，如果不首先断言或缩小到更特定的类型，则不允许对未知类型进行任何操作。

举几个例子:

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


let s1: string = vAny;     // Any is assignable 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非常有用。这迫使用户安全地自省返回的值。

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

任何类型:

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();

它们在语义上有所不同。

Unknown是所有其他类型的父类型。它是类型系统中的常规类型。

Any表示“关闭类型检查”。它是一个编译器指令和一种元编程。