TypeScript 再次结合 *.js + *.d.ts？

Question

TypeScript tsc -d "compilerOptions" 的 "declaration" 生成相应的 '.d.ts' 文件。

例如，来自：

tmp.ts

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

它生成：

tmp.js

const log = (m) => {
    console.log((m));
    return m;
};

和：

tmp.d.ts

declare const log: (m: unknown) => unknown;

我认为这很有趣，因为它将 TypeScript 源代码“划分”为原生 JavaScript 代码和额外的类型定义。

那么，这是我的想法。将原生代码和类型定义分开后，是否可以通过重新绑定这两个代码轻松生成有效的 TypeScript 代码。

例如：

tmp-reunion.ts

declare const log1: (m: unknown) => unknown;

const log1 = m => {
    console.log((m)); 
    return m;
};

此代码生成错误：

[ts] Cannot redeclare block-scoped variable 'log1'.

对于每个语句。

我为什么要这样做？

我的动机是事实：

1. 在代数中，

   (x^2 + 3x +2) = (x+1)(x+2) = (x^2 + 3x +2)

我想确认同样的东西在 TypeScript 下是否有效。

1. 特别有趣的是，TypeScript 将类型化源代码编译为普通 JavaScript 代码，其中类型信息完全丢弃作为输出。

事实让我认为，从某种意义上说，原始 JS 代码的输出是类型安全的，并且对 TypeScirpt 有效，只是没有 *.d.ts 文件，该文件最终似乎只是 TypeScript 编译器采用的额外帮助功能的优势。它只是一个工具。

因此，原版 JS 代码的类型安全性可以稍后通过 TypeScript 编译器使用辅助功能工具 (tmp.d.ts) 轻松验证。这是我想确认的。

我该怎么做 TypeScript 再次结合 *.js + *.d.ts？

谢谢。

Answer 1

因此，vanilla JS 代码的类型安全性可以稍后通过 TypeScript 编译器使用辅助功能工具（即tmp.d.ts）轻松验证。

这通常是不正确的，因为您在函数体中丢失了任何手动类型注释，这些注释是验证那些 TypeScript 类型推断功能不够强大的函数体所需的。举一个人为的例子（当然假设noImplicitAny）：

function duplicateEach<T>(arr: T[]) { 
    let out: T[] = [];
    arr.forEach(t => { out.push(t); out.push(t); });
    return out;
}

如果您删除 out 上的注释，则代码不会编译，因为 TypeScript 不断发展的数组类型推断不会遍历回调。如果我们查看.d.ts 和.js，这两个注释都不会出现：

declare function duplicateEach<T>(arr: T[]): T[];

function duplicateEach(arr) {
    var out = [];
    arr.forEach(function (t) { out.push(t); out.push(t); });
    return out;
}

有关更实际的示例，请查看任何重要的 TypeScript 代码库。