- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我希望提供一个泛型类型作为类型参数而不首先将其解析为具体类型。换句话说,我正在寻找一种方法来指定从基类继承时可以使用的类型映射函数。
示例(不正确的)语法,希望比我能解释得更好:
abstract class RunIt<SomeMagicConverter> {
// The return type for this function depends on the type of the
// argument *and* on the way the implementation class was declared:
run<T>(o: T): SomeMagicConverter<T> { // (syntax error)
return this.handle(o); // (imagine this does something more interesting)
}
protected abstract handle<T>(o: T): SomeMagicConverter<T>; // (syntax error)
}
type MyMagicConverter<T> = TypeIWantToReturn<T>; // MyMagicConverter is generic
class MyRunIt extends RunIt<MyMagicConverter> { // but we don't specify T here
// [...]
}
new MyRunIt().run(7); // call infers T is number, so returns TypeIWantToReturn<number>
new MyRunIt().run(''); // now T is string, so returns TypeIWantToReturn<string>
此外,我想限制它以便 SomeMagicConverter<T> extends SomeBase<T>
有保证。即
abstract class RunIt<SomeMagicConverter extends SomeBase>
关于我希望如何使用它的更具体的例子,这里有一个用于缓存包装的基本基类(不完全是我的实际用例,但证明了需要):
interface Wrapped<T> {
contains(other: T): boolean;
}
abstract class Store {
private readonly cached = new Map<any, any>();
protected abstract applyWrap<T>(o: T): Wrapped<T>;
wrap<T>(o: T): Wrapped<T> { // <-- this should return something more specific
if (!this.cached.has(o)) {
this.cached.set(o, this.applyWrap(o));
}
return this.cached.get(o);
}
}
class Foo<T> implements Wrapped<T> {
constructor(private readonly o: T) {}
contains(other: T): boolean { return other === this.o; }
extraFooFunc(): void {}
}
class FooWrapper extends Store {
constructor() { super(); }
protected applyWrap<T>(o: T): Foo<T> { return new Foo<T>(o); }
}
new FooWrapper().wrap(4).extraFooFunc(); // syntax error because extraFooFunc is not defined on Wrapped
显然我可以通过定义包装方法来解决这个问题,但我想避免在每个子类上都这样做:
class FooWrapper extends Store {
// [...]
wrap<T>(o: T): Foo<T> { return super.wrap(o) as Foo<T>; }
}
最佳答案
尚不支持通用通用参数(2021 年 3 月)。参见 TypeScript Issue和一个 similar SO question获取更多信息。
但是,您所描述的可以使用 Indexed Access Types 实现和 Mapped Types :
// Any Converter to be used with RunIt must be added to Converters
interface Converters<T> { }
// All Converters must implement this interface
interface ConverterBase<T> { length: number }
// Maps valid keys to themselves, invalid ones to `never`
type ValidKey<T, K extends keyof Converters<T>> =
Converters<T>[K] extends ConverterBase<T> ? K : never;
// Contains all entries from Converters where the type extends ConverterBase
type ConstrainedConverters<T> = {
[K in keyof Converters<T> as ValidKey<T, K>]: Converters<T>[K];
};
abstract class RunIt<K extends keyof ConstrainedConverters<void>> {
run<T>(o: T): ConstrainedConverters<T>[K] {
return this.handle(o);
}
protected abstract handle<T>(o: T): ConstrainedConverters<T>[K];
}
// Re-open Converters and add some Converters
interface Converters<T> { Id: T, Array: Array<T> }
class ArrayRunIt extends RunIt<'Array'> {
protected handle<T>(o: T) { return [o]; }
}
// @ts-expect-error Type '"Id"' does not satisfy the constraint '"Array"'.(2344)
class IdRunIt extends RunIt<'Id'> {
protected handle<T>(o: T) { return o; }
}
关于TypeScript 提供(未指定的)泛型类型作为泛型参数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/63023887/
我已经写了并且 npm 发布了这个:https://github.com/justin-calleja/pkg-dependents 现在我正在用 Typescript 编写这个包:https://g
我有一个函数,我想在 TypeScript 中模拟它以进行测试。在我的测试中,我只关心 json和 status .但是,当使用 Jest 的 jest.spyOn 时我的模拟函数的类型设置为返回 h
我正在使用一个库 (Axios),它的包中包含 Typescript 声明。 我想声明一个将 AxiosResponse(在库的 .d.ts 文件中声明)作为参数的函数。我有以下内容: functio
我是 Typescript 的新手。我想使用 将一个 Typescript 文件加载到另一个 Typescript 文件中标签。 我做了一些事情,但它不起作用!请帮助我。 first.ts: imp
为什么我会收到下面屏幕截图中显示的错误? Atom 说我的 tsconfig.json“项目文件包含无效选项”用于 allowJs、buildOnSave 和 compileOnSave。 但是应该允
所以我正在创建一个 TypeScript 库,我可以轻松地将所有生成的 JS 文件编译成一个文件。有没有办法将所有 .ts 和 .d.ts 编译成一个 .ts 文件? 除了支持 JS 的版本(较少的智
Microsoft Research 提供了一种名为Safer TypeScript 的新 TypeScript 编译器变体: http://research.microsoft.com/en-us/
我需要这个来在单个文件中分发 TypeScript 中的库。有没有办法将多个 typescript 文件合并到(一个js文件+一个 typescript 定义)文件中? 最佳答案 要创建一个库,您可以
用例:我想知道一个函数在 typescript 中执行需要多少时间。我想为此目的使用装饰器。我希望装饰器应该返回时间以便(我可以进一步使用它),而不仅仅是打印它。 例如: export functio
我想检查一个类型是否可以为 null,以及它是否具有值的条件类型。 我尝试实现 type IsNullable = T extends null ? true : false; 但是好像不行 type
我的问题是基于这个 question and answer 假设我们有下一个代码: const myFn = (p: { a: (n: number) => T, b: (o: T) => v
我知道双重否定前缀,我知道 TypeScript 的单后缀(非空断言)。 但是这个双后缀感叹号是什么? /.*验证码为(\d{6}).*/.exec(email.body!!)!![1] 取自here
我正在使用以下文件结构在 Webstorm 中开发一个项目 | src | ... | many files | types | SomeInterface |
在 TypeScript 类中,可以为属性声明类型,例如: class className { property: string; }; 如何在对象字面量中声明属性的类型? 我试过下面的代码,但它
我正在寻找一种在不丢失推断类型信息的情况下将 TypeScript 中的文字值限制为特定类型的好方法。 让我们考虑一个类型Named,它保证有一个名字。 type Named = { name:
在 TypeScript 中,我想创建一个联合类型来表示属于一个或多个不同类型的值,类似于 oneOf在 OpenAPI或 JSON Schema .根据a previous answer on a
type Func = (foo:string) => void // function expression const myFunctionExpression:Func = function(f
假设我有一个联合类型,我正在使用类似 reducer 的 API 调用模式,看起来像这样: type Action = { request: { action: "create
我在 typescript 中有以下去抖功能: export function debounce( callback: (...args: any[]) => void, wait: numb
在 Vue3 的 defineComponent 函数中,第一个泛型参数是 Props,所以我在这里使用 Typescript 接口(interface)提供我的 props 类型。喜欢: expor
我是一名优秀的程序员,十分优秀!