टेम्पलेट पैरामीटर के रूप में लैम्ब्डा अभिव्यक्ति का उपयोग कैसे करें?

Question

टेम्पलेट पैरामीटर के रूप में लैम्ब्डा अभिव्यक्ति का उपयोग कैसे करें? जैसे एक एसडीडी :: सेट शुरू करने के लिए एक तुलना वर्ग के रूप में।

निम्नलिखित समाधान काम करना चाहिए, क्योंकि लैम्ब्डा अभिव्यक्ति केवल एक अज्ञात संरचना बनाता है, जो टेम्पलेट पैरामीटर के रूप में उपयुक्त होना चाहिए। हालांकि, बहुत सारी त्रुटियां पैदा हुई हैं।

कोड उदाहरण:

struct A {int x; int y;}; 
std::set <A, [](const A lhs, const A &rhs) ->bool { 
    return lhs.x < rhs.x; 
    } > SetOfA; 

त्रुटि निर्गम (मैं जी ++ 4.5.1 संकलक और --std = C++ 0x संकलन ध्वज का उपयोग कर रहा):

error: ‘lhs’ cannot appear in a constant-expression 
error: ‘.’ cannot appear in a constant-expression 
error: ‘rhs’ cannot appear in a constant-expression 
error: ‘.’ cannot appear in a constant-expression 
At global scope: 
error: template argument 2 is invalid 

है कि अपेक्षित व्यवहार या जीसीसी में एक बग?

संपादित

के रूप में किसी को, मैं गलत तरीके से के रूप में वे गुमनाम struct वे बात कर रहे हैं की एक उदाहरण लौट लैम्ब्डा भाव उपयोग कर रहा हूँ ने कहा।

हालांकि, उस त्रुटि को ठीक करने से समस्या हल नहीं होती है। मैं निम्नलिखित कोड के लिए lambda-expression in unevaluated context त्रुटि मिलती है:

struct A {int x; int y;}; 
typedef decltype ([](const A lhs, const A &rhs) ->bool { 
    return lhs.x < rhs.x; 
    }) Comp; 
std::set <A, Comp > SetOfA; 

Answer 1

std::set के 2 टेम्पलेट पैरामीटर एक प्रकार, न कि एक अभिव्यक्ति उम्मीद है, तो यह सिर्फ आप इसे गलत तरीके से उपयोग कर रहे हैं।

आप इस तरह सेट बनाने सकता है: अगर यह तुम क्या पूछ रहे हैं है

auto comp = [](const A& lhs, const A& rhs) -> bool { return lhs.x < rhs.x; }; 
auto SetOfA = std::set <A, decltype(comp)> (comp); 

Answer 2

सुनिश्चित नहीं हैं, लेकिन एक लैम्ब्डा जो RetType वापस आती है और स्वीकार करता है के हस्ताक्षर InType हो जाएगा:

std::function<RetType(InType)> 

(ला के बाद से (सुनिश्चित करें कि #include <functional> को बनाओ)

आप छोटा कर सकते हैं कि एक typedef का उपयोग करके, लेकिन मैं नहीं सुनिश्चित करें कि आप decltype का उपयोग वास्तविक प्रकार पता लगाना से बचने के लिए कर सकते हैं जाहिरा तौर पर mbdas कि इस संदर्भ में प्रयोग किया जाता है नहीं किया जा सकता)

तो अपने typedef किया जाना चाहिए:।

typedef std::function<bool(const A &lhs, const A &rhs)> Comp 

या

using Comp = std::function<bool(const A &lhs, const A &rhs)>; 

Answer 3

इस रास्ते का इस्तेमाल किया तुलनाकारक, आप अब भी साथ बेहतर कर रहे हैं एक गैर 0x दृष्टिकोण:

struct A { int x; int y; }; 

struct cmp_by_x { 
    bool operator()(A const &a, A const &b) { 
    return a.x < b.x; 
    } 
}; 

std::set<A, cmp_by_x> set_of_a; 

हालांकि, 0x से आप cmp_by_x एक स्थानीय प्रकार कर सकते हैं (यानी इसे किसी फ़ंक्शन के अंदर परिभाषित करें) जब यह अधिक सुविधाजनक होता है, जिसे वर्तमान C++ द्वारा प्रतिबंधित किया जाता है।

इसके अलावा, आपकी तुलना ए (x = 1, y = 1) और ए (x = 1, y = 2) समकक्ष के रूप में व्यवहार करती है।यदि यह वांछित नहीं है, तो आप अन्य मूल्यों कि विशिष्टता करने के लिए योगदान शामिल करने की जरूरत:

struct cmp_by_x { 
    bool operator()(A const &a, A const &b) { 
    return a.x < b.x || (a.x == b.x && a.y < b.y); 
    } 
}; 

Answer 4

समस्या पिछले टेम्पलेट पैरामीटर है, टाइप नहीं एक वस्तु तो आप क्या करना चाहते हो सकता है निम्न

std::set <A, std::fuction<bool(const A &,const A &)>> 
       SetOfA([](const A lhs, const A &rhs) ->bool { 
                  return lhs.x < rhs.x; 
                  } > SetOfA; 

यह सरल आप कर सकते हैं बनाने के लिए निम्नलिखित:

auto func = SetOfA([](const A lhs, const A &rhs) ->bool { return lhs.x < rhs.x;} 
set <A,decltype(func)> SetOfA(func); 

चियर्स