使用 g++ 避免使用 NULL const char* 进行不正确的 std::string 初始化

Question

是否有任何 g++ 选项可以检测带有 NULL const char* 的 std::string 的不正确初始化？

我正在将一些 int 字段转换为 std::string 字段，即：

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

...变成：

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

我完全忽略了 0 的错误“id”初始化，而 g++ 根本没有给我任何警告。在运行时检测到此错误（std::string 构造函数引发异常），但我真的很想在编译时检测此类内容。有什么办法吗？

Answer 1

GCC 中有基础设施可以准确地产生此类警告：

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

void bar() {
    foo(0);
}

当使用 -Wnonnull （由 -Wall 暗示）编译时，会产生：

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

所以原则上你应该能够修改相关的系统标头（或者，更好地进行实验，修改您自己的 $HOME/bits/basic_string.h 副本，然后使用 -isystem $HOME 覆盖系统标头）

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

：没有帮助，因为（至少在 4.0.1 中）C++ 不支持 -Wnonnull 并且该属性显然被忽略。为什么会这样还不清楚；也许人们认为它与超载或其他什么相互作用很糟糕。

Answer 2

我想不出一种方法可以在编译时检测到这一点，所以我编写了一个字符串生成器函数来正确处理空指针：

//  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);
}

每当我创建字符串时我都会使用它，并且输入有可能为 NULL。

Answer 3

我认为这实际上是未定义的行为，并且没有由编译器检查。你很幸运，这个实现抛出了异常。

但是，您可以通过以类型无关的方式指定您想要默认或零初始化来避免此类问题：

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