संदर्भ पैरामीटर के साथ varargs का उपयोग कर gotchas हैं

Question

मेरे पास कोड का यह टुकड़ा है (संक्षेप में) ...

AnsiString working(AnsiString format,...) 
{ 
    va_list argptr; 
    AnsiString buff; 

    va_start(argptr, format); 
    buff.vprintf(format.c_str(), argptr); 

    va_end(argptr); 
    return buff; 
} 

और, संदर्भ के अनुसार पास होने के आधार पर जहां संभव हो, मैंने इसे बदल दिया।

AnsiString broken(const AnsiString &format,...) 
{ 
... the rest, totally identical ... 
} 

मेरा कॉलिंग कोड इस तरह है: -

AnsiString s1, s2; 
    s1 = working("Hello %s", "World"); 
    s2 = broken("Hello %s", "World"); 

लेकिन, एस 1 में "हैलो वर्ल्ड" है, जबकि एस 2 में "हैलो (शून्य)" है। मुझे लगता है कि यह va_start काम करता है, लेकिन मुझे बिल्कुल यकीन नहीं है कि क्या हो रहा है।

Answer 1

आप क्या va_start के लिए बाहर फैलता को देखें, तो आप क्या हो रहा है देखेंगे:

va_start(argptr, format); 

(मोटे तौर पर) हो जाता है

argptr = (va_list) (&format+1); 

हैं प्रारूप एक मूल्य की तरह है, यह रख दिया जाता है सभी विविध तर्कों से पहले ढेर पर। यदि प्रारूप एक संदर्भ प्रकार है, तो केवल स्टैक पर पता लगाया जाता है। जब आप संदर्भ चर का पता लेते हैं, तो आपको पता या मूल चर (ब्रोकन कॉल करने से पहले बनाए गए अस्थायी AnsiString के मामले में) मिलता है, तर्क का पता नहीं।

आप पूर्ण वर्गों के आसपास पारित करने के लिए नहीं करना चाहते हैं, तो अपने विकल्पों या तो सूचक द्वारा पारित करने के लिए कर रहे हैं, या एक डमी तर्क में डाल:

AnsiString working_ptr(const AnsiString *format,...) 
{ 
    ASSERT(format != NULL); 
    va_list argptr; 
    AnsiString buff; 

    va_start(argptr, format); 
    buff.vprintf(format->c_str(), argptr); 

    va_end(argptr); 
    return buff; 
} 

... 

AnsiString format = "Hello %s"; 
s1 = working_ptr(&format, "World"); 

या

AnsiString working_dummy(const AnsiString &format, int dummy, ...) 
{ 
    va_list argptr; 
    AnsiString buff; 

    va_start(argptr, dummy); 
    buff.vprintf(format.c_str(), argptr); 

    va_end(argptr); 
    return buff; 
} 

... 

s1 = working_dummy("Hello %s", 0, "World"); 

Answer 2

एक अच्छा विश्लेषण कि आपको यह नहीं करना चाहती में N0695

Answer 3

सी के अनुसार ++ कोडिंग मानक (सूटर, Alexandrescu) पाया जाता है:

varargs सी के साथ ++ प्रयोग नहीं करना चाहिए:

वे सुरक्षित प्रकार नहीं हैं और कक्षा प्रकार की वस्तुओं के लिए अंतर्निहित व्यवहार है, जो आपकी समस्या का कारण बन सकता है।

Answer 4

यहाँ क्या हो रहा है सी ++ मानक (18.7 - अन्य रनटाइम समर्थन) के बारे में va_start() (जोर मेरा):

प्रतिबंध आईएसओ सी पर va_start() मैक्रो में शीर्ष पैरामीटर <stdarg.h> इस अंतर्राष्ट्रीय मानक में भिन्न हैं। पैरामीटर parmN समारोह परिभाषा के चर पैरामीटर सूची में दायीं पैरामीटर के पहचानकर्ता (सिर्फ ... से पहले एक) है। पैरामीटर parmN एक समारोह, सरणी के साथ घोषित किया जाता है, या संदर्भ प्रकार, या एक प्रकार से उस प्रकार कि परिणाम जब एक तर्क जो के लिए कोई पैरामीटर है गुजर के साथ संगत नहीं है, तो व्यवहार अपरिभाषित है।

जैसा कि अन्य लोगों ने उल्लेख किया है, सी ++ में varargs का उपयोग करना खतरनाक है यदि आप इसे गैर-सीधी-सी वस्तुओं (और संभवतः अन्य तरीकों से भी) के साथ उपयोग करते हैं।

कहा - मैं अभी भी printf() हर समय का उपयोग करें ...

Answer 5

साइड नोट:

वर्ग प्रकार के लिए व्यवहार varargs के रूप में तर्क अपरिभाषित किया जा सकता है, लेकिन यह मेरे अनुभव में संगत है। कंपाइलर वर्ग की स्मृति के आकार (वर्ग) को ढेर पर धक्का देता है। यानी, छद्म कोड में:

alloca(sizeof(class)); 
memcpy(stack, &instance, sizeof(class); 

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

Answer 6

यहाँ मेरी आसान वैकल्पिक हल (विजुअल C++ के साथ 2010 संकलित) है:

void not_broken(const string& format,...) 
{ 
    va_list argptr; 
    _asm { 
    lea eax, [format]; 
    add eax, 4; 
    mov [argptr], eax; 
    } 

    vprintf(format.c_str(), argptr); 
}