std :: allocator

Question

_{यह प्रश्न भी यूज़नेट को सबमिट किया गया है, जहां यह अधिक उपयुक्त है, लेकिन यह एक बड़ा और अधिक विश्वसनीय मंच है।}

std::allocator::construct अपने तर्क पैरामीटर अग्रेषित करने के लिए पैक निर्माण का उपयोग कर कोष्ठक, यानी डायरेक्ट-प्रारंभ आपत्ति उठाने परिभाषित किया गया है।

यदि यह ब्रेसिज़ इस्तेमाल किया, यानी वर्दी आरंभीकरण, हम कुल डेटा प्रकार इस तरह के std::make_shared और container::emplace के रूप में कार्य से प्रारंभ कर सकते हैं। इसके अलावा, यह इस तरह के एक समारोह के तर्क सूची, अग्रेषण के तहत initializer_list प्रकार कटौती की समस्या को हल में एक प्रारंभकर्ता सूची की सामग्री डाल करने के लिए स्वीकार्य होगा।

इस विकल्प माना जाता था और अस्वीकार कर दिया? क्या भविष्य में मानक में स्विच करना बहुत देर हो चुकी है? ऐसा लगता है कि यह एक तोड़ने वाला बदलाव होगा, लेकिन विशेष रूप से जघन्य नहीं है।

Answer 1

मैं क्या अनुसूचित जाति माना जाता पता नहीं है, लेकिन यह है कि वर्दी प्रारंभ नहीं वास्तव में सामान्य संदर्भों (मूल्य निर्माण को छोड़कर *) में 'काम' करता है को ध्यान में रखना। इस प्रयास पर विचार करें:

template<typename T, typename... Args> 
T 
make(Args&&... args) 
{ 
    return T { std::forward<Args>(args)... }; 
} 

आप मिल:

assert(make<std::vector<int>>(10, 0).size() == 2); 
assert(std::vector<int>(10, 0).size() == 10); 

और इस संकलन नहीं करता है:

make<std::vector<int*>>(10u, 0); 

जबकि इस करता है:

std::vector<int*>(10u, 0); 

तो विशेष बातचीत सही अग्रेषण के बीच और प्रारंभकर्ता सूचियां जो इसे जल्द ही औपचारिक रूप से औपचारिक रूप से लागू कर देती हैं, मैं एससी को स्क्रैच से पुनरारंभ करना नहीं चाहता था।

(*): T {} सामान्य संदर्भों में भी ठीक है।