एक लैम्ब्डा समारोह

Question

#include <vector> 
#include <algorithm> 

void foo(int) 
{ 
} 

int main() 
{ 
    std::vector<int> v({ 1,2,3 }); 

    std::for_each(v.begin(), v.end(), [](auto it) { foo(it+5); }); 
} 

जब संकलित में ऑटो का प्रयोग, उदाहरण के ऊपर शुरू होता है इस तरह त्रुटि उत्पादन:

h4.cpp: In function 'int main()': 
h4.cpp:13:47: error: parameter declared 'auto' 
h4.cpp: In lambda function: 
h4.cpp:13:59: error: 'it' was not declared in this scope 

यह मतलब यह है कि कीवर्ड auto लैम्ब्डा भाव में नहीं किया जाना चाहिए?

यह काम करता है:

std::for_each(v.begin(), v.end(), [](int it) { foo(it+5); }); 

क्यों ऑटो कीवर्ड के साथ संस्करण काम नहीं करता है?

Answer 1

ऑटो कीवर्ड फ़ंक्शन तर्कों के प्रकार के रूप में काम नहीं करता है। यदि आप लैम्ब्डा फ़ंक्शंस में वास्तविक प्रकार का उपयोग नहीं करना चाहते हैं, तो आप नीचे दिए गए कोड का उपयोग कर सकते हैं।

for_each(begin(v), end(v), [](decltype(*begin(v)) it){ 
     foo(it + 5);   
}); 

Answer 2

लैम्ब्डा के प्रकार से पहले संकलक भी std::for_each का दृष्टांत कर सकते हैं जाना जाता है की जरूरत है। दूसरी तरफ, भले ही यह सैद्धांतिक रूप से संभव हो, auto केवल for_each के बाद ही किया जा सकता है यह देखकर तुरंत किया जा सकता है कि कैसे मज़ेदार को बुलाया जाता है।

सभी संभव पर हैं, के बारे में for_each भूल जाते हैं, और छोरों जो बहुत आसान कर रहे हैं के लिए सीमा के आधार पर का उपयोग करें:

for (int it : v) { 
    foo(it + 5); 
} 

यह भी auto (और auto& और const auto&) के साथ अच्छी तरह से सामना करना चाहिए।

for (auto it : v) { 
    foo(it + 5); 
} 

Answer 3

इस पर साक्षात्कार के दौरान हर्ब सटर द्वारा संक्षेप में चर्चा की गई। auto तर्क के लिए आपका मांग वास्तव में मांग की है कि किसी भी समारोह auto साथ declarable होना चाहिए इस तरह, से अलग नहीं है:

auto add(auto a, auto b) -> decltype(a + b) { return a + b; } 

हालांकि, ध्यान दें कि यह वास्तव में एक समारोह नहीं है, बल्कि यह है एक टेम्पलेट समारोह, के लिए समान:

template <typename S, typename T> 
auto add(S a, T b) -> decltype(a + b) { return a + b; } 

तो तुम अनिवार्य रूप से एक सुविधा के लिए पूछ रहे हैं किसी टेम्प्लेट में अपने तर्कों को बदलने के द्वारा किसी भी समारोह चालू करने के लिए। चूंकि टेम्पलेट्स सी ++ की प्रकार प्रणाली में एक बहुत ही अलग प्रकार की इकाई हैं (टेम्पलेट्स के लिए सभी विशेष नियमों के बारे में सोचें, जैसे कि दो चरण के लुकअप और कटौती), यह अप्रत्याशित रैमिकेशंस के साथ कट्टरपंथी डिज़ाइन परिवर्तन होगा, जो निश्चित रूप से ' किसी भी समय मानक में होने जा रहा है।

Answer 4

सी ++ 14 लैम्ब्डा फ़ंक्शन (जेनेरिक लैम्ब्डा फ़ंक्शन) पैरामीटर को ऑटो के साथ घोषित करने की अनुमति देता है।

auto multiply = [](auto a, auto b) {return a*b;}; 

जानकारी के लिए: http://en.cppreference.com/w/cpp/language/lambda