मैंने देखा कि जंग में चलने में लालसा पर लागू होता है, और यह स्थिर रूप से लागू होता है कि वस्तुओं से स्थानांतरित नहीं होते हैं।जंग और स्वामित्व में पाया गया है कि जंग का स्वामित्व अर्थशास्त्र कैसे विशिष्टता टाइपिंग से संबंधित है?
ये अर्थशास्त्र स्वच्छ और बुध में पाए जाने वाले विशिष्टता टाइपिंग से कैसे संबंधित हैं? क्या वे एक ही अवधारणा हैं? यदि नहीं, तो वे अलग कैसे होते हैं?
जंग में स्वामित्व की अवधारणा बुध और स्वच्छ में विशिष्टता के समान नहीं है, हालांकि वे इस बात से संबंधित हैं कि वे दोनों स्थिर जांच के माध्यम से सुरक्षा प्रदान करना चाहते हैं, और वे दोनों संदर्भों की संख्या के संदर्भ में परिभाषित हैं एक गुंजाइश प्रमुख अंतर हैं:
विशिष्टता एक अधिक अमूर्त अवधारणा है। हालांकि इसे यह कहकर व्याख्या किया जा सकता है कि स्मृति स्थान का संदर्भ अद्वितीय है, जैसे कि जंग का lvalues, यह ब्रह्मांड में प्रत्येक वस्तु की स्थिति जैसे अमूर्त मूल्यों पर भी लागू हो सकता है, ताकि चरम लेकिन सामान्य उदाहरण दिया जा सके। इस तरह के मूल्य से संबंधित कोई सूचक नहीं है - इसे डीबगर या उसके जैसा कुछ भी खोला नहीं जा सकता है - लेकिन इसका उपयोग इंटरफ़ेस के माध्यम से किसी भी अन्य सार प्रकार की तरह किया जा सकता है। इसका उद्देश्य मूल्य उन्मुख अर्थशास्त्र देना है जो राज्य की उपस्थिति में सुसंगत रहता है।
बुध में, कम से कम (मैं स्वच्छ के लिए बात नहीं कर सकता), विशिष्टता स्वामित्व की तुलना में अधिक सीमित अवधारणा है, जिसमें बिल्कुल एक संदर्भ होना चाहिए। आप proviso पर एक संदर्भ की कई प्रतियों को साझा नहीं कर सकते हैं कि वे जंग में किए जा सकते हैं, जैसा कि उन्हें लिखा नहीं जाएगा। आप लेखन के लिए संदर्भ भी नहीं दे सकते हैं लेकिन उधारकर्ता के साथ समाप्त होने के बाद बाद में इसे वापस प्राप्त करें।
बुध में कुछ अद्वितीय घोषित करने से यह गारंटी नहीं मिलती है कि संदर्भों के लिए लेखन होगा, बस यह कि संकलक जांच करेगा कि ऐसा करना सुरक्षित होगा; यह अभी भी स्थान पर अपडेट करने के बजाय एक अद्वितीय संदर्भ की सामग्री की प्रतिलिपि बनाने के कार्यान्वयन के लिए मान्य है। संकलक अद्यतन के लिए व्यवस्था की व्यवस्था करेगा यदि यह इसे अपने दिए गए अनुकूलन स्तर पर उचित समझा जाता है। वैकल्पिक रूप से, अमूर्त प्रकार के लेखक मैन्युअल रूप से समान (या कभी-कभी काफी बेहतर) ऑप्टिमाइज़ेशन निष्पादित कर सकते हैं, ज्ञान में सुरक्षित है कि उपयोगकर्ताओं को अमूर्त प्रकार का उपयोग करने के लिए मजबूर होना होगा जो उनके साथ संगत है। दूसरी ओर, जंग में स्वामित्व, स्मृति मॉडल से अधिक सीधे जुड़ा हुआ है और व्यवहार के बारे में मजबूत गारंटी देता है।