Unikanie niepoprawnej inicjalizacji std :: string z NULL const char * przy użyciu g ++

Question

A czy istnieją opcje g ++, które mogą wykryć niepoprawną inicjalizację std :: string z NULL const char *?

byłem w procesie toczenia kilka pól do int te std :: string, tj

struct Foo 
{ 
    int id; 
    Foo() : id(0) {} 
}; 

... zamienił się:

struct Foo 
{ 
    std::string id; 
    Foo() : id(0) {} //oooops! 
}; 

ja całkowicie pomijane złe 'id' inicjalizacja z 0 i g ++ nie dała mi żadnych ostrzeżeń. Ten błąd został wykryty w czasie wykonywania (konstruktor std :: string zgłosił wyjątek), ale naprawdę chciałbym wykryć takie rzeczy w czasie kompilacji. Czy jest jakiś sposób?

Answer 1

Myślę, że jest to właściwie niezdefiniowane zachowanie i nie jest sprawdzane przez kompilator. Masz szczęście, że ta implementacja zgłasza wyjątek.

Można jednak uniknąć takich problemów, określając, że chcesz domyślnych lub zerowej inicjalizacji w type-agnostykiem sposób:

struct Foo 
{ 
    X id; 
    Foo() : id() {} //note empty parenthesis 
}; 

Answer 2

Jest infrastruktura w GCC produkować dokładnie ten rodzaj ostrzeżenia:

void foo(const char* cstr) __attribute__((nonnull (1))); 

void bar() { 
    foo(0); 
} 

kiedy zestawiane z -Wnonnull (który jest obserwowaną -Wall) daje:

warning: null argument where non-null required (argument 1) 

Więc w zasadzie powinno Ci być w stanie zmodyfikować odpowiedni nagłówek systemu (albo lepiej do eksperymentowania, modyfikować swój własny $ HOME/bity/basic_string.h skopiować, a następnie zastąpić jeden system z -isystem $HOME) podobnie:

basic_string(const _CharT* __s, const _Alloc& __a = _Alloc()) 
    __attribute__((nonnull (1))); 

Jednak to nie pomaga, ponieważ (przynajmniej w wersji 4.0.1) -Wnonnull nie jest obsługiwane w C++, a atrybut jest najwyraźniej ignorowany. Nie jest jasne, dlaczego tak się dzieje; być może było to odczucie, że źle się z nim łączyło z przeciążeniem lub czymś podobnym.

Answer 3

nie mogę wymyślić sposób, aby wykryć to w czasie kompilacji, więc napisałem funkcję konstruktora ciąg że właściwie zajmuje się zerowych wskaźników:

// FUNCTION :  safe_string(char const* pszS) 
// PARAMATERS : pszS  source string to build a string from (may be NULL or 0-length) 
// DESCRIPTION : Safely builds a string object from a char*, even a NULL pointer 
// RETURNS :  string 

template<class C> 
inline basic_string<C> safe_string(const C* input) 
{ 
    if(!input) 
     return basic_string<C>(); 
    return basic_string<C>(input); 
} 

Używam tego ilekroć utworzyć ciąg i jest szansa, że ​​dane wejściowe mogą mieć wartość NULL.