- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
我正在尝试生成一个通用函数,它允许我为给定类型生成一个带有回调的强类型 setter - 例如:
interface Foo {
a: number,
b: string
}
magick('a', 43) => {} // Should work
magick('a', '43') => {} // Should fail
我已经实现了执行此操作的通用函数 - 并且它有效。但是,如果我尝试复制该函数,则不会强制执行类型安全(或者更可能是我误解了 typescript !)
interface Test {
a: number;
b: string;
}
interface Test2 {
a2: boolean;
b2: '+' | '-';
}
const testVal: Test = {
a: 42,
b: 'test',
};
type Demo<T> = <K extends keyof T> (key: K, val: T[K]) => void
const implDemo: Demo<Test> = (key, val) => {
testVal[key] = val;
};
首先 - 该函数按照我想要的方式工作:
/* prints: {a: 10, b: "test"} - correct */
implDemo('a', 10); console.log(testVal);
/* Fails as expected - type safety - a should be number */
implDemo('a', 'text');
但是为什么下面的可能呢?怎么可以Demo<Test2>
可分配给 Demo<Test>
/* Create a pointer to implDemo - but with WRONG type!!! */
const implDemo2: Demo<Test2> = implDemo;
implDemo2('a2', true);
console.log(testVal);
/* prints: {a: 10, b: "test", a2: true} - we just violated out type!!!! */
我们刚才在上面做的是一样的:
testVal['a2'] = true; /* Doesn't work - which it shouldn't! */
这是另一种简单类型,实际上强制执行类型安全
type Demo2<T> = (val: T) => void;
const another: Demo2<string> = (val) => {};
/* This fails - as expected */
const another2: Demo2<number> = another;
这是 typescript 中的错误 - 还是我误解了什么?我怀疑是类型 Demo<T> = <K extends keyof T>
是罪魁祸首,但我根本不明白我是如何被允许以这种方式“破解”类型系统的。
最佳答案
我会说这是一个编译器错误。
我不确定是不是
reported然而;到目前为止我还没有通过搜索找到任何东西,但这并不意味着它不存在。
编辑:我已经提交了 an issue关于这种行为;我们将看看会发生什么。更新:看起来这可能是 fixed对于
TS3.5
TS3.6
TS3.7
...谁知道呢?!
这是一个复制品:
interface A { a: number; }
interface B { b: string; }
type Demo<T> = <K extends keyof T> (key: K, val: T[K]) => void
// Demo<A> should not be assignable to Demo<B>, but it is?!
declare const implDemoA: Demo<A>;
const implDemoB: Demo<B> = implDemoA; // no error!? 😕
// Note that we can manually make a concrete type DemoA and DemoB:
type DemoA = <K extends keyof A>(key: K, val: A[K]) => void;
type DemoB = <K extends keyof B>(key: K, val: B[K]) => void;
type MutuallyAssignable<T extends U, U extends V, V=T> = true;
// the compiler agrees that DemoA and Demo<A> are mutually assignable
declare const testAWitness: MutuallyAssignable<Demo<A>, DemoA>; // okay
// the compiler agrees that DemoB and Demo<B> are mutually assignable
declare const testBWitness: MutuallyAssignable<Demo<B>, DemoB>; // okay
// And the compiler *correctly* sees that DemoA is not assignable to DemoB
declare const implDemoAConcrete: DemoA;
const implDemoBConcrete: DemoB = implDemoAConcrete; // error as expected
// ~~~~~~~~~~~~~~~~~ <-- Type 'DemoA' is not assignable to type 'DemoB'.
你可以看到DemoA
和 Demo<A>
基本上是相同的类型(它们可以相互分配,这意味着一种类型的值可以分配给另一种类型的变量)。和 DemoB
和 Demo<B>
也是同一类型。并且编译器确实理解 DemoA
不可分配给 DemoB
.
但是编译器认为 Demo<A>
可分配给 Demo<B>
,这是你的问题。就好像编译器“忘记”了什么 T
在 Demo<T>
是。
如果您现在真的需要解决这个问题,您可能需要标记 Demo<T>
用会“记住”什么的东西T
是,但不会阻止您将您的实现分配给它:
// workaround
type Demo<T> = (<K extends keyof T> (key: K, val: T[K]) => void) & {__brand?: T};
const implDemoA: Demo<A> = (key, val) => {} // no error
const implDemoB: Demo<B> = implDemoA; // error here as expected
好的,希望对你有帮助;祝你好运!
关于Typescript 泛型类型不强制类型安全,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55591663/
我已经写了并且 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
我是一名优秀的程序员,十分优秀!