सी ++ मानक शब्द: क्या "सीमा में सभी इटरेटर के माध्यम से" अनुक्रमिकता का अर्थ है?

Question

This SO questionstd::generate और मानक द्वारा की गई गारंटीओं के बारे में एक चर्चा को जन्म दिया। विशेष रूप से, क्या आप आंतरिक स्थिति वाले फ़ंक्शन ऑब्जेक्ट्स का उपयोग कर सकते हैं और generate(it1, it2, gen) पर gen() पर कॉल करने के लिए भरोसा कर सकते हैं, परिणाम *it पर संग्रहीत करें, gen() पर कॉल करें, *(it + 1) आदि में स्टोर करें, या उदाहरण के लिए, क्या यह पीछे से शुरू हो सकता है?

मानक (n3337, §25.3.7/1) इस कहते हैं:

प्रभाव: पहले एल्गोरिथ्म समारोह वस्तु gen invokes और सीमा [first,last) में सभी iterators के माध्यम से जनरल की वापसी मान नियत । दूसरा एल्गोरिदम फ़ंक्शन ऑब्जेक्ट जेन को आमंत्रित करता है और [first,first + n) श्रेणी में सभी पुनरावृत्तियों के माध्यम से जेन का रिटर्न वैल्यू असाइन करता है यदि n सकारात्मक है, अन्यथा यह कुछ भी नहीं करता है।

ऐसा लगता है कि कोई आदेश देने की गारंटी दी गई है, खासकर जब से अन्य पैराग्राफ मजबूत शब्दों है, उदाहरण के लिए std::for_each (प्रभाव:, सीमा [first,last) में हर इटरेटर अपसंदर्भन पहले से शुरू और last - 1 के लिए आगे बढ़ने के परिणाम के f लागू होता है यदि हम इसे सचमुच ले रहे हैं, तो यह केवल first से शुरू होने की गारंटी देता है और last पर समाप्त होता है - हालांकि आदेश में कोई गारंटी नहीं है)।

लेकिन: दोनों Microsoft's और Apache's C++ standard library दोनों अपने में ऐसे कई पृष्ठ है कि मूल्यांकन की आवश्यकता होती अनुक्रमिक होने के लिए पर उदाहरण दे। और libC++ (algorithm में) और libstdC++ (bits/stl_algo.h में) इसे इस तरह कार्यान्वित करें। इसके अलावा, आप इस गारंटी के बिना generate के लिए बहुत से संभावित एप्लिकेशन खो देते हैं।

क्या वर्तमान शब्द अनुक्रमिकता दर्शाता है? यदि नहीं, तो क्या यह समिति के सदस्यों या जानबूझकर पर्यवेक्षण था?

(मुझे अच्छी तरह से पता है कि ऐसे कई लोग नहीं हैं जो इस प्रश्न के अंतर्दृष्टिपूर्ण उत्तर प्रदान कर सकें, केवल अटकलों या चर्चा के बिना, लेकिन मेरी विनम्र राय में, यह एसओ दिशानिर्देशों के अनुसार यह प्रश्न 'रचनात्मक नहीं' बना देता है ।)

---

धन्यवाद इस मुद्दे ओर इशारा करते हुए और मुझे for_each के बारे में पैरा की चर्चा करते हुए के लिए @juanchopanza करने के लिए।

Answer 1

LWG475, std::for_each की चर्चा में std::transform के साथ तुलना की जाती है। यह नोट किया गया है कि "transform उस ऑर्डर की गारंटी नहीं देता है जिसमें उसकी फ़ंक्शन ऑब्जेक्ट कहा जाता है"। तो, हां, समिति मानक में अनुक्रमिक गारंटी की कमी से अवगत है।

गैर अनुक्रमिक व्यवहार के लिए कोई विपरीत आवश्यकता नहीं है, इसलिए माइक्रोसॉफ्ट और अपाचे अनुक्रमिक मूल्यांकन का उपयोग करने के लिए स्वतंत्र हैं।

Answer 2

कहीं भी मानक एल्गोरिदम पर ऑर्डरिंग निर्दिष्ट नहीं करता है, आपको यह मानना ​​चाहिए कि एक कार्यान्वयन समानांतरता के लिए इसका फायदा उठा सकता है। पेपर n3408 समांतरता के लिए विकल्पों पर चर्चा करता है, और Thrust लाइब्रेरी को इंगित करता है, जो मानक एल्गोरिदम के उपयोग योग्य समानांतर-सक्षम पुनर्मूल्यांकन और एल्गोरिदम में समांतरता के भविष्य के मानकीकरण के लिए सबूत-अवधारणा दोनों है।

generate के जोर के कार्यान्वयन को देखते हुए, यह समांतर लूप में gen पर कॉल करता है जब भी इटरेटर श्रेणी यादृच्छिक पहुंच होती है। जैसा कि आपने देखा है, यह मानक के अनुरूप है, इसलिए आपको यह नहीं मानना ​​चाहिए कि generate हमेशा अनुक्रमिक होगा। (उदाहरण के लिए, एक धागा सुरक्षित std::rand कुशलतापूर्वक generate के साथ प्रयोग किया जा सकता है और अनुक्रमिक मंगलाचरण आवश्यकता नहीं है।)

केवल एल्गोरिदम कि अनुक्रमिक मंगलाचरण की गारंटी numeric में होते हैं; यदि आपका कोड अनुक्रमिक आमंत्रण पर निर्भर करता है, तो आपको के स्थान पर iota का उपयोग करना चाहिए।

template<typename F> struct iota_adapter { 
    F f; 
    operator typename std::result_of<F()>::type() { return f(); } 
    void operator++() {} 
}; 
template<typename F> iota_adapter<F> iota_adapt(F &&f) { return {f}; } 

उपयोग के रूप में: एक मौजूदा जनरेटर अनुकूल

#include <numeric> 
#include <iostream> 

int main() { 
    int v[5], i = 0; 
    std::iota(std::begin(v), std::end(v), iota_adapt([&i]() { return ++i; })); 
    for (auto i: v) std::cout << i << '\n'; 
}