消息路标和函数调用链

[cppgeek]

之前介绍了极客讨论器通过分析 C/C++/Java/Python/C#/Objective-C 代码来生成函数地图，和按调用顺序查看源代码的旅行模式。

而在函数地图下，还可以通过给函数节点设置路标的方式，快速查看代码间的调用关系。
路标是通过批注消息设置的，所以叫“消息路标”。简单来说，批注消息批注的代码属于哪个函数，对应的函数节点上就会设置一个路标。如图：



消息“开始游戏”批注在代码 startGame 处，此代码在函数 main 中，因此函数地图上 main 函数设置了一个路标。

建立消息路标的最大用途就是查看函数调用链。如我们把代码中几个已知的关键部分用路标标注后，再查看某处不明所以的代码：



上图以自带的 c 版的俄罗斯方块代码为例， Board::lineIsFull ，因为这个函数和 main 函数之间存在调用关系（当然所有函数都和 main 有直接或间接的调用关系），和 Board::deleteLine 之间存在调用关系，所以这两个函数节点的路标开始闪烁，而另一个路标所在的函数和它没有调用关系，保持原状。

点击路标就能看到高亮它记录的有关信息，推断代码和什么功能相关：



上图“如果此行已满”和“则删除这一行”高亮，表明 Board::lineIsFull 和方块的消行相关。

通过路标的闪烁可以看到是否有调用关系，而如果想看调用链，双击闪烁的路标即可：



上图列举了

main 调用 Game::startGrame 调用 Board::clearPossibleLines 调用 Board::lineIsFull

Board::clearPossibleLines 调用 Board::lineIsFull

两条调用关系链。

在这里有动画展示，和下载地址，欢迎使用。

[aksoft]

太屌...不懂...不过就喜欢屌的东西...

[htfy96]

看起来不错，请问一下是如何实现语义分析的？模板类能支持吗？

说实话，这类功能我觉得开发成一个 VS 的插件比较好

[iniwap]

soureinsight...

[cppgeek]

@htfy96 @iniwap
LALR ，支持模板类
函数地图和消息路标这个功能是“极客讨论器”的一个插件

[htfy96]

@cppgeek 复杂情况 LALR 靠谱吗？
比如说

template<int t> struct A;
template<> struct A<1>
{
typedef int a;
};
template<> struct A<2>
{
static int a;
};

int f1(A<1>::a); //函数声明
int f2(A<2>::a); //变量定义

不是在挑骨头，只是在说个人会遇到大量这样的代码，希望能使用一些靠谱的解析器。

[cppgeek]

@htfy96
欢迎挑骨头……函数地图在 1.2.X 后会增加 clang （以及其它语言的语法 /语义分析器）实现方式
1.1.X 关注在批注消息的各种应用上，如在函数地图中建立消息路标从而找到调用链
如对目前我们的解析器不抱信心，建议使用 cppdepend 或者 understand ，但是我们有自己的特色和目标，各个方面都在增强，请关注我们^_^