क्या सी ++ टेम्पलेट मैच (केवल) एक प्रकार की सूची, या एक अन्य प्रकार की सूची हो सकता है?

Question

मैं निर्माण करने के लिए टेम्पलेट्स लिखना चाहता हूं चलो एक इनपुट पोर्ट कहें। यह एक इनपुट इनपुट आउटपुट पोर्ट, या इनपुट पिन की सूची से किया जा सकता है। मैं उन टेम्पलेट्स को एक ही नाम रखने के लिए पसंद करता हूं। मेरे पास इनपुट-आउटपुट पोर्ट और इनपुट पिन दोनों के लिए अवधारणाएं हैं I मैं

template< typename... arguments > 
struct port_in .... 

template< pin_in T > 
struct port_in<> .... 

लेकिन अब सूची संस्करण किसी भी प्रकार को स्वीकार करेगा। मैं इसे कार्यान्वयन में देख सकता हूं, लेकिन वह उस त्रुटि संदेश को खराब कर देगा जब उपयोगकर्ता उपयुक्त प्रकारों को पारित करता है। क्या मैं किसी भी तरह से सूची को एक प्रकार तक सीमित कर सकता हूं, फिर भी दूसरे प्रकार के एक टेम्पलेट पैरामीटर को अनुमति देता हूं?

Answer 1

आप यह सुनिश्चित करना है कि उपयोगकर्ताओं को हमेशा एक उचित त्रुटि संदेश मिलता है चाहते हैं, तो आप मूल टेम्पलेट बाध्य करने की आवश्यकता। मान लें अपने मौजूदा अवधारणाओं InputPin और InputOutputPort नाम हैं, तो आप इस प्रकार या तो इनपुट पिन के एक दृश्य या एक ही इनपुट/आउटपुट बंदरगाह को स्वीकार करने के आधार टेम्पलेट विवश कर सकता है:

template<class... Ts> 
concept bool AllInputPins = (InputPin<Ts> && ...); 

template<class... Ts> 
concept bool OneInputOutputPort = sizeof...(Ts) == 1 && (InputOutputPort<Ts> && ...); 

template <class... Args> 
    requires AllInputPins<Args...> || OneInputOutputPort<Args...> 
struct port_in { 
    // ... 
}; 

Answer 2

सूची संस्करण संख्याओं लेने के लिए माना जाता है, तो आप इसे कर सकता है:

template<uint16_t ... Ports> 
struct port_in .... 

मुझे यकीन है कि वहाँ यह करने के लिए करता है, तो यह गैर पूर्णांक ले जा सकते हैं एक साफ रास्ता है नहीं कर रहा हूँ और आप एक वास्तविक चाहते टाइप सूची (जो कि सभी तर्कों को एक ही प्रकार की आवश्यकता नहीं है)। आप की आवश्यकता कर सकते हैं कि सभी प्रकार के एक ही होना मुझे लगता है कि आप की तरह कुछ कर सकता है:

template<typename T, std::enable_if_t<T> * = nullptr> 
struct port_in_base{}; 
template<typename T, T ... ports> 
struct port_in : port_in_base<T> ....