检查子属性时在交叉点类型上出现错误

Question

早上好，

今天，我在使用基本流定义和扩展基本定义的两种类型时遇到了问题。

有一个数组，其中每个元素可以匹配First或Second类型定义。当循环这个数组时，我只想处理匹配First类型定义的元素，所以我认为应该通过检查仅存在于First的定义中的属性来完成，并且如果此属性不存在，则应该跳过此元素。

但是，我不明白对属性的检查是否也告诉流，现在可以访问此属性。

我做了flow.org一个小的脚本，你可以看到我的问题： https://flow.org/try/#0PTAEAEDMBsHsHcBQAXAngBwKagEIEMBnbAXlAG9FQrQA7PAW0wC5QDkAnASxoHMAaRAF8A3IhQZsAMU7s2oUviKgAZOUrVIMtiwrU9oAG55oAV2asO3fuqqCBIsWiygAypgDGsGgBN5uQtiqutREnj46NvpGpuZsXLwCenZCoohhcpjQmIw0yAQsAILs7HioADzSssigAD6uHl7eAHx+ANqRZLQM5gDkAIw9fKCaVTqGxmYs-T2ggrOJ1J10jFMATIOsDeHk4zFrM3PJALqpmdmYuQQAdJCw7ACieO4AFgAUr2c5yCyVcnVuYW8AEoWAZYJxfMQWsEqCBQL9qhxUExIpxIKBXgBCT4XZA3LTIIE7diYZAmdg0YSzMR6OEAxqgJEovRojGY149EZsGbcUA43JAomdElkilUwQ06hwgAqzxkviZqPRWP5eOehAA8vAaAAFdiwLDsNAcrnIHqC4mk8mU6mRdKwLJXOA8D5ZL74qpA0SCL2IIA

毕竟，它的工作原理，当我手动键入投的元素来抑制路口从流动警告，但在我的头上，这不应该是必要的？

感谢提前:)

Answer 1

我现在已经找到了解决方案，它实际上是非常简单的：确切的对象类型。

https://flow.org/try/#0PTAEAEDMBsHsHcBQAXAngBwKagEIEMBnbAXlAG8AfRUG0AOzwFtMAuUA5AJwEs6BzADSIKAXwDciFBmwAxbpw6hSlarQB0G-ESG1QkeRzZlVumgDc80AK6t2XXoJOgRQ0RKlZQAZUwBjWHQAJkrkVLoaalqYOrRE-kFGTroW1rYcPPwxNC7C4pLxipjQmMx0yARsAIKcnHioADxyCsigFN5+AYEAfCEA2k5k9Ey2AOQAjCMCegbIRqApNmzjI87OWeRDzEsATJPsHQkbC6O7qzkAuu5FJZhlBGqQsJwAoni+ABYAFJ-XpbOgTUUbR88UCAEo2GZYNxgsQesZdCAATNQFxUCwnNxIKBPgBCX63ZAPGZgjacTDIKycOhiZySRFgEGdVGcdGY7F4z4jfTNFa8UAEspg0mDcmU6m0kT02hIgAq73kwTRGN0WJx+OKfzU70IAHl4HQAAqcWBYThoLk8jgjYVkilUml0pwFWDFNRwPg-TWE4nNMESET+xBAA

我所发现的是，该流量并不仅仅因为它的属性first被排除可能的类型Second。您需要将对象类型定义为exact object types，以便检查一旦其中存在first属性时它不能为Second。