क्या आप `std :: unique_ifr 'के कंटेनर पर` std :: remove_if` का उपयोग कर सकते हैं?

Question

std::vector<std::unique_ptr<SomeType> > को देखते हुए, क्या यह remove_if का उपयोग करने के लिए कानूनी है? दूसरे शब्दों में, इस कोड को दिए गए:

std::vector<std::unique_ptr<SomeType> > v; 
// fill v, all entries point to a valid instance of SomeType... 
v.erase(std::remove_if(v.begin(), v.end(), someCondition), v.end()); 

, मैं मिटा है कि अभी भी v में सभी संकेत मान्य हैं के बाद की गारंटी कर रहा हूँ। मुझे पता है कि std::remove_if के सहज कार्यान्वयन को देखते हुए, और मैंने देखा है कि सभी कार्यान्वयन, वे होंगे। मैं जानना चाहता हूं कि मानक में कुछ भी है जो इसकी गारंटी देता है; यानी std::remove_if को कॉपी करने की अनुमति नहीं है, इसकी वैध प्रविष्टियों को प्रतिलिपि के बिना अपने अंतिम स्थान पर कॉपी किए बिना।

(मैं निश्चित रूप से कर रहा हूँ,, मान कि हालत नकल नहीं है, तो हालत की तरह एक हस्ताक्षर है:।

struct Condition 
{ 
    bool operator()(std::unique_ptr<SomeType> ptr) const; 
}; 

, तो जाहिर है, संकेत के सभी के बाद अमान्य हो जाएँगे remove_if।)

Answer 1

25.3.8 N3290 में के बारे में समारोह को दूर बोलते:

आवश्यक है: * के प्रकार के पहले MoveAssignable आवश्यकताओं (तालिका 22) को संतुष्ट करेगा।

और

नोट: रेंज [सेवानिवृत्त में प्रत्येक तत्व, पिछले), जहां सेवानिवृत्त दिया जाता है मूल्य,, एक वैध लेकिन unspeci फाई एड राज्य है, क्योंकि एल्गोरिदम स्वैप करके तत्वों को समाप्त कर सकते उस श्रेणी में मूल रूप से तत्वों से या आगे बढ़ना।

इसका मतलब है कि यह आपके अनुमानित ऑपरेटर पर निर्भर करता है। चूंकि आपका भविष्य एक प्रतिलिपि नहीं बनाता है, इसलिए तत्वों की प्रतिलिपि नहीं बनाई जा रही है।

Answer 2

बस erase() और resize(), remove_if()होगा कदम तत्वों (संभवतः अदला-बदली के माध्यम से), तो कंटेनर तत्वों copyable होने की जरूरत नहीं है। unique_ptr के बारे में कुछ भी खास नहीं है, यह सिर्फ एक और चाल-केवल प्रकार है।

जैसा कि आप इंगित करते हैं, भविष्यवाणी निश्चित रूप से कॉन्स्ट-रेफरेंस द्वारा तत्व लेनी चाहिए। फिर, किसी भी चलने योग्य प्रकार की तरह।