प्रक्षेपण प्रकार से सही प्रकार पैरामीटर का अनुमान कैसे लगाएं?

Question

मुझे स्कैला को एक प्रकार प्रक्षेपण से सही प्रकार का अनुमान लगाने के लिए कुछ परेशानी होती है।

निम्नलिखित पर विचार करें:

trait Foo { 
    type X 
} 

trait Bar extends Foo { 
    type X = String 
} 

def baz[F <: Foo](x: F#X): Unit = ??? 

उसके बाद निम्न ठीक संकलित:

val x: Foo#X = ???  
baz(x) 

लेकिन निम्नलिखित संकलन नहीं होगा:

val x: Bar#X = ???  
baz(x) 

स्काला "अंतर्निहित प्रकार स्ट्रिंग देखता है "x के लिए, लेकिन जानकारी खो दी है x एक Bar#X है। यह ठीक काम करता है अगर मैं प्रकार व्याख्या:

baz[Bar](x) 

वहाँ स्काला baz के लिए सही प्रकार पैरामीटर अनुमान कर बनाने के लिए एक तरीका है?
यदि नहीं, तो सामान्य उत्तर क्या है जो इसे असंभव बनाता है?

Answer 1

कार्यक्रम संदर्भ में इस अंतर्निहित रूपांतरण जोड़कर संकलित:

implicit def f(x: Bar#X): Foo#X = x 

के रूप में यह अंतर्निहित रूपांतरण किसी भी F <: Foo के लिए सही है, तो मुझे आश्चर्य है कि क्यों संकलक नहीं करता है अपने आप में है।

Answer 2

तुम भी कर सकते हैं:

trait Foo { 
    type X 
} 
trait Bar extends Foo { 
    type X = String 
} 
class BarImpl extends Bar{ 
    def getX:X="hi" 
} 
def baz[F <: Foo, T <: F#X](clz:F, x: T): Unit = { println("baz worked!")} 
val bi = new BarImpl 
val x: Bar#X = bi.getX 
baz(bi,x) 

लेकिन:

test.scala:22: error: inferred type arguments [Nothing,java.lang.String] do not conform to method baz2's type parameter bounds [F <: this.Foo,T <: F#X] 
baz2(x) 
^ 
one error found 

मैं मूल रूप से लगता है, एफ <: फू संकलक कि एफ हो गया है बताता है

def baz2[F <: Foo, T <: F#X](x: T): Unit = { println("baz2 failed!")} 
baz2(x) 

के साथ विफल फू का एक उप प्रकार, लेकिन जब यह एक्स प्राप्त करता है तो यह नहीं जानता कि आपकी विशेष एक्स से आता है। आपका एक्स सिर्फ एक स्ट्रिंग है, और बार को वापस इंगित करने वाली जानकारी को बनाए रखता नहीं है।

ध्यान दें कि:

def baz3[F<: Foo](x : F#X) = {println("baz3 worked!")} 
baz3[Bar]("hi") 

भी काम करता है। तथ्य यह है कि आपने एक वैल एक्स परिभाषित किया है: बार # एक्स = ??? बस इसका मतलब है ??? जो भी बार # एक्स संकलित समय पर हो सकता है, तक सीमित है ... संकलक जानता है कि बार # एक्स स्ट्रिंग है, इसलिए एक्स का प्रकार सिर्फ स्ट्रिंग से किसी स्ट्रिंग से भिन्न नहीं है।