क्या पॉइंटर्स संकलक अनुकूलन को रोकते हैं?

Question

मैं subroutine में घोषित एक subroutine के लिए एक सरणी पारित करने की कोशिश कर रहा था, एक अनुमानित आकार सरणी के रूप में। वह मुझे कुछ समस्याएं दे रहा था कि मैं इसके बजाय एक पॉइंटर पास करके हल करने में सक्षम हूं।

लेकिन एक उच्च प्रतिष्ठा के साथ कुछ उपयोगकर्ता एक टिप्पणी में मुझसे कहता है:

सूचक जोड़ने से भी compilers अनुकूलक यह आज किसी भी काम करने के लिए नहीं है कि बताने का एक उचित तरीका है।

क्या कोई इस पर एक संक्षिप्त स्पष्टीकरण दे सकता है? भाषा फोरट्रान 95 है, हालांकि मुझे विश्वास है कि यह अन्य भाषाओं पर लागू होता है।

Answer 1

हां, फोरट्रान कंपाइलर्स को यह मानना ​​है कि पॉइंटर्स अन्य पॉइंटर्स के साथ और target चर के साथ उपनाम कर सकते हैं।

आप सूचक सरणियों a और

a(i) = a(i) + b(i) 

संकलक मान लेना चाहिए कि इन दो सरणियों आंशिक रूप से ओवरलैप हो सकता है और यह कुछ अनुकूलन को बाधित क्योंकि a का मान बदलने के कुछ मूल्य बदल सकते हैं चाहिए तो b है कुछ अज्ञात इंडेक्स पर b।

सी restrict कीवर्ड और Is Fortran easier to optimize than C for heavy calculations? पर एक और अधिक व्यापक चर्चा भी देखें। वहां उठाए गए पॉइंटर एलियासिंग के बारे में सभी बिंदुओं को दोहराने लायक नहीं है।

इयानएच की टिप्पणी जानबूझकर शायद बहुत मजबूत थी, लेकिन इसमें बहुत सच्चाई है।