推 godfat:看到第一句話才想起來，你在嵐達網上發過言... XD 03/20 16:38
→ macbuntu:哈是阿, compiler 的問題能問的地方還真不多 :P 03/20 17:41
我正在寫一個類似 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