问题

我偶然发现了Typescript中的Awaited实用工具类型，并想做一个非常简单的示例。有些示例似乎具有类似Rust的风格，可能是Monad。我应该如何在这里正确实现它？

```typescript
type Error = { error_code: number, error_message: string }

export type Response = {
    template_id: number
    user_msg: string
    ssboe: number
    usecs: number
}

export function Heartbeat(usecs: number, ssboe: number): Promise<Response | Error> {

    return new Promise((resolve, reject) => {
        try {
            // 返回你的数据对象，比如 { template_id, ssboe, usecs, user_msg }
        } catch (err) {
            // 返回错误对象，比如 { error_code: 1, error_message: 'some msg' }
        }
    });
}

<details>
<summary>英文:</summary>

I stumbled upon the Awaited utility Type in Typescript and wanted to do a very simple example. Some examples seem to have rust like style and maybe monads. How do I properly implement this here? 

```typescript
type Error = { error_code: number, error_message: string }

export type Response = {

    template_id: number
    user_msg: string
    ssboe: number
    usecs: number
}

export function Heartbeat(usecs: number, ssboe: number):Promise&lt;Response|Error&gt; {

    return new Promise((rs, rj) =&gt; {
try {
 return { template_id, ssboe, usecs, user_msg }
catch (err){
return {error_code:1, error_message: &#39;some msg&#39;}
}

}))

}

答案1

得分: 1

从我的理解来看，Awaited<T> 类型更像是一个内部工具类型，而不是开发人员需要使用的类型。它的主要目的是递归解包链接或嵌套的 Promise 值，这在正确地对JavaScript API（如 Promise.all、Promise.race 等）的类型进行推断时非常有用。

因此，您可以在技术上使用 Awaited<T> 来解包 Promise 的结果类型，如下所示：

type MyPromise = Promise<string>;
type Value = Awaited<MyPromise>; // string

然而，在我看来，这是一种代码异味，有更好的语言构造可以用来提取或推断 Promise<T> 的结果类型。TypeScript 已经在 Promise 接口中内部使用了 Awaited<T>，因此几乎没有真正需要自己使用它的情况。

至于您的示例，我不确定您所说的“properly implement”是什么意思，或者为什么您需要使用 Awaited<T> 类型。我唯一能看到的问题是，您没有使用“resolve”和“reject”函数来履行 Promise，而且在结果类型中包括 Error 通常被认为是代码异味。它应该看起来像这样：

export function Heartbeat(usecs: number, ssboe: number): Promise<Response> {
    return new Promise((rs, rj) => {
        try {
            return rs({ ssboe, usecs, user_msg: "", template_id: 0 });
        } catch (err) {
            return rj({ error_code: 0, error_message: "" });
        }
    });
}

目前，TypeScript 不允许您将拒绝/异常类型指定为 Error 的原因是异常可能从 Promise 执行的深处传播。因此，在设计时，类型检查器无法保证捕获的异常将是 Error 类型，而且除非非常简单的示例，开发人员也无法保证。

type MyPromise = Promise<string>;
type Value = Awaited<MyPromise>; // string

export function Heartbeat(usecs: number, ssboe: number): Promise<Response> {
    return new Promise((rs, rj) => {
        try {
            return rs({ ssboe, usecs, user_msg: "", template_id: 0 });
        } catch (err) {
            return rj({ error_code: 0, error_message: "" });
        }
    });
}