如何防止从“0”构造 std::string 时出现问题？

Question

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

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

编译器 (g++ 4.4) 显然将 0 解释为 char* NULL，并通过调用 string::string(const char) 构造 s *, const 分配器 &a = 分配器())。这当然是无用的，因为 NULL 指针不是指向 C 字符串的有效指针。当我尝试调用 foo(1) 时，不会出现这种误解，这有助于产生编译时错误。

是否有可能在编译时出现这样的错误或警告

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

当我不小心调用像bar(0) 这样的函数，忘记了 string 以及实际含义时， 有i=0？

Answer 1

这有点丑陋，但您可以创建一个模板，该模板在实例化时会产生错误：

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++ 中即将推出的功能，并且已经在各种编译器中实现；主要是支持 C++0x 的。现在，如果您不使用 C++0x，则可以使用替代方法，该方法基本上类型定义失败时具有负值的整数。不允许的东西会在编译时产生错误