建议

🔍 搜索词

转到实现，参数，转到参数

✅ 可实现性检查清单

我的建议符合以下准则：

• 这不会对现有的TypeScript/JavaScript代码造成破坏性的更改
• 这不会改变现有JavaScript代码的运行时行为
• 这可以在不根据表达式的类型发出不同的JS的情况下实现
• 这不是一个运行时特性(例如库功能、具有JavaScript输出的非ECMAScript语法、新的JS语法糖等)
• 这个特性将与TypeScript's Design Goals的其他部分一致。

上下文

TypeScript语言服务器允许对属性进行转到实现。这非常有用，因为它可以快速跳转到可能的属性值：

function foobar(myArg: { myProperty: number }) {}
foobar({ myProperty: 4 });

⭐ 建议

如果“转到实现”也支持参数，跳转到相应的参数，那将会非常有用(忽略代码中的注解，它们只是为了让演示工作):

理想情况下，这也适用于命名元组：

function foobar(myArg1: number) { }
type GetParams<T extends (arg: any) => void> = T extends (...arg: infer P) => void ? P : never;
function f(...args: GetParams<typeof foobar>): void { }
f(/*def:myArg1*/ 1);

📃 动机

在VS Code中，我们使用依赖注入，经常将类的示例化委托给示例化服务。
这可以是这样的：

export class TextMateWorkerHost implements IDisposable {
	// ...
	constructor(
		private readonly _reportTokenizationTime: (timeMs: number, languageId: string, sourceExtensionId: string | undefined, lineLength: number, isRandomSample: boolean) => void,
		@IExtensionResourceLoaderService private readonly _extensionResourceLoaderService: IExtensionResourceLoaderService,
		@IModelService private readonly _modelService: IModelService,
		@ILanguageConfigurationService private readonly _languageConfigurationService: ILanguageConfigurationService,
		// ...
	) {
	}
}

这个类可以这样示例化：

class TextMateTokenizationFeature {
	private readonly _workerHost = this._instantiationService.createInstance(
		TextMateWorkerHost,
		(timeMs, languageId, sourceExtensionId, lineLength, isRandomSample) => this.reportTokenizationTime(timeMs, languageId, sourceExtensionId, lineLength, true, isRandomSample)
	);
}

我经常想从 _reportTokenizationTime 字段跳转到 TextMateTokenizationFeature 中的箭头表达式。
目前，这并不容易，因为我需要列出所有 TextMateWorkerHost 的引用以找到 this._instantiationService.createInstance(TextMateWorkerHost, ... 。然后我必须检查所有参数并找到正确的回调。
这个功能请求将使这变得非常容易，只需跳转到参数 _reportTokenizationTime 的实现即可。

实现

我不知道TypeScript中的引用搜索是如何工作的，但是使用TypeScript编译器API,可以通过遍历所有的 CallExpressions,询问检查器它们的签名，查询 checker.getResolvedSignature(s) 并检查返回的符号来实现。
不幸的是，对于 f 的第一个参数的名称为 myArg1 的符号似乎没有链接到 myArg1 的参数符号。