打字稿：强制默认通用类型为“any”而不是“”

Posted 2023-03-31

【中文标题】打字稿：强制默认通用类型为“any”而不是“”

【英文标题】：Typescript: Force Default Generic Type to be `any` instead of ``打字稿：强制默认通用类型为“any”而不是“”

【发布时间】：2016-01-22 03:41:16

【问题描述】：

我有一个函数a，如果没有提供泛型类型，它应该返回any，否则返回T。

var a = function<T>() : T  
    return null;

var b = a<number>();    //number
var c = a();    //c is . Not what I want... I want c to be any.
var d; //any
var e = a<typeof d>();  //any

有可能吗？ （没有明显改变函数调用。没有a<any>()的AKA。）

【参考方案1】：

有可能吗？ （显然没有改变函数调用。AKA 没有 a()。）

是的。

我相信你会这样做

var a = function<T = any>() : T  
    return null;

TS 2.3 中引入了通用默认值。

泛型类型参数的默认类型具有以下语法：

TypeParameter :
  BindingIdentifier Constraint? DefaultType?

DefaultType :
  `=` Type

例如：

class Generic<T = string> 
  private readonly list: T[] = []

  add(t: T) 
    this.list.push(t)
  

  log() 
    console.log(this.list)
  



const generic = new Generic()
generic.add('hello world') // Works
generic.add(4) // Error: Argument of type '4' is not assignable to parameter of type 'string'
generic.add(t: 33) // Error: Argument of type ' t: number; ' is not assignable to parameter of type 'string'
generic.log()

const genericAny = new Generic<any>()
// All of the following compile successfully
genericAny.add('hello world')
genericAny.add(4)
genericAny.add(t: 33)
genericAny.log()

见https://github.com/Microsoft/TypeScript/wiki/Roadmap#23-april-2017和https://github.com/Microsoft/TypeScript/pull/13487

【参考方案2】：

有可能吗？ （显然不改变函数调用。AKA 没有 a()。）

没有。

PS

请注意，没有在任何函数参数中主动使用的泛型类型几乎总是一个编程错误。这是因为以下两个是等价的：

foo<any>() 和 <someEquvalentAssertion>foo() 完全由调用者支配。

PS PS

有一个官方问题要求使用此功能：https://github.com/Microsoft/TypeScript/issues/2175

【讨论】：

这里的目标是使泛型类型可选。我目前正在将 JS 转换为 TS 文件，如果可以的话，那将有很大帮助。

见github.com/Microsoft/TypeScript/issues/2175。暂时不可以

【参考方案3】：

对于稍微不同的应用程序更进一步，但您也可以将类型参数默认为另一个类型参数。

举个例子：

class Foo<T1 = any, T2 = T1> 
    prop1: T1;
    prop2: T2;

等等：

const foo1 = new Foo();
typeof foo1.prop1 // any
typeof foo1.prop1 // any

const foo2 = new Foo<string>();
typeof foo2.prop1 // string
typeof foo2.prop2 // string

const foo3 = new Foo<string, number>();
typeof foo3.prop1 // string
typeof foo3.prop1 // number