在WinDbg中显示和搜索std::map内容
我们希望在WinDbg中自动显示、搜索和过滤std：：map对象。std：：vectors的脚本相对简单，因为vectors中数据的平面结构；map是更复杂的野兽。
具体地说，Visual C++ STL中的映射是作为红黑树实现的。每个树节点都有三个重要的指针：左指针、右指针和父指针。此外，每个节点都有一个Myval字段，其中包含std：：对以及节点表示的键和值。
迭代树结构需要递归，WinDbg脚本没有任何语法来定义函数。但是，我们可以递归地调用脚本——允许脚本包含$$>a<命令，该命令使用不同的参数集再次调用脚本。脚本的路径也可以在${$arg0}中找到。
当递归调用脚本时，伪寄存器的值（如$t0）将被递归调用破坏。当我偶然发现.push和.pop命令时，我正处于动态分配内存或调用shell进程来存储和加载变量的边缘，这两个命令分别存储和加载寄存器上下文。这些是递归WinDbg脚本必须的。
好，假设您想显示std：：map<int，point>中键小于或等于2的值。
0:000> $$>a< traverse_map.script my_map -c ".block { .if (@@(@$t9.first) <= 2) { .echo —-; ?? @$t9.second } }"
size = 10
—-
struct point
+0x000 x : 0n1
+0x004 y : 0n2
+0x008 data : extra_data
—-
struct point
+0x000 x : 0n0
+0x004 y : 0n1
+0x008 data : extra_data
—-
struct point
+0x000 x : 0n2
+0x004 y : 0n3
+0x008 data : extra_data
对于每个pair（存储在$t9伪寄存器中），块检查第一个组件是否小于或等于2，如果小于或等于2，则输出第二个组件。
接下来是剧本。注意，它比我们对向量的处理要复杂得多，因为它本质上是用一组不同的参数调用自己，然后递归地重复。
.if ($sicmp("${$arg1}", "-n") == 0) {
.if (@@(@$t0->_Isnil) == 0) {
.if (@$t2 == 1) {
.printf /D "<exec cmd=\"db %p L10\">%p</exec>\n", @$t0, @$t0
.printf "key = "
?? @$t0->_Myval.first
.printf "value = "
?? @$t0->_Myval.second
} .else {
r? $t9 = @$t0->_Myval
command
}
}
$$ Recurse into _Left, _Right unless they point to the root of the tree
.if (@@(@$t0->_Left) != @@(@$t1)) {
.push /r /q
r? $t0 = @$t0->_Left
$$>a< ${$arg0} -n
.pop /r /q
}
.if (@@(@$t0->_Right) != @@(@$t1)) {
.push /r /q
r? $t0 = @$t0->_Right
$$>a< ${$arg0} -n
.pop /r /q
}
} .else {
r? $t0 = ${$arg1}
.if (${/d:$arg2}) {
.if ($sicmp("${$arg2}", "-c") == 0) {
r $t2 = 0
aS ${/v:command} "${$arg3}"
}
} .else {
r $t2 = 1
aS ${/v:command} " "
}
.printf "size = %d\n", @@(@$t0._Mysize)
r? $t0 = @$t0._Myhead->_Parent
r? $t1 = @$t0->_Parent
$$>a< ${$arg0} -n
ad command
}
特别值得注意的是，as命令配置了一个别名，然后递归调用使用该别名为映射的每个元素调用一个命令块；比较字符串的$sicmp函数；以及输出DML块的.printf/D函数。最后，当_Left或_Right等于树的根时，递归终止（在本例中就是这样实现树的）。