यदि मेरे पास vector3। सामान्य () विधि जो पोस्ट स्थिति को निर्दिष्ट करती है, जहां परिणामस्वरूप < कोड> वेक्टर 3 की लंबाई 1 है, संकलक समय (या पहले) को संकलित करने के लिए यह कैसे जांच करेगा? क्या यह पद्धति में एक यादृच्छिक vector3 चर को पारित करता है?
यह नहीं है सी # 4.0 की सुविधा नहीं है यह सीएलआर 4.0 की भाषा-स्वतंत्र सुविधा है जो आईएल स्तर पर काम करता है। इसमें स्थिर जांच करने की कुछ क्षमता होती है, लेकिन हर तरह की स्थिति के लिए नहीं। यह वास्तव में आपके द्वारा उपयोग की जा रही भाषा के लिए सामान्य संकलक द्वारा आईएल का विश्लेषण करता है, आपको कोड में रखी बाधाओं को पाता है और फिर यह पता लगा सकता है कि यह अनुबंध को पूरा करने वाला है या नहीं। स्थिर जांच (कम से कम मैंने जो देखा है) एक वैकल्पिक सुविधा है।
Comments
Post a Comment