std :: is_volatile का उपयोग कैसे करें?

Question

मैं अस्थिर प्रकारों पर एक विशिष्ट संचालन को अस्वीकार करने की कोशिश कर रहा हूं। इसे पूरा करने के लिए मैं std::is_volatile का उपयोग करने की कोशिश कर रहा हूं, लेकिन नीचे दिया गया कोड त्रुटियों के बिना संकलित है, जो मैं नहीं चाहता हूं।

is_volatile::valueझूठी नीचे दिए गए मामले में क्यों है?

#include <type_traits> 

template<typename T> 
inline void DoStuff(T val) { 
    static_assert(!std::is_volatile<T>::value, "No volatile types plz"); 
    //... 
} 

int main() { 
    volatile char sometext[261]; 
    DoStuff(sometext); 
} 

Answer 1

समस्या यह है कि टी एक volatile प्रकार बिल्कुल नहीं है। यह volatile char* है। एक मिनट रुको, आप कहते हैं, मैं वहां volatile देखता हूं। सच है, लेकिन इस पर विचार करें: char* volatile एक अस्थिर प्रकार है। volatile char* नहीं है। यह एक अस्थिर char सरणी के लिए एक अस्थिर सूचक है।

समाधान: std::is_volatile<typename std::remove_pointer<T>::type>

Answer 2

क्योंकि फ़ंक्शन मान द्वारा इसके तर्क को स्वीकार करते हैं, मूल तर्क की सीवी-योग्यता खो जाती है।

संदर्भ द्वारा यह स्वीकार करना:

void DoStuff(T& val) 

Answer 3

जब मूल्य द्वारा सरणी पारित करने के लिए कोशिश कर रहा है, वह अपने पहले तत्व के लिए सूचक में decays।

इसका मतलब है कि val वास्तव में int volatile * है। इस प्रकार, यह एक अस्थिर int को इंगित करता है, लेकिन यह स्वयं अस्थिर नहीं है। इसलिए, std::is_volatile झूठी वापसी करता है।

आप संदर्भ द्वारा सरणी में ले जाने का प्रयास कर सकते हैं, या std::remove_pointer का उपयोग कर सकते हैं।