使用Visual Studio 2013编写可维护的本地可视化(natvis)
在Visual Studio 2012中,我们介绍了创建可视化使用原生类型的能力natvis文件。 Visual Studio 2013中包含了一些改进,使其更容易编写可视化的类,在内部利用收集来存储项目。 在这篇博客文章中,我将介绍一个示例场景,告诉你什么是你必须做的VS2012以达到预期的效果,然后告诉你如何在natvis创作变得更容易,体验VS2013新功能的增强。
示例场景
让我们考虑下面的源代码,并假设我们是在写一个可视化的CNameList类:
#include <vector>
using namespace std;
class CName
{
private:
string m_first;
string m_last;
public:
CName(string first, string last) : m_first(first), m_last(last) {}
void Print()
{
wprintf(L"%s %s\n", (const char*) m_first.c_str(), (const char*) m_last.c_str());
}
};
class CNameList
{
private:
vector m_list;
public:
CNameList() {}
~CNameList()
{
for (int i = 0; i < m_list.size(); i++)
{
delete m_list[i];
}
m_list.clear();
}
void AddName(string first, string last)
{
m_list.push_back(new CName(first, last));
}
};
int _tmain(int argc, _TCHAR* argv[])
{
CNameList presidents;
presidents.AddName("George", "Washington");
presidents.AddName("John", "Adams");
presidents.AddName("Thomas", "Jefferson");
presidents.AddName("Abraham", "Lincoln");
return 0;
}
CNameList可视化工具
在Visual Studio 2012中,它可能会非常棘手,有人编写了可视化的CNameList类。 最明显的natvis创作:
<?xml version="1.0" encoding="utf-8"?>
<AutoVisualizer xmlns="http://schemas.microsoft.com/vstudio/debugger/natvis/2010">
<Type Name="CNameList">
<Expand>
<ExpandedItem>m_list</ExpandedItem>
</Expand>
</Type>
<Type Name="CName">
<DisplayString>{m_first} {m_last}</DisplayString>
<Expand>
<Item Name="First">m_first</Item>
<Item Name="Last">m_last</Item>
</Expand>
</Type>
</AutoVisualizer>
会显示如下:
因为我们希望以可视化查看CNameList对象的内容,而不是它的实现细节,我们可以不关心内部向量的大小或容量,也关于每个CNAME对象在列表中的内存地址,或周围的引号姓氏和名字,以表明它们是作为单独的字符串存储。 使用Visual Studio 2012,去掉这混乱是可能的,但比较繁琐,并且需要可视化的CNAME和CNameList被加上了STL的实现细节。 例如,在VS2012我们可以摆脱的尺寸和载体的容量,以及CNAME对象的存储器地址,通过与该更换可视化对于CNameList的:
<Type Name="CNameList">
<Expand>
<IndexListItems>
<Size>m_list._Mylast - m_list._Myfirst</Size>
<ValueNode>*m_list._Myfirst[$i]</ValueNode>
</IndexListItems>
</Expand>
</Type>
<Type Name="CName">
<DisplayString Condition="m_first._Myres < m_first._BUF_SIZE && m_last._Myres < m_last._BUF_SIZE">{m_first._Bx._Buf,sb} {m_last._Bx._Buf,sb}</DisplayString>
<DisplayString Condition="m_first._Myres >= m_first._BUF_SIZE && m_last._Myres < m_last._BUF_SIZE">{m_first._Bx._Ptr,sb} {m_last._Bx._Buf,sb}</DisplayString>
<DisplayString Condition="m_first._Myres < m_first._BUF_SIZE && m_last._Myres >= m_last._BUF_SIZE">{m_first._Bx._Buf,sb} {m_last._Bx._Ptr,sb}</DisplayString>
<DisplayString Condition="m_first._Myres >= m_first._BUF_SIZE && m_last._Myres >= m_last._BUF_SIZE">{m_first._Bx._Ptr,sb} {m_last._Bx._Ptr,sb}</DisplayString>
<Expand>
<Item Condition="m_first._Myres < m_first._BUF_SIZE" Name="First">m_first._Bx._Buf,sb</Item>
<Item Condition="m_first._Myres >= m_first._BUF_SIZE" Name="First">m_first._Bx._Ptr,sb</Item>
<Item Condition="m_last._Myres < m_last._BUF_SIZE" Name="Last">m_last._Bx._Buf,sb</Item>
<Item Condition="m_last._Myres >= m_last._BUF_SIZE" Name="Last">m_last._Bx._Ptr,sb</Item>
</Expand>
</Type>
虽然这些可视化的工作肯定的,因为它们产生在监视窗口中所需的输出整洁感。他们需要更多的工作,编写和维护。 首先,可视化工具为CNameList和CNAME现在对类在STL私有成员的依赖。 由于实施细则STL如有更改,这些可视化工具是在Visual Studio中的未来版本中无法正常工作,如果STL实现改变这些条目依赖于一些风险。 此外,如果CNameList的分布有可能被列入任何版本的Visual Studio中的头文件,你可能需要包括CNAME单独natvis条目,对于STL的每个实现,那么必须更新所有的人,任何时间在CNAME的实施改变了未来。
此外,当观察仪的内部类有在它条件句的条件句结束的方式,使可视一团糟相乘。 例如,内置的观察仪的std :: basic_string的有两种可能的显示字符串的情况:
<Type Name="std::basic_string<char,*>">
<DisplayString Condition="_Myres < _BUF_SIZE">{_Bx._Buf,s}</DisplayString>
<DisplayString Condition="_Myres >= _BUF_SIZE">{_Bx._Ptr,s}</DisplayString>
<StringView Condition="_Myres < _BUF_SIZE">_Bx._Buf,s</StringView>
<StringView Condition="_Myres >= _BUF_SIZE">_Bx._Ptr,s</StringView>
<Expand>
<Item Name="[size]">_Mysize</Item>
<Item Name="[capacity]">_Myres</Item>
<ArrayItems>
<Size>_Mysize</Size>
<ValuePointer Condition="_Myres < _BUF_SIZE">_Bx._Buf</ValuePointer>
<ValuePointer Condition="_Myres >= _BUF_SIZE">_Bx._Ptr</ValuePointer>
</ArrayItems>
</Expand>
</Type>
。
CNameList展台为Visual Studio 2013
在Visual Studio 2013中,可以这样编写整洁的CNameList在监视窗口:
<?xml version="1.0" encoding="utf-8"?>
<AutoVisualizer xmlns="http://schemas.microsoft.com/vstudio/debugger/natvis/2010">
<Type Name="CNameList">
<Expand>
<ExpandedItem>m_list,view(simple)na</ExpandedItem>
</Expand>
</Type>
<Type Name="CName">
<DisplayString>{m_first,sb} {m_last,sb}</DisplayString>
<Expand>
<Item Name="First">m_first,sb</Item>
<Item Name="Last">m_last,sb</Item>
</Expand>
</Type>
</AutoVisualizer>
多个对象视图
在Visual Studio 2012中,<类型>条目只能描述一种方式来查看的对象。
在Visual Studio 2013年,每种类型仍然只有一个默认的视图,而现在它是可能的natvis项来定义,可以通过适当的格式说明访问其他视图。 例如,在Visual Studio 2013的可视化的std ::矢量这样做是这样的:
<Type Name="std::vector<*>">
<DisplayString>{{ size={_Mylast - _Myfirst} }}</DisplayString>
<Expand>
<Item Name="[size]" ExcludeView="simple">_Mylast - _Myfirst</Item>
<Item Name="[capacity]" ExcludeView="simple">_Myend - _Myfirst</Item>
<ArrayItems>
<Size>_Mylast - _Myfirst</Size>
<ValuePointer>_Myfirst</ValuePointer>
</ArrayItems>
</Expand>
</Type>
在<DisplayString>和<ArrayItems>元素总是使用,而“[大小]”和“[容量]”项目被排除在了有“简单”的名称的视图。 通常情况下,将显示使用默认视图,它会显示所有元素对象。 然而,“,图”格式说明可用于指定备用视图,如图整数的简单向量的本实施例。 需要注意的是“VEC,视图(XXX)”的行为完全一样的默认视图因为载体natvis条目不包含任何特殊行为“XXX”的观点。
如果要被添加到natvis元件,而不是除去从一个特定视图中,可以使用,而不是“ExcludeView”该“IncludeView”属性。 你也可以指定的意见“IncludeView”和“ExcludeView”分号分隔的属性列表,如果你想属性应用到一组的意见,而不是只有一个。 例如,该可视化将显示“备用视图”使用两种“视图(备用)”或“视图(alternate2)”的显示文本,而在其他情况下,“默认视图”。
<Type Name="MyClass">
<DisplayString IncludeView="alternate; alternate2">Alternate view </DisplayString>
<DisplayString>Default View</DisplayString>
</Type>
所以,回到我们的例子中,我们CNameList以可视化的“载体”可视化定义的“简单”的观点的优势,消除的大小和容量节点杂波:
<Type Name="CNameList">
<Expand>
<ExpandedItem>m_list,view(simple)na</ExpandedItem>
</Expand>
</Type>
跳过存储器地址
:
<Type Name="CNameList">
<Expand>
<IndexListItems>
<Size>m_list._Mylast - m_list._Myfirst</Size>
<ValueNode>*m_list._Myfirst[$i]</ValueNode>
</IndexListItems>
</Expand>
</Type>
在我们的CNameList例子中,我们使用“呐”格式说明隐藏CNAME对象,这是不重要的内存地址。 无“,不适用”格式说明,隐藏内存地址将需要复制粘贴,修改为可视化的std ::向量,使其取消引用矢量内的元素,如图所示这里。
还应当指出的是,“娜”格式说明是不太一样的对其操作“*”。 尽管“呐”格式说明会忽略数据的存储地址所指向,仍然会显示有关该地址的任何可用的符号信息。 例如,在功能的情况下,“* wmain”将是一个语法错误,但“wmain,NA”表示“wmain”功能的模块和签名,省略存储器地址。 同样,“&myGlobal,娜”仍显示你的指针指向符号“INT myGlobal”。 在“NA”格式说明,也可以用在内存地址中的一个函数中,如图中的“(void *)以EIP,呐”的例子。 这可以使“呐”格式说明用于可视化已记录对象的内部,用于调试的堆栈跟踪颇具吸引力。
传播格式说明
尽管“SB”格式说明已经存在在Visual Studio 2012,创作的CNAME可视化这样的VS2012不工作:
<Type Name="CName">
<DisplayString>{m_first,sb} {m_last,sb}</DisplayString>
<Expand>
<Item Name="First">m_first,sb</Item>
<Item Name="Last">m_last,sb</Item>
</Expand>
</Type>
当应用到矢量对象时,Visual Studio 2012将简单地忽略它,就像这样:
在Visual Studio 2013,“X”干脆自动向下传播到向量的孩子,像这样:
其他的可视化改进
使用类的显示字符串中的最后执行的名字:
在Visual Studio 2013,对于一个基类natvis条目可能利用对象的实现类的名称$(类型)宏单元内。 举例来说,如果我们有这个源代码:
class Room
{
private:
int m_squareFeet;
public:
Room() : m_squareFeet(100) {}
virtual void Print() = 0;
};
class Bedroom : public Room
{
public:
virtual void Print() { printf("Bedroom"); }
};
class LivingRoom : public Room
{
public:
virtual void Print() { printf("Living room"); }
};
class DiningRoom : public Room
{
public:
virtual void Print() { printf("Dining room"); }
};
int _tmain(int argc, _TCHAR* argv[])
{
Bedroom br;
LivingRoom lr;
DiningRoom dr;
br.Print();
lr.Print();
dr.Print();
}
我们可以写一个可视化工具类“室”是这样的:
<?xml version="1.0" encoding="utf-8"?>
<AutoVisualizer xmlns="http://schemas.microsoft.com/vstudio/debugger/natvis/2010">
<Type Name="Room">
<DisplayString>{m_squareFeet}-square foot $(Type)</DisplayString>
</Type>
</AutoVisualizer>
这将显示我们有哪种类型的房间,就像这样:
在Visual Studio 2012,取得该显示将需要创建一个单独的<类型>元素为每种类型的房间。
请注意,使用美元(类型)是大小写敏感的。 $(TYPE)将无法正常工作。 此外,使用美元(类型)需要的基类来包含至少一个虚拟函数,因为没有一个V表的存在,调试器没有办法知道对象的实现类实际上是。
支持循环链表
在Visual Studio 2013中,<LinkedListItems>元素增加了圆形表指向回到列表的头部,表示终端的支持。 例如,用下面的源代码:
class CircularList
{
private:
struct Node
{
int m_value;
Node* m_pNext;
};
Node* m_pFirst;
Node* GetTail()
{
if (!m_pFirst)
return NULL;
Node* pNode = m_pFirst;
while (pNode->m_pNext != m_pFirst)
pNode = pNode->m_pNext;
return pNode;
}
public:
CircularList() : m_pFirst(NULL) {}
~CircularList()
{
Node* pNode = m_pFirst;
while (pNode != m_pFirst)
{
Node* pNext = pNode->m_pNext;
delete pNode;
pNode = pNext;
}
}
void AddTail(int i)
{
Node* pNewNode = new Node();
if (m_pFirst)
GetTail()->m_pNext = pNewNode;
else
m_pFirst = pNewNode;
pNewNode->m_value = i;
pNewNode->m_pNext = m_pFirst;
}
};
int _tmain(int argc, _TCHAR* argv[])
{
CircularList list;
list.AddTail(1);
list.AddTail(2);
list.AddTail(3);
return 0;
}
我们可以用一个简单的元素,像这样显示的“名单”的价值:
<?xml version="1.0" encoding="utf-8"?>
<AutoVisualizer xmlns="http://schemas.microsoft.com/vstudio/debugger/natvis/2010">
<Type Name="CircularList">
<Expand>
<LinkedListItems>
<HeadPointer>m_pFirst</HeadPointer>
<NextPointer>m_pNext</NextPointer>
<ValueNode>m_value</ValueNode>
</LinkedListItems>
</Expand>
</Type>
</AutoVisualizer>
在Visual Studio 2013,输出是这样的:
在Visual Studio 2012年,名单将被假定为永远持续下去,因为列表节点的“下一个”指针从来都不是NULL,从而产生这样的输出:
写在最后
Visual Studio 2013旨在解决natvis框架缺陷,改进其可视化体验。