सी ++ में, क्या std :: min या if शाखा का उपयोग करके मूल्य को कैप करना बेहतर है?

Question

प्रोग्रामिंग में एक बहुत ही सामान्य पैटर्न किसी प्रकार के अपडेट के बाद अधिकतम मूल्य को कैप करना है। मैं जानना चाहते हैं क्या है, अगर वहाँ कोड की निम्न दो टुकड़ों के बीच एक अंतर है, और एक प्राथमिकता दी जानी चाहिए, यदि:

value += increment; 
value = std::min(value, valueMax); 

बनाम

value += increment; 

if (value > valueMax) 
    value = valueMax; 

मेरे सोच है कि इस नीचे आता है क्या सीपीयू के पास दो मान लेने और न्यूनतम उत्पादन करने के निर्देश हैं। यदि ऐसा है, तो std :: min पर कॉल का परिणाम इस निर्देश में होना चाहिए और एक अनावश्यक शाखा से बचें। यदि नहीं, तो दूसरा संस्करण एक अनावश्यक असाइनमेंट से बचाता है जब मान < = valueMax।

मैं इस तरह की चीज़ के साथ बहुत अच्छा नहीं हूं, लेकिन मुझे यकीन है कि पुरानी स्कूल असेंबली हैकर जो इसे जान लेंगे। उनके लिए मैं पूछता हूं: कौन सा बेहतर है?

Answer 1

आधुनिक कंपाइलर दोनों मामलों में एक ही कोड उत्पन्न करने के लिए पर्याप्त स्मार्ट हैं। उदाहरण के लिए, 32-बिट जीसीसी उत्पन्न करता है:

addl %esi, %edi 
cmpl %edx, %edi 
movl %edi, %eax 
cmovgl %edx, %eax 

64-बिट बजना:

%1 = add nsw i32 %increment, %value 
%2 = icmp sgt i32 %1, %valueMax 
%value = select i1 %2, i32 %valueMax, i32 %1 

Answer 2

VC10 पर रिलीज पर निम्न कोड हम निम्नलिखित विधानसभा के लिए:

int main(int argc, char *argv[]) 
{ 
    int dummyValue = 0, valueMax = 3000, value = valueMax + 1; 

    cin >> valueMax; 
    cin >> value; 

    dummyValue = std::min(value, valueMax); 

    cout << dummyValue; 
    cin >> valueMax; 
    cin >> value; 

    if (value > valueMax) 
    dummyValue = valueMax; 

    cout << dummyValue; 
    return 0; 
} 

जनरेट किया गया :

24: dummyValue = std::min(value, valueMax); 
00E112AF mov   eax,dword ptr [valueMax] 
00E112B2 cmp   eax,dword ptr [value] 
00E112B5 lea   edx,[value] 
00E112B8 lea   ecx,[valueMax] 
00E112BB cmovge  ecx,edx  // <-- this is our conditional assignment 
00E112BE mov   esi,dword ptr [ecx] 

और

if (value > valueMax) 
    dummyValue = valueMax 
00E112ED mov   eax,dword ptr [valueMax] 
00E112F0 cmp   dword ptr [value],eax 
00E112F3 mov   ecx,dword ptr ds:[0E13038h] 
00E112F9 cmovg  esi,eax 

तो दोनों ही मामलों में या तो cmovge या cmovg निर्देश करने के लिए अनुकूलित।

मैं अभी भी std::min के साथ जाऊंगा क्योंकि यह if कथन से बेहतर इरादा दिखाता है। यह अनुकूलित है और यह और अधिक पठनीय है।

Answer 3

उत्तर मूल्य के प्रकार पर निर्भर करता है। कोड को प्रभावी ढंग से अनुकूलित किया जा सकता है यदि सभी ऑपरेशन कोड ऑप्टिमाइज़र के लिए पूरी तरह से पारदर्शी हैं, तो यह मामला होगा यदि मान एक सादा पूर्णांक है। लेकिन यदि आपका मान std :: स्ट्रिंग है, तो आपका कोड संकलित भी होगा, और फिर असाइनमेंट सशर्त होने के बाद दूसरा संस्करण संभावित रूप से तेज़ हो सकता है।