मैं `0` से निर्मित std :: स्ट्रिंग से उत्पन्न होने वाली परेशानी को कैसे रोकूं?

Question

void foo (const std::string &s) {} 

int main() { 
    foo(0); //compiles, but invariably causes runtime error 
    return 0; 
} 

संकलक (छ ++ 4.4) जाहिरा तौर पर 0char* NULL के रूप में व्याख्या, और string::string(const char*, const Allocator &a = Allocator()) फोन करके s निर्माण करती है। जो निश्चित रूप से बेकार है, क्योंकि NULL सूचक एक सी-स्ट्रिंग के लिए मान्य सूचक नहीं है। जब मैं foo(1) पर कॉल करने का प्रयास करता हूं, तो यह गलत व्याख्या तब उत्पन्न नहीं होती है, यह मददगार रूप से संकलन-समय त्रुटि उत्पन्न करती है।

वहाँ संकलन समय पर इस तरह के कोई त्रुटि या चेतावनी प्राप्त करने के लिए जब मैं गलती से bar(0) साथ की तरह

void bar(const std::string &s, int i=1); 

एक समारोह फोन, string के बारे में भूल जाते हैं, और वास्तव में i=0 के लिए जिसका अर्थ है किसी भी संभावना है?

Answer 1

यह बदसूरत की तरह है, लेकिन आप एक टेम्पलेट है कि एक त्रुटि जब instantiated का उत्पादन करेगा बना सकते हैं: तो फिर इसे का उपयोग

template <typename T> 
void bar(T const&) 
{ 
    T::youHaveCalledBarWithSomethingThatIsntAStringYouIdiot(); 
} 

void bar(std::string const& s, int i = 1) 
{ 
    // Normal implementation 
} 

void bar(char const* s, int i = 1) 
{ 
    bar(std::string(s), i); 
} 

:

bar(0); // produces compile time error 
bar("Hello, world!"); // fine 

Answer 2

एक कुछ हद तक साफ वैकल्पिक हल ...

#include <cassert> 

void foo (const std::string &s) 
{ 
    // Your function 
} 

void foo(const char *s) 
{ 
    assert(s != 0); 
    foo(std::string(s)); 
} 

Answer 3

असल में स्थिर आवेषण भी काम करेंगे। इस पर विचार करें:

void foo (const std::string &s) 
{ 
    // Your function 
} 

void foo(const char *s) 
{ 
    #ifdef CPP_OH_X 
    static_assert(s == 0, "Cannot pass 0 as an argument to foo!"); 
    #else 
    typedef int[(s != 0) ? 1 : -1] check; 
    #endif 
    foo(std::string(s)); 
} 

विचार यहाँ static_assert जो C++ एक आगामी सुविधा है और पहले से ही विभिन्न compilers में कार्यान्वित किया जाता का उपयोग है; प्राथमिक रूप से वे जो C++ 0x का समर्थन करते हैं। अब यदि आप सी ++ 0x का उपयोग नहीं कर रहे हैं तो आप वैकल्पिक विधि का उपयोग कर सकते हैं, जो मूल रूप से विफलता पर नकारात्मक मान के साथ एक पूर्णांक टाइप करता है। कुछ जो अनुमति नहीं है और संकलन समय