[置顶]VC2013的一个bug

[置顶]VC2013的一个bug

前段时间在尝试使用一个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();
}

编译运行这段代码,弹出一个错误:

image

按照错误提示,可以找到对应的代码1168行:

image

也就是这一行:

_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是一个成员函数。

不知道大家有没有遇到类似的问题?


posted @ 2015-02-04 17:54  xchsp  阅读(270)  评论(0编辑  收藏  举报
友情链接 豆约翰博客备份专家 IT行业观察