前段时间在尝试使用一个C++的GUI库nana。这个库最大的特点在于使用现代C++风格去编写GUI程序,而不需要使用大量的比较丑陋的代码(如MFC中的各种宏),或者其它的非C++元素。这是一个比较新的库,作者是个中国人,有兴趣的朋友可以去试一试,由于使用大量的C++11特性,所以需要VC2013或者GCC4.7以上的编译器。使用过程中无意间发现了VC2013的一个重载决议(overload resolution)上的一个bug,这边贴出来跟大家分享一下,或许可以帮助大家少走点弯路。
我写了以下简单的代码来重现这个问题:
#include <iostream> #include <string> class foo{ public: void bar(std::string = {}); }; void foo::bar(std::string str) { std::cout << str << std::endl; } int main() { foo f; f.bar(); }
编译运行这段代码,弹出一个错误:
按照错误提示,可以找到对应的代码1168行:
也就是这一行:
_DEBUG_POINTER(_Ptr);
加个断点可以发现这里面_Ptr为空指针,所以导致程序crash。这个问题其实比较容易理解,写一个更简单的例子就可以发现问题:
#include <string> int main() { std::string str = nullptr; }
这段代码通过nullptr去初始化一个string,而这显然是错误的。
但问题在于,在最初的那段代码中,
void bar(std::string = {});
这个函数声明明明是给了函数bar一个默认参数,使其构造出一个空字符串。但为什么会调用xstring中的1168行呢?也就是参数为一个指针的assign函数呢?
经过多次试验以后发现,VC将上面这个声明理解为了:
void bar(std::string = {nullptr});
也就是用一个空指针去初始化一个string,从而导致了问题。同样的代码,在GCC4.8中是没有任何问题的。并且如果把
void bar(std::string = {});
改为:
void bar(std::string = std::string());
在VC2013里也没有问题了。这也就说明了VC2013在处理{}来初始化对象时的确存在重载决议的问题。
之所以之前说这个问题比较隐蔽,是因为这种情况只出现在类的成员函数中,如果是普通函数,就没有这个问题:
#include <iostream> #include <string> void func(std::string = {}); int main() { func(); } void func(std::string str) { std::cout << str << std::endl; }
上面这段代码和刚开始那段代码几乎一样,唯一的不同在于func是一个普通函数,而bar是一个成员函数。
不知道大家有没有遇到类似的问题?