檢查子屬性時在交叉點類型上出現錯誤

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。