सी ++ अवधारणाओं का प्रकाश और प्रकार उपनाम घोषणा

Question

संकल्पना टीएस द्वारा प्रस्तावित एक अवधारणा के अंदर एक प्रकार के उपनाम घोषित करने के लिए typedef या using का उपयोग करना संभव है? अवधारणाओं टीएस के अनुसार

main.cpp: In function ‘concept bool TestConcept()’: 
main.cpp:8:9: error: expected primary-expression before ‘using’ 
     using V = T; 
     ^~~~~ 
main.cpp:8:9: error: expected ‘}’ before ‘using’ 
main.cpp:8:9: error: expected ‘;’ before ‘using’ 
main.cpp:4:14: error: definition of concept ‘concept bool TestConcept()’ has multiple statements 
concept bool TestConcept() 
       ^~~~~~~~~~~ 
main.cpp: At global scope: 
main.cpp:11:1: error: expected declaration before ‘}’ token 
} 
^ 

Answer 1

संख्या: अगर मैं निम्नलिखित मेगावाट की तरह कुछ कोशिश, कोड (जीसीसी 6.2.1 और -fconcepts स्विच के साथ)

#include <type_traits> 

template<typename T> 
concept bool TestConcept() 
{ 
    return requires(T t) 
    { 
     using V = T; 
     std::is_integral<V>::value; 
    }; 
} 

int main() 
{ 
    return 0; 
} 

संकलन नहीं है परिणामस्वरूप त्रुटि , एक आवश्यकता है:

requirement:
    simple-requirement
    type-requirement
    compound-requirement
    nested-requirement

जहां एक सरल-आवश्यकता एक एक्सप्रेस है आयन; और टाइप-आवश्यकताtypename T::inner जैसा कुछ है। अन्य दो ध्वनि जैसे नाम बताता है।

एक प्रकार उपनाम एक घोषणा है, अभिव्यक्ति नहीं, और इसलिए आवश्यकता की आवश्यकता को पूरा नहीं करता है।

Answer 2

This feels unnecessarily restrictive to me. Do you know if there exists a reasonable workaround instead of writing the same complicated type over and over again?

आप किसी अन्य अवधारणा के लिए बाधाओं के कार्यान्वयन को स्थगित कर सकते हैं टेम्पलेट पैरामीटर के रूप में प्रकार गुजर:

template<typename Cont, typename It, typename Value> 
concept bool InsertableWith = requires(Cont cont, It it, Value value) { 
    // use It and Value as much as necessary 
    cont.insert(it, std::move(value)); 
}; 

template<typename Cont> 
concept bool Insertable = requires { 
    // optional 
    typename Cont::const_iterator; 
    typename Cont::value_type; 
} && InsertableWith<Cont, typename Cont::const_iterator, typename Cont::value_type>; 

आपको लगता है कि कर विचार कर रहे हैं, मैं तुम्हें करने से पहले सरल उदाहरण पर यह कोशिश का सुझाव एक निर्णय। आप अपनी अवधारणाओं और बाधाओं को कैसे लिखते हैं यह निर्धारित करता है कि एक कंपाइलर त्रुटियों की रिपोर्ट कैसे करेगा, और निश्चित रूप से अच्छी त्रुटियां होने से अवधारणाओं को उपयोगी बनाने का एक बड़ा हिस्सा है। त्रुटियों को समझने में कठोर परिश्रम करते समय अपनी अवधारणाओं को लिखना आसान बनाना एक व्यापार-बंद नहीं है, मैं हल्के से ले जाऊंगा।

उदाहरण के लिए, इसलिए मैंने अनावश्यक रूप से typename Cont::const_iterator; को एक स्पष्ट बाधा के रूप में जोड़ा। यह संकलक को इस प्रकार की आवश्यकता की रिपोर्ट करने का मौका देता है। मैं अवधारणा के नाम के रूप में InsertableWith चुनने में भी सावधान था: मैं आसानी से detail::Insertable के साथ आसानी से चला सकता था, लेकिन Insertable और detail::Insertable दोनों त्रुटियों के परिणामस्वरूप अधिक भ्रमित हो सकता था।

अंत में ध्यान दें कि यह सभी संकलक के कार्यान्वयन की गुणवत्ता पर निर्भर करता है, इसलिए मुझे उम्मीद है कि समय के लिए कोई दृष्टिकोण निश्चित नहीं होगा। मैं इस Coliru demo के साथ खेलना प्रोत्साहित करता हूं।