在程序的达到一定规模之后, 就会用到比较多的管理类,这种管理类多采用单例模式。在问题排查过程中往往需要看下管理类里面的某些状态是否符合预期,但是崩溃的堆栈在当前局部变量中并 无该单例的相关引用。单例的实现上是将一个实例化对象保存在静态变量中,静态变量的生存周期是比较长的,问题的难点在于如何找到该静态变量。
可能是我个人对符号有误解,始终认为在可执行文件中检索符号只能检索类似函数名、类名之类的符号,其实静态或全局变量也可以检索的。打破了这个思维定式,查找局部变量只要用Windbg的符号检索命令就可以了。如下所示:
1. 检索全局变量
#include <iostream>
class Test
{
public:
int value_{ 10000 };
};
Test test;
int main() {
std::cout << test.value_ << std::endl;
system("pause");
return 0;
}
windbg附加运行程序后,使用x命令检索TestLayout可执行程序内的test符号,如下图所示:
0:001> x TestLayout!*test
*** WARNING: Unable to verify checksum for D:\ProjectCodes\VCIntergration\code\HCP\B0\win64\exe\TestLayout.exe
00000001`3f33a000 TestLayout!test = class Test
0:001> dx -r1 (*((TestLayout!Test *)0x13f33a000))
(*((TestLayout!Test *)0x13f33a000)) [Type: Test]
[+0x000] value_ : 10000 [Type: int]
2. (单例)静态变量检索
#include <iostream>
class Test
{
public:
int value_{ 10000 };
};
template <typename T>
class Singleton
{
public:
static T& Instance()
{
return t;
}
public:
static T t;
};
template <typename T>
T Singleton<T>::t = T();
int main() {
Singleton<Test> s;
std::cout << Singleton<Test>::Instance().value_ << std::endl;
getchar();
return 0;
}
内存检索方式与全局变量类似,如下所示:
0:001> x TestLayout!*::t
*** WARNING: Unable to verify checksum for D:\ProjectCodes\VCIntergration\code\HCP\B0\win64\exe\TestLayout.exe
00000001`3f0aa000 TestLayout!Singleton<Test>::t = class Test
0:001> dx -r1 (*((TestLayout!Test *)0x13f0aa000))
(*((TestLayout!Test *)0x13f0aa000)) [Type: Test]
[+0x000] value_ : 10000 [Type: int]