क्या शरीर के लिए अनिवार्य संदर्भ ब्लॉक की आवश्यकता है?

Question

एक अवधारणा परिभाषा का शरीर है या अनिवार्य संदर्भ ब्लॉक की आवश्यकता है? जैसे। क्या मैं std::declval सुरक्षित रूप से उपयोग कर सकता हूं?

template<typename T> 
concept bool SomeConcept = requires(T a) { 
    { a.someFunction(std::declval<int>()) } -> int; 
}; 

Answer 1

हां। [Temp.constr.expr], N4641 के रूप में शब्दों से:

एक अभिव्यक्ति बाधा की कोई समस्या है कि टेम्पलेट तर्कों के प्रतिस्थापन के माध्यम से एक अभिव्यक्तिE के गठन पर एक आवश्यकता को निर्दिष्ट करता है। E उपज में प्रतिस्थापन विफल नहीं होने पर एक अभिव्यक्ति बाधा संतुष्ट होती है। एक अभिव्यक्ति बाधा के भीतर, E एक अनियमित ऑपरेंड (क्लॉज 5) है।

तो declval का उपयोग करना ठीक होना चाहिए।

वैकल्पिक रूप से, तुम सिर्फ प्रकार आप आवश्यकताओं के संदर्भ में के बाद से जरूरत की वस्तुओं बना सकते हैं, हम वास्तव में कुछ भी निर्माण नहीं कर रहे हैं:

template<typename T> 
concept bool SomeConcept = requires(T a, int i) { 
    { a.someFunction(std::move(i)) } -> int; 
};