- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在尝试基于对象中的嵌套属性创建联合类型。请参见下面的示例:
type Foo = {
abilities: {
canManage: boolean
}
}
type Bar = {
abilities: {
canManage: boolean
}
extraProp: number
}
type Condition1 = {
abilities: {
canManage: true
}
} & Bar
type Condition2 = {
abilities: {
canManage: false
}
} & Foo
type TotalData = Condition1 | Condition2
const data: TotalData = {
abilities: {
canManage: false, // if canManage is false, TS should complain when I add the `extraProp` key
},
extraProp: 5
}
我遇到的问题是 typescript 忽略了我设置的条件。如果 canMange 值为 true,我只对允许某些属性感兴趣。这在嵌套时似乎不起作用。但是,如果我没有嵌套而只是像这样的东西,那就没问题了:
type Foo = {
canManage: boolean
}
type Bar = {
canManage: boolean
extraProp: number
}
type Condition1 = {
canManage: true
} & Bar
type Condition2 = {
canManage: false
} & Foo
]
type TotalData = Condition1 | Condition2
const data: TotalData = {
canManage: false,
extraProp: 5 // now typescript complains that this property shouldn't be here because canManage is false
}
尝试根据嵌套对象内的属性设置联合时,我该如何解决这个问题?
最佳答案
编译器不理解“嵌套可区分联合”的概念。如果并集的成员共享一个共同的“可判别”属性,则类型是可判别联合。判别属性通常是单例/文字类型,如 true
或 "hello"
或 123
甚至 null
或未定义
。不过,您不能使用另一个被区分的联合作为判别式本身。如果可以的话,那就太好了,因为那时受歧视的联合可以按照您正在做的方式从嵌套属性向上传播。 microsoft/TypeScript#18758 有建议允许这样做,但我没有看到那里有任何动静。
就目前而言,TotalData
类型不是可区分 联合。这只是一个工会。这意味着编译器不会尝试将 TotalData
类型的值视为 独占 Condition1
或 Condition2
。因此,如果您编写测试 data.abilities.canManage
的代码并期望编译器理解其含义,您可能会遇到问题:
function hmm(x: TotalData) {
if (x.abilities.canManage) {
x.extraProp.toFixed(); // error!
// ~~~~~~~~~~~ <--- possibly undefined?!
}
}
如果您想这样做,您可能会发现自己需要编写 user-defined type guard functions相反:
function isCondition1(x: TotalData): x is Condition1 {
return x.abilities.canManage;
}
function hmm(x: TotalData) {
if (isCondition1(x)) {
x.extraProp.toFixed(); // okay!
}
}
您在这里遇到的具体问题,其中 data
被视为有效的 TotalData
与 excess property checking 有何关系?被执行。 TypeScript 中的对象类型是“开放”/“可扩展”,而不是“封闭”/“exact”。在不违反类型的情况下,您可以添加类型定义中未提及的额外属性。所以编译器不能完全禁止多余的属性;相反,它使用启发式方法来尝试找出这些属性何时是错误的以及何时是故意的。主要使用的规则是:如果您正在创建一个全新的对象字面量,并且它的任何属性在使用它的类型中都没有提及,则会出现错误。否则不会有。
如果 TotalData
是一个有区别的联合,您会在 data
上得到预期的错误,因为 data.abilities.canManage
会导致编译器将 data
从 TotalData
缩小到 Condition2
,其中没有提到 extraProp
。但事实并非如此,因此 data
仍然是 TotalData
,确实提到了 extraProp
。
有人提议,在microsoft/TypeScript#20863 ,对非歧视工会的超额属性(property)检查更加严格。我非常同意;混合和匹配来自不同联合成员的属性似乎不是常见的用例,因此警告可能会有所帮助。但同样,这是一个长期存在的问题,我没有看到任何进展。
为此,您可以做的一件事是更明确地说明您要防止的过多属性。 {a: string}
类型的值可以具有 string
类型的 b
属性,但 {a: string, b?: never}
不能。因此,后一种类型将阻止 b
类型的属性,而无需依赖编译器的启发式方法来进行额外的属性检查。
在你的情况下:
type Foo = {
abilities: {
canManage: boolean
};
extraProp?: never
}
的行为与您原来的 Foo
定义非常相似,但现在您会收到此错误:
const data: TotalData = { // error!
// -> ~~~~
// Type '{ abilities: { canManage: false; }; extraProp: number; }'
// is not assignable to type 'TotalData'.
abilities: {
canManage: false,
},
extraProp: 5
}
编译器无法再使 data
与 Condition1
或 Condition2
保持一致,因此它会报错。
好的,希望对你有帮助;祝你好运!
关于基于嵌套对象内部属性的 Typescript 联合,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61732108/
我的一位教授给了我们一些考试练习题,其中一个问题类似于下面(伪代码): a.setColor(blue); b.setColor(red); a = b; b.setColor(purple); b
我似乎经常使用这个测试 if( object && object !== "null" && object !== "undefined" ){ doSomething(); } 在对象上,我
C# Object/object 是值类型还是引用类型? 我检查过它们可以保留引用,但是这个引用不能用于更改对象。 using System; class MyClass { public s
我在通过 AJAX 发送 json 时遇到问题。 var data = [{"name": "Will", "surname": "Smith", "age": "40"},{"name": "Wil
当我尝试访问我的 View 中的对象 {{result}} 时(我从 Express js 服务器发送该对象),它只显示 [object][object]有谁知道如何获取 JSON 格式的值吗? 这是
我有不同类型的数据(可能是字符串、整数......)。这是一个简单的例子: public static void main(String[] args) { before("one"); }
嗨,我是 json 和 javascript 的新手。 我在这个网站找到了使用json数据作为表格的方法。 我很好奇为什么当我尝试使用 json 数据作为表时,我得到 [Object,Object]
已关闭。此问题需要 debugging details 。目前不接受答案。 编辑问题以包含 desired behavior, a specific problem or error, and the
我听别人说 null == object 比 object == null check 例如: void m1(Object obj ) { if(null == obj) // Is thi
Match 对象 提供了对正则表达式匹配的只读属性的访问。 说明 Match 对象只能通过 RegExp 对象的 Execute 方法来创建,该方法实际上返回了 Match 对象的集合。所有的
Class 对象 使用 Class 语句创建的对象。提供了对类的各种事件的访问。 说明 不允许显式地将一个变量声明为 Class 类型。在 VBScript 的上下文中,“类对象”一词指的是用
Folder 对象 提供对文件夹所有属性的访问。 说明 以下代码举例说明如何获得 Folder 对象并查看它的属性: Function ShowDateCreated(f
File 对象 提供对文件的所有属性的访问。 说明 以下代码举例说明如何获得一个 File 对象并查看它的属性: Function ShowDateCreated(fil
Drive 对象 提供对磁盘驱动器或网络共享的属性的访问。 说明 以下代码举例说明如何使用 Drive 对象访问驱动器的属性: Function ShowFreeSpac
FileSystemObject 对象 提供对计算机文件系统的访问。 说明 以下代码举例说明如何使用 FileSystemObject 对象返回一个 TextStream 对象,此对象可以被读
我是 javascript OOP 的新手,我认为这是一个相对基本的问题,但我无法通过搜索网络找到任何帮助。我是否遗漏了什么,或者我只是以错误的方式解决了这个问题? 这是我的示例代码: functio
我可以很容易地创造出很多不同的对象。例如像这样: var myObject = { myFunction: function () { return ""; } };
function Person(fname, lname) { this.fname = fname, this.lname = lname, this.getName = function()
任何人都可以向我解释为什么下面的代码给出 (object, Object) 吗? (console.log(dope) 给出了它应该的内容,但在 JSON.stringify 和 JSON.parse
我正在尝试完成散点图 exercise来自免费代码营。然而,我现在只自己学习了 d3 几个小时,在遵循 lynda.com 的教程后,我一直在尝试确定如何在工具提示中显示特定数据。 This code
我是一名优秀的程序员,十分优秀!