将 Typescript 翻译成 Java [关闭]

Question

我正在尝试将 Typescript 中的代码更改为 Java。我真的对 Typescript 不太了解，并且卡在了这个功能上。我将代码简化为更简单的情况。在这种情况下，CustomType1 和 CustomType2 只是自定义“导出类型”（我在 Java 中作为类实现）。

proof(): CustomType1 | 'given' | undefined {
    if (something) {
        return 'given'
    }

    const evidence = ... //Set to a new "instance" of CustomType2
    return evidence ? function(evidence) : undefined //Function returns an "instance" of CustomType1
}

然后，之前的代码会在这样的某个时间点运行

const proof = proof()
if (!proof || proof === 'given') {
    //...
}

如果有人向我解释，Typescript 上的这段代码是如何工作的，我将不胜感激。

? 代表什么？ proof() 函数返回什么... Customtype1 的一个实例？字符串“给定”？两个都？最后，当调用!proof 时，它代表什么？因为我在任何部分都看不到任何布尔值。

Answer 1

1. 问：? 代表什么？

   答：是ternary operator。

2. 问： proof() 函数返回什么？

   A: 它返回以下任一值：CustomType1、文字字符串 'given' 或 undefined。具体来说，是union。

3. 问：拨打!proof时，代表什么？

   答：请注意，您的示例代码中发生了一些棘手的事情。局部变量const proof为shadowing，即在当前作用域内替换原来的proof函数。代码会更清楚地写成

    const result = proof()
    if (!result || result === 'given') {
        //...
    }
   

   此代码在功能上大部分是等效的。这里，!result 是 true，如果 result 是 falsey 值。与此案例最相关的是 true if result === undefined