检查子属性时交叉点类型的流错误

Question

早上好，

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

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

但是，我没有达到对属性的检查也告诉流现在可以访问该属性的地步。

我在 flow.org 上制作了一个小脚本，您可以在其中看到我的问题： https://flow.org/try/#0PTAEAEDMBsHsHcBQAXAngBwKagEIEMBnbAXlAG9FQrQA7PAW0wC5QDkAnASxoHMAaRAF8A3IhQZsAMU7s2oUviKgAZOUrVIMtiwrU9oAG55oAV2asO3fuqqCBIsWiygAypgDGsGgBN5uQtiqutREnj46NvpGpuZsXLwCenZCoohhcpjQmIw0yAQsAILs7HioADzSssigAD6uHl7eAHx+ANqRZLQM5gDkAIw9fKCaVTqGxmYs-T2ggrOJ1J10jFMATIOsDeHk4zFrM3PJALqpmdmYuQQAdJCw7ACieO4AFgAUr2c5yCyVcnVuYW8AEoWAZYJxfMQWsEqCBQL9qhxUExIpxIKBXgBCT4XZA3LTIIE7diYZAmdg0YSzMR6OEAxqgJEovRojGY149EZsGbcUA43JAomdElkilUwQ06hwgAqzxkviZqPRWP5eOehAA8vAaAAFdiwLDsNAcrnIHqC4mk8mU6mRdKwLJXOA8D5ZL74qpA0SCL2IIA

毕竟，当我手动键入 cast 元素以抑制流中的交叉警告时，它会起作用，但在我看来，这应该没有必要吗？

提前致谢:)

Answer 1

我现在找到了一个解决方案，它实际上非常简单：精确对象类型。

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

我发现，Flow 并不排除 Second 类型的可能性，因为其中有属性 first。您需要将对象类型定义为exact object types，以便检查一旦其中有first 属性，它就不能是Second。