2507C++,折叠函数

原文

前段时间,了解了相同COMDAT折叠(及为什么它叫"相同COMDAT折叠").这里
这里

如下技巧可确认你确实在查看COMDAT折叠函数:请求调试器显示名字与可疑函数地址,完全匹配的函数.

0:000> ln 00000001`400b3c50
(00000001`400b3c50)   contoso!std::vector<void *,std::allocator<void *> >::_Tidy   |  (00000001`400b3c8c)   contoso!Widget::Toggle
Exact matches:
    contoso!std::vector<void *,std::allocator<void *> >::_Tidy (void)
    contoso!std::vector<_GUID const *,std::allocator<_GUID const *> >::~vector<_GUID const *,std::allocator<_GUID const *> > (void)

这两个函数是相同的,因此链接器合并了它们.在栈跟踪中,它们按contoso!std::vector<void*,std::allocator<void*>>::_Tidy显示.

调试器只是选择第一个完全匹配的匹配项,并用它来表示组.但是,如果请求与地址匹配的所有函数,则调试器将输出此函数的所有其他名.

注意,要使此技巧工作,你必须使用函数的开头,因为这是完全匹配的位置.

一般,不必走这么远.可推导你正在查看COMDAT折叠的函数,因为调用函数的源码显然调用了调试器中显示的函数以外的一些函数.

甚至在查看源码之前,你一般也可推导它,因为否则,调用函数不必调用COMDAT折叠函数.第三条线索是,有问题的函数或很小(因此将匹配其他函数),或可能是类型无关的,因此将匹配相同模板的其他特化.

但是如果想特别确定,或如果必须向别人证明它,可用该技巧.