क्या "& s [0]" std :: स्ट्रिंग में संगत वर्णों को इंगित करता है?

Question

मैं निम्नलिखित की तरह कुछ रखरखाव के काम कर रहा हूँ और भाग गया कुछ भर में:

std::string s; 
s.resize(strLength); 
// strLength is a size_t with the length of a C string in it. 

memcpy(&s[0], str, strLength); 

मैं & s का उपयोग करके [0] सुरक्षित अगर यह एक std :: वेक्टर था होगा पता है, लेकिन यह एक सुरक्षित उपयोग है std :: स्ट्रिंग का?

Answer 1

एक std :: स्ट्रिंग का आवंटन C++ 98/03 मानक के तहत संगत होने की गारंटी नहीं है, लेकिन सी ++ 11 इसे बल देता है। अभ्यास में, न तो मैं और न ही Herb Sutter एक कार्यान्वयन के बारे में जानता हूं जो संगत भंडारण का उपयोग नहीं करता है।

ध्यान दें कि &s[0] चीज हमेशा 0-लंबाई स्ट्रिंग मामले में सी ++ 11 मानक द्वारा काम करने की गारंटी दी जाती है। यह गारंटी नहीं किया जा अगर आप str.begin() या &*str.begin() किया था, लेकिन &s[0] के लिए मानक operator[] के रूप में परिभाषित करता है:

रिटर्न:, *(begin() + pos) अगर pos < size() मूल्य charT() साथ प्रकार T का एक उद्देश्य के लिए अन्यथा एक संदर्भ; [0,size()] में प्रत्येक i के लिए एक संकेतक p ऐसी है कि p + i == &operator[](i): संदर्भित मूल्य

संशोधित करेगा नहीं किया जा पर जारी रखते हुए, data() के रूप में परिभाषित किया गया है:

रिटर्न।

---

सूचना (सीमा के दोनों सिरों पर वर्ग कोष्ठक नोटिस): पूर्व मानकीकरण C++ 0x &s[0] की गारंटी नहीं था शून्य लंबाई तार के साथ काम करने (वास्तव में, यह स्पष्ट रूप से अपरिभाषित व्यवहार था), और इस उत्तर के पुराने संशोधन ने इसे समझाया; इसे बाद के मानक ड्राफ्ट में तय किया गया है, इसलिए उत्तर तदनुसार अपडेट किया गया है।

Answer 2

तकनीकी रूप से, नहीं, std::string से इसकी सामग्री को स्मृति में संगत रूप से संग्रहीत करने की आवश्यकता नहीं है।

हालांकि, लगभग सभी कार्यान्वयन (जिनमें से प्रत्येक कार्यान्वयन मुझे पता है) में, सामग्री को व्यवस्थित रूप से संग्रहीत किया जाता है और यह "काम करेगा।"

Answer 3

पाठकों को ध्यान रखना चाहिए कि 200 9 में यह सवाल पूछा गया था, जब सी ++ 03 मानक वर्तमान प्रकाशन था। यह उत्तर मानक के उस संस्करण पर आधारित है, जिसमें std::string एस संगत संग्रहण का उपयोग करने की गारंटी नहीं है। चूंकि इस सवाल को किसी विशेष प्लेटफ़ॉर्म (जैसे जीसीसी) के संदर्भ में नहीं पूछा गया था, इसलिए मैं ओपी के प्लेटफ़ॉर्म के बारे में कोई धारणा नहीं करता - विशेष रूप से, मौसम या string के लिए यह प्रतिष्ठित संग्रहण का उपयोग नहीं करता है।

कानूनी? शायद शायद नहीं। सुरक्षित? शायद, लेकिन शायद नहीं। अच्छा कोड? खैर, चलो वहाँ नहीं जाते ...

क्यों न सिर्फ कार्य करें:

std::string s = str; 

... या:

std::string s(str); 

... या:

std::string s; 
std::copy(&str[0], &str[strLen], std::back_inserter(s)); 

... या:

std::string s; 
s.assign(str, strLen); 

?

Answer 4

यह आम तौर पर सुरक्षित है, भले ही आंतरिक स्ट्रिंग अनुक्रम लगातार स्मृति में संग्रहीत किया गया हो या नहीं। निरंतरता के अलावा std::string ऑब्जेक्ट द्वारा नियंत्रित अनुक्रम को संग्रहीत करने के तरीके से संबंधित कई अन्य कार्यान्वयन विवरण हो सकते हैं।

इसके साथ वास्तविक व्यावहारिक समस्या निम्न हो सकती है। std::string के नियंत्रित अनुक्रम को शून्य-समाप्त स्ट्रिंग के रूप में संग्रहीत करने की आवश्यकता नहीं है। हालांकि, व्यावहारिक रूप से, कई (अधिकांश?) कार्यान्वयन आंतरिक बफर को 1 से अधिक करने का चयन करते हैं और अनुक्रम को शून्य-समाप्त स्ट्रिंग के रूप में संग्रहीत करते हैं क्योंकि यह c_str() विधि के कार्यान्वयन को सरल बनाता है: केवल आंतरिक बफर पर एक पॉइंटर लौटाएं और आप किया हुआ।

आपके प्रश्न में उद्धृत कोड आंतरिक बफर में कॉपी किए गए डेटा को शून्य-समाप्त करने का कोई प्रयास नहीं करता है। काफी संभवतः यह नहीं जानता कि std::string के कार्यान्वयन में शून्य-समाप्ति आवश्यक है या नहीं। काफी संभवतः यह resize पर कॉल के बाद ज़ीरो से भरे आंतरिक बफर पर निर्भर करता है, इसलिए कार्यान्वयन द्वारा शून्य टर्मिनेटर के लिए आवंटित अतिरिक्त वर्ण आसानी से शून्य पर पूर्व-निर्धारित होता है। यह सब कार्यान्वयन विस्तार है, जिसका अर्थ यह है कि यह तकनीक कुछ नाजुक धारणाओं पर निर्भर करती है।

दूसरे शब्दों में, आपको कुछ कार्यान्वयन में शायद strcpy का उपयोग करना होगा, memcpy डेटा को नियंत्रित अनुक्रम में डेटा को मजबूर करने के लिए। जबकि कुछ अन्य कार्यान्वयन में आपको memcpy और strcpy का उपयोग करना होगा।

Answer 5

कोड काम कर सकता है, लेकिन निर्णय से भाग्य से अधिक, यह उस कार्यान्वयन के बारे में धारणा करता है जो गारंटी नहीं है। मैं निर्धारित करने का सुझाव देते हैं कोड की वैधता अप्रासंगिक है, जबकि यह जटिलता पर एक व्यर्थ है कि आसानी से बस करने के लिए कम है:

std::string s(str) ; 

या यदि एक मौजूदा std :: स्ट्रिंग वस्तु को बताए, बस:

s = str ; 

और उसके बाद std :: स्ट्रिंग स्वयं निर्धारित करें कि परिणाम कैसे प्राप्त करें। यदि आप इस तरह के बकवास का सहारा ले रहे हैं, तो आप std :: स्ट्रिंग का उपयोग नहीं कर सकते हैं और तब से चिपक सकते हैं क्योंकि आप सी स्ट्रिंग से जुड़े सभी खतरों को पुन: पेश कर रहे हैं।

Answer 6

यह उपयोग करने के लिए सुरक्षित है। मुझे लगता है कि ज्यादातर जवाब एक बार सही थे, लेकिन मानक बदल गया। सी ++ 11 मानक से हवाला देते हुए, सामान्य आवश्यकताओं basic_string [string.require], 21.4.1.5, कहते हैं: एक basic_string वस्तु में

चार-तरह की वस्तुओं समीपवर्ती संग्रहीत किया जाएगा।यही कारण है कि किसी भी basic_string वस्तु ओं के लिए, है, पहचान & * (s.begin() + n) == & * s.begin() + n इस तरह के एन के सभी मानों कि 0 < = n < रों के लिए पकड़ जाएगा .size()।

इससे पहले थोड़ा, यह कहता है कि सभी इटेटरेटर यादृच्छिक एक्सेस इटरेटर हैं। दोनों बिट्स आपके प्रश्न के उपयोग का समर्थन करते हैं। (इसके अतिरिक्त, स्ट्रॉस्ट्रप स्पष्ट रूप से अपनी नवीनतम पुस्तक में इसका उपयोग करता है;))

यह परिवर्तन संभव नहीं है कि यह परिवर्तन सी ++ 11 में किया गया हो। मुझे याद है कि वेक्टर के लिए वही गारंटी जोड़ा गया था, जिसे उस रिलीज के साथ बहुत उपयोगी डेटा() पॉइंटर भी मिला।

उम्मीद है कि मदद करता है।