Question

以下代码

void f(const std::string &s = {}) {
}

f();

在Visual Studio 2013中生成Debug Assertion Failed (invalid null pointer)（调试版本）。它在gcc中运行正常（我可以将s.length()作为0）。在尝试构造s时看起来像是错误：

这是调用堆栈：

框：

f(); <-- HERE --

frame（xstring）：

basic_string(const _Elem *_Ptr)
  : _Mybase()
  { // construct from [_Ptr, <null>)
  _Tidy();
  assign(_Ptr); // <-- HERE --
  }

frame（xstring）：

_Myt& assign(const _Elem *_Ptr)
  { // assign [_Ptr, <null>)
  _DEBUG_POINTER(_Ptr); <-- HERE --
  return (assign(_Ptr, _Traits::length(_Ptr)));
  }

frame（xutility）：

template<class _Ty> inline
  void _Debug_pointer(const _Ty *_First, _Dbfile_t _File, _Dbline_t _Line)
  { // test iterator for non-singularity, const pointers
  if (_First == 0)
    _DEBUG_ERROR2("invalid null pointer", _File, _Line); <-- HERE --
  }

看起来它使用(const char *)而不是默认构造函数来调用构造函数。

当我尝试这个时：

std::string x = {}; // local variable

它调用默认构造函数。

这是Visual Studio上的错误还是我错过了什么？

我知道解决方法是void f(const std::string &s = "")，但我想使用默认初始化程序，这是一种非常奇怪的行为。

Answer 1

这是一个错误。

如果它不是一个错误，那么你应该得到不明确的构造函数错误，因为被调用的构造函数不是默认构造函数，并且可以调用默认构造函数。

以下代码使用Visual C ++ 12.0（Visual Studio 2013附带的编译器）进行编译：

struct X
{
    X( char const* ) {}
};

void g( X const& = {} ) {}

它不应该编译。

以下代码，其中构造函数参数不是默认构造的，无法编译：

struct Y
{
    struct E { E( int ){} };
    Y( E ) {}
};

void h( Y const& = {} ) {}

具有枚举类型的构造函数参数的中间案例会进行编译，因此显然初始化程序{}不会转换为{0}，而是转换为{{}} - 如果我可能会投机，也许为了禁止初始化std::array？

的警告

我已向Microsoft提交了bug report。

Debug Assertion Failed（无效空指针）默认字符串参数

1 个答案: