जावा कंपाइलर पार्स टाइपकास्ट कैसे करता है?

Question

(x) - y 

जैसे एक साधारण अभिव्यक्ति का अर्थ भिन्न है कि x एक प्रकार का नाम है या नहीं। यदि x एक प्रकार का नाम नहीं है, तो (x) - yx से y को घटा देता है। लेकिन यदि x एक प्रकार का नाम है, (x) - yy के नकारात्मक की गणना करता है और परिणामस्वरूप मान x टाइप करने के लिए बनाता है।

एक सामान्य सी या सी ++ कंपाइलर में, x एक प्रकार है या नहीं, इसका सवाल उत्तरदायी है क्योंकि पार्सर इस तरह की जानकारी लेक्सर को संचारित करता है जैसे ही यह टाइपिफ़ या स्ट्रक्चर घोषणा को संसाधित करता है। (मुझे लगता है कि स्तरों के इस तरह के आवश्यक उल्लंघन सी के डिजाइन का सबसे नास्ट हिस्सा था)

लेकिन जावा में, x को बाद में स्रोत कोड में परिभाषित नहीं किया जा सकता है। जावा कंपाइलर इस तरह की अभिव्यक्ति को कैसे असंबद्ध करता है?

यह स्पष्ट है कि जावा कंपाइलर को कई पास की आवश्यकता होती है, क्योंकि जावा को घोषणा-पूर्व-उपयोग की आवश्यकता नहीं होती है। लेकिन ऐसा लगता है कि पहले पास को अभिव्यक्तियों को पार करने पर एक बहुत ही बेवकूफ नौकरी करना पड़ता है, और उसके बाद बाद में पास एक और अधिक सटीक, अभिव्यक्तियों का विश्लेषण करता है। यह अपमानजनक लगता है।

क्या कोई बेहतर तरीका है?

Answer 1

मुझे लगता है कि मुझे वह समाधान मिला है जो मुझे संतुष्ट करता है। Mmyers के लिए धन्यवाद, मुझे एहसास हुआ कि मुझे प्रकार के लिए वाक्यविन्यास के औपचारिक spec की जांच करने की जरूरत है।

अस्पष्टता + और - दोनों अनैरी और बाइनरी ऑपरेटरों के कारण होती है। जो जाने जाते हैं - जब तक डाली एक आदिम प्रकार का उपयोग करता

CastExpression: 
     (PrimitiveType Dimsopt) UnaryExpression 
     (ReferenceType) UnaryExpressionNotPlusMinus 

(http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#238146 देखें)

तो, '+' और '-' स्पष्ट रूप से एक कलाकारों के ')' के तुरंत बाद की अनुमति नहीं है: जावा इस व्याकरण से समस्या का हल कंपाइलर द्वारा एक प्राथमिकता।

Answer 2

मैं बस इसे बाहर का परीक्षण किया है और यह कोड:

Double y = new Double(0.1); 
System.out.println((Double)-y); 

एक संकलन त्रुटि देता है:

operator - cannot be applied to Double, java.lang.Double .

कोष्ठकों लाना आसपास -y यह ठीक संकलन बना देता है। तो स्पष्ट रूप से जावा इस समस्या को हल करता है कि इसे व्याकरण में अनुमति न दे (अगर यह सही शब्दावली है; मैं कंपाइलर्स पर एक विशेषज्ञ नहीं हूं)।