关于“未知”用法的TypeScript 3.0错误

Question

这里，我测试TypeScript3.0 unkown类型。

https://blogs.msdn.microsoft.com/typescript/2018/07/12/announcing-typescript-3-0-rc/#the-unknown-type

TypeScript 3.0引入了一种名为unknown的新类型，它正是这样做的。就像any一样，任何值都可以分配给unknown；但是，与any不同，您不能使用unknown类型访问值上的任何属性，也不能调用/构造它们。此外，unknown类型的值只能分配给unknown或any。

我处理了一些教会编码内容，并测试了函数的每个参数的unknown类型，我有一个错误如下：

const log = (m: unknown) => {
    console.log(m); //IO
    return m;
};

const I = (x:unknown) => x;
const L = (x:unknown) => (y:unknown) => x;
const P = (x:unknown) => (y:unknown) => (z:Function) => z(x)(y);
//z is a binary operator Function!

const Left = L;
const Right = L(I);

log("Left Right test---------");
log(
    Left("boy")("girl")  // boy
);
log(
    Right("boy")("girl")  //TypeScript Type Error here
);

错误：

church.ts:20:9 - error TS2571: Object is of type 'unknown'.

20         Right("boy")("girl")
           ~~~~~~~~~~~~

以防万一，这在普通的JS中得到了很好的测试，但是我只想知道如何在不使用any类型的情况下解决这个错误。

谢谢。

Answer 1

这里非常简单，我认为您不应该使用unknown，而应该使用泛型函数，因为L的参数与最终的返回类型之间有明显的关系：

const I = (x:unknown) => x;
const L = <T>(x:T) => (y:unknown) => x;

const Left = L;
const Right = L(I); 

log("Left Right test---------");
log(
  Left("boy")("girl")  // boy
);
log(
  Right("boy")("girl")  //all ok 
);

当类型不仅在编写函数时未知(在编写函数时我们可以使用常规类型)，而且在调用函数时(这是泛型类型参数时)，我将使用unknown，就像使用any一样。

如果由于某种原因泛型是不可行的，那么唯一的解决方法是使用类型断言，因为您掌握的是类型系统在本例中丢失的信息：

(Right("boy") as ((x:unknown)=> unknown))("girl")  //all ok