स्कैला कंपाइलर क्यों चेतावनी उत्पन्न करता है कि क्या बयान हमेशा पैटर्न पैटर्न के अंदर झूठा उत्पन्न करते हैं?

Question

स्कैला संकलक को नीचे दिए गए बयान के लिए चेतावनियां उत्पन्न करनी चाहिए, लेकिन ऐसा नहीं है। क्यूं कर?

sealed trait T 
object A extends T 

val s:Seq[T] = Seq(A) 

val result = s.map { 
    //This if should produce a compiler warning 
    case a if(a == "A") => 
     "First" 
    case a => 
     //This if should produce a compiler warning 
     if (a == "A") { 
     "Second" 
     } 
     else 
     { 
     "Third" 
     } 
} 

परिणाम आपकी अपेक्षानुसार हो जाएगा "तीसरा", लेकिन संकलक case a if(a == "A") पर और if (a == "A") पर एक चेतावनी उत्पन्न हो जाना चाहिए था, लेकिन अफसोस कोई चेतावनी है।

अगर मैं निम्नलिखित कोड लिखने यह बर्ताव करता है जैसे मैं उम्मीद करेंगे:

if(A == "A"){ 
    println("can't happen") 
} 

// warning: comparing values of types A.type and String using `==' will always yield false 

हो रहा क्यों है?

संपादित करें: मैं स्कैला 2.10.1 का उपयोग कर रहा हूं।

Answer 1

क्योंकि ऐसा हो सकता है। अगर मैंने बस कुछ आंतरिक राज्य रखा और पहले और दूसरे कॉल पर == "ए" के लिए अलग-अलग परिणाम लौटाए, तो मुझे "दूसरा" मिल सकता है।

आपने ए की परिभाषा प्रदान की है जो गारंटी देता है कि ऐसा नहीं हो सकता है, लेकिन इसके लिए पूरे कार्यक्रम की जांच की आवश्यकता है, और कंपाइलर चेतावनियां केवल स्थानीय हैं।

Answer 2

आप स्ट्रिंग तर्क के साथ अतिभारित == विधि के साथ वर्ग विरासत में मिला दिया जाएगा मई ...