TypeScript 不能在泛型方法中推断受约束的类型？

Question

我是 TypeScript 的新手，具有强大的 C# 背景。

我想知道类型推断在 TypeScript 中的以下情况下似乎不起作用但在 C# 中起作用的确切原因是什么：

打字稿：

interface IResult { }

interface IRequest<TResult extends IResult> { }

interface ISomeResult extends IResult {
    prop: string;
}

interface ISomeRequest extends IRequest<ISomeResult> { }

 function Process<TResult extends IResult>(request: IRequest<TResult>): TResult {
    throw "Not implemented";
}

let request: ISomeRequest = {};
let result = Process(request);
// Error: Property 'prop' does not exist on type '{}'.
console.log(result.prop);

C#

interface IResult { }

interface IRequest<TResult> where TResult : IResult { }

interface ISomeResult : IResult
{
    string Prop { get; set; }
}

interface ISomeRequest : IRequest<ISomeResult> { }

static TResult Process<TResult>(IRequest<TResult> request) where TResult : IResult
{
    throw new NotImplementedException();
}

static void Main()
{
    ISomeRequest request = default;
    var result = Process(request);
    // OK
    Console.WriteLine(result.Prop);
}

这是 TS 编译器的类型推断算法的问题（可能还没有？）还是有一些我遗漏的根本原因使这在 TS 中变得不可能？

Answer 1

Typescript 有一个结构化类型系统（如果来自 C#，这可能看起来有点奇怪，我知道我遇到了同样的问题?）。这意味着如果您有一个未使用的类型参数，编译器将忽略它，因为它与类型兼容性无关。将任何使用TResult 的成员添加到IRequest，它就会按您的预期工作：

interface IResult { }

interface IRequest<TResult extends IResult> { 
    _r?: undefined | TResult
}

interface ISomeResult extends IResult {
    prop: string;
}

interface ISomeRequest extends IRequest<ISomeResult> { }

function Process<TResult extends IResult>(request: IRequest<TResult>): TResult {
    throw "Not implemented";
}

let request: ISomeRequest = { };
let result = Process(request);
console.log(result.prop);

FAQ 对此进行了一些解释。