क्या यह हमेशा से सुरक्षित है सी ++ 14 के ऑटो फ़ंक्शन प्रकार का उपयोग std :: common_type के स्थान पर वापसी कटौती?

Question

मैं अपने कोडबेस का हिस्सा सी ++ 11 से सी ++ 14 तक अपग्रेड कर रहा हूं। मेरे पास कई गणित उपयोगिता फ़ंक्शन हैं जो एकाधिक इनपुट तर्क लेते हैं और std::common_type_t<...> प्रकार के एकल मान को वापस करते हैं।

मैं स्पष्ट वापसी मूल्य को एक साधारण auto के साथ बदलने की सोच रहा हूं। मुझे लगता है कि कटौती टाइप इन मामलों में एक आम प्रकार खोजने की कोशिश करता है। क्या कोई ऐसा मामला है जहां यह काम नहीं करेगा?

यह हमेशा सुरक्षितauto साथ std::common_type_T<...> वापसी मान की सभी घटनाओं कन्वर्ट करने के लिए है?

उदाहरण समारोह:

template<typename T1, typename T2, typename T3> 
std::common_type_t<T1, T2, T3> getClamped(T1 mValue, T2 mMin, T3 mMax) 
{  
    return mValue < mMin ? mMin : (mValue > mMax ? mMax : mValue); 
} 

Answer 1

नहीं, यह हमेशा सुरक्षित नहीं है।

मुझे लगता है कि आपके गणित कार्य इस से अधिक करते हैं, लेकिन यहां एक उदाहरण है जहां परिणाम अलग होगा।

template <class T, class U> 
std::common_type_t<T, U> add(T t, U u) { return t + u; } 

यदि आप दो char रों परिणाम के साथ इस समारोह फोन एक char हो जाएगा। क्या आप वापसी प्रकार को स्वचालित रूप से घटाएंगे, यह int उत्पन्न करेगा।