泛型可选方法参数的类型 Class

Question

我想知道是否有一种方法可以声明具有默认泛型类型的泛型 class：

默认情况下允许调用 class 的方法而不传递参数
如果定义了另一个泛型类型，那么只有在传递泛型类型的参数时才能调用该方法。

伪代码

class ClassA<MyGenericType = OptionalArgumentType> {
    public methodWithGenericArgument(argumentA: MyGenericType): void {
        // Do smth
    }
}

// 
const instanceX = new ClassA();
instanceX.methodWithGenericArgument(); // CORRECT! We use default optional argument type
//
const instanceY = new ClassA<NotOptionalArgumentType>();
instanceY.methodWithGenericArgument(); // ERROR! Compiler should throw an error here, because we defined NOT OPTIONAL type
//
const argumentValue: NotOptionalArgumentType;
const instanceZ = new ClassA<NotOptionalArgumentType>();
instanceZ.methodWithGenericArgument(argumentValue); // CORRECT! We pass argument with required value

Answer 1

差不多。它不能是一个方法，而是一个属性恰好分配了一个函数。取决于你在做什么，它可能有效也可能无效。

class ClassA<T = string> {
  kindaMethod: T extends string ? (() => void) : ((arg: T) => void ) = ((maybeArg?: T) => {
      // do sth
  }) as any
}

const x = new ClassA()
x.kindaMethod()
x.kindaMethod('a') // correctly an error

const y = new ClassA<number>()
y.kindaMethod() // correctly an error
y.kindaMethod(1)

Playground

您还需要将“方法”转换为 any，因此如果您实际上尊重您从中公开的 public API，请谨慎实施class.

Answer 2

通过一些技巧，您可以完成这项工作。食谱包括：

never 作为泛型类型参数的默认类型
rest parameters 在 TS 3.0 中添加了元组类型

这个想法是有条件地在一个空元组和一个参数的元组之间切换（或更多，或几个条件 - 根据您的实现而疯狂）。这是它的样子：

class ClassA<MyGenericType = never> {
    public methodWithGenericArgument(...args: MyGenericType extends never ? [] : [MyGenericType]): void {
        // Do smth
    }
}

type NotOptionalArgumentType = number;

const instanceX = new ClassA();
instanceX.methodWithGenericArgument(); // OK
instanceX.methodWithGenericArgument(15); // ERROR

const instanceY = new ClassA<NotOptionalArgumentType>();
instanceY.methodWithGenericArgument(); // ERROR
instanceY.methodWithGenericArgument(15); // OK

let argumentValue!: NotOptionalArgumentType;
const instanceZ = new ClassA<NotOptionalArgumentType>();
instanceZ.methodWithGenericArgument(); // ERROR
instanceZ.methodWithGenericArgument(argumentValue); // OK

Playground

泛型可选方法参数的类型 Class

Type for Optional Method Argument of Generic Class

typescript

overloading

typescript-class

generic-type-parameters