我正在尝试为部分专业化类型创建 Visual Studio 调试可视化工具。例如，假设我有这样的事情：
template <typename T>
struct Foo
{
T bar;
};
template <typename T>
struct Foo<T*>
{
T baz;
};
没有部分特化，这很容易：
<Type Name="Foo<*>"> ... </Type>
有了完全的专业化，这也很容易：
<Type Name="Foo<int>"> ... </Type>
但是我如何涵盖部分专业化？这甚至被支持吗？如果没有，是否有解决方法？
【问题讨论】：
标签： c++ visual-studio template-specialization natvis
简短回答 - 不可以。您不能在 natvis 类型名称 <Type Name="Foo&lt;*&gt;"> 中指定类型限定符、引用等。
但是：
您可以将模板的 typename 参数用作字符串并与类型进行比较。比如在节点的Condition属性中：
<Type Name="Foo<*>">
<DisplayString Condition="strcmp("$T1","short")==0">specialization short</DisplayString>
<DisplayString Condition="strcmp("$T1","int &")==0">specialization int &</DisplayString>
<DisplayString>unspecified specialization</DisplayString>
</Type>
对于 Foo<short>，您将看到 specialization short 和 unspecified specialization 对于其他。
例子：
template <typename T, typename U>
struct Foo
{
T bar;
};
template <typename U>
struct Foo<int &, U>
{
U baz;
};
int main()
{
int gg = 0;
Foo<short, int> a;
Foo<int, int> b;
Foo<int &, int> c;
纳特维斯：
<Type Name="Foo<*,*>" >
<DisplayString Condition="strcmp("$T1","short")==0">specialization short</DisplayString>
<DisplayString>unspecified specialization</DisplayString>
</Type>
<Type Name="Foo<int&,*>">
<DisplayString>partial specialization int&</DisplayString>
</Type>
结果：
或者你，如果你的部分专业类型中有一些独特的成员，可以使用Priority 选项。
例子：
template <typename T>
struct Foo
{
T bar;
};
template <typename U>
struct Foo<U &>
{
U baz;
};
int main()
{
int g = 0;
Foo<short> a;
Foo<int> b;
Foo<int &> c{g};
纳特维斯：
<Type Name="Foo<*>">
<DisplayString>partial specialization {baz}</DisplayString>
</Type>
<Type Name="Foo<*>" Priority="Low">
<DisplayString>other specialization</DisplayString>
</Type>
结果：
【讨论】：
Foo<short> 是一个完整的专业化。这个语法对template <typename T> Foo<T&> 有什么作用？