मैं क्यों स्काला में एफ घिरा वस्तु नहीं बना सकते

Question

मान लीजिए मैं:

trait A[AA <: A[AA]] 
//or even just ` 
trait A[AA] 

यह काम नहीं करता:

scala> object AAA extends A[AAA.type] 
<console>:8: error: illegal cyclic reference involving object AAA 
    object AAA extends A[AAA.type] 
         ^

लेकिन यह काम करता है:

scala> class AAA extends A[AAA]; object AAA extends AAA 
defined class AAA 
defined module AAA 

लगभग (वास्तव में नहीं) वही करना और यह काम करता है। कोई कारण?

पीएस और, कंप्रेसर के अंदर infinte चक्र को मजबूर करने के लिए इस तरह के ऑब्जेक्ट के अंदर वास्तव में can I do क्या है?

Answer 1

जैसा कि आप अपने शीर्षक में शामिल हैं, कामकाजी मामला class AAA extends A[AAA]F-bounded polymorphism का एक उदाहरण है, जो एक पुनरावर्ती प्रकार की परिभाषा है जहां परिभाषा स्वयं को संदर्भित करती है। रिकर्सन प्रकारों में काफी आम है, यहां तक ​​कि विनम्र List is recursive; यह काफी अच्छी तरह से समझ लिया गया क्षेत्र है।

हालांकि, object AAA extends A[AAA.type] एक पुनरावर्ती प्रकार नहीं है। यहां AAA एक मान है, और आपकी घोषणा संकलक को परिभाषित होने पर किसी मान के प्रकार को संदर्भित करने के लिए कहती है, जो एक क्षमता नहीं है जिसे स्कैला डिजाइन/इरादा किया गया था।