我正在寫一個類似 Java (但不是 Java) 語言的 compiler, 對於 a ? b : c 這種 conditional operator 的型別不知該如和處理, 不知道有沒有人知道這個部份應該要怎麼做? 我的問題是這樣, 假設型別 X 跟 Y 有這樣的繼承架構 : interface N1 {} interface N2 {} class A {} class B extends A implements N1 {} class C extends A implements N1 {} class X extends B implements N2 {} class Y extends C implemnets N2 {} 也就是說, A, N1, N2 都是 X, Y 共同的 parent types. 然後: void func(A o) {} void func(N2 o) {} void test(boolean b) { // should be ambiguous func( b ? new X() : new Y() ); } 在 Java 裡的結果是 ambiguous, 但是 type checking 階段要怎麼檢查出來呢? conditional expression 也是 expression 的一種, 而所有 expression 都應該 有一個唯一的 evalutation result type, 所以 exp1 ? exp2 : exp3 裡面, exp1 一定是 boolean, 而後應該要從 exp2 跟 exp3 中得到一個共同的型別當成 整個 conditional expression 的型別. 所以我原先試著定義兩個型別 X, Y 之間的 "most specific common parent type", 在這裡是 N2, 當成整個結果的型別, 但是這麼一來, 上面就會 bind 到 func(N2) 而不會是 ambiguous 了. 想了很久, 覺得要檢查出 ambiguous, 似乎只有可能讓 conditional expression 的結果型別不只一個, 變成 { X, Y } 或是 { A, N1, N2 } 這種集和, 然後才能帶到 method resolving 的階段做比對, 但這感覺有兩個大缺點, 首先, 所有的 expression 都變成可能有不是唯一的 result type, 很麻煩, 再來是, method resolving 的複雜度馬上指數成長, 因為可能的狀況太多了: void func( A a, N1 n1, N2 n2 ) {} void func( Object o, N2 n2, A a ) {} void test( boolean b ) { func( b ? new X() : new Y(), b ? new X() : new Y(), b ? new X() : new Y() ); } 這排列組合下來 type checking 階段會瘋掉... 我試著看 Java Language Spec #15.25, 看了半天好像就是要靠 { A, N1, N2 } 這種集合... 所以這表示不是所有 expression 都有唯一的 result type 嗎? 原來以為 a ? b : c 只是簡單的 syntax sugar, 很意外竟然會這麼麻煩, 不知有沒有人有處理這個的經驗? --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.136.91.116