क्या हम कोटलिन में इंफिक्स जेनेरिक तरीकों का उपयोग कर सकते हैं?

Question

कंपाइलर infix + जेनेरिक तरीकों को स्वीकार करते हैं, लेकिन इसका उपयोग करने के लिए वाक्यविन्यास क्या है? उदाहरण के लिए, उन 2 समान तरीकों को देखते हुए (सापेक्ष मनमाने ढंग से सामान्य प्रकार):

infix inline fun Int1.plus1(i: Int1) = Int1(this.value + i.value) 
infix inline fun <U> Int1.plus2(i: Int1) = Int1(this.value + i.value) 

मैं लिख सकते हैं:

Int1(3).plus1(Int1(4)) 
Int1(3) plus1 Int1(4) 
Int1(3).plus2<Int>(Int1(4)) 

लेकिन यह कॉल अमान्य है:

Int1(3) plus2<Int> Int1(4) 

मुझे किसी ने समझा सकता क्यूं कर ?

Answer 1

टी एल; डॉ हाँ, हम

सबसे पहले, इस तरह के विधि

infix fun <U> Int.foo(i: Int) = ... 

क्योंकि foo कभी नहीं प्रकार पैरामीटर का उपयोग parameterizing का कोई मतलब नहीं यू, दोनों फोन करने वाले और तर्क के प्रकार परिभाषित कर रहे हैं कर सकते हैं

जब आप किसी विधि को पैरामीटर करते हैं तो आप signature से सामान्य प्रकार के साथ

01 जैसे किसी प्रकार से कनेक्ट करते हैं

infix fun <U> U.foo (other: U) = ... 

या उनमें से कम से कम एक

infix fun <U> Int.foo (other: U) = ... 
infix fun <U> U.foo (other: Int) = ... 

संकलक लगता होगा तर्क और/या फोन करने वाले वस्तु प्रकार

अपने मामले संकलक में से यू के प्रकार लगता है कि नहीं कर सकते यू टाइप करें क्योंकि यह न तो कॉलर से जुड़ा हुआ है और न ही