函数本地结构/类和 natvis 文件

Posted 2023-02-22

【中文标题】函数本地结构/类和 natvis 文件

【英文标题】：Function local structs/classes and natvis files

【发布时间】：2017-09-26 13:07:29

【问题描述】：

假设我必须遵循结构：

template<class Type, int32 SIZE>
struct TSH2SizedArray

    inline void Add(const Type & Value);


    inline Type & operator[](int32 Index);
    inline const Type & operator[](int32 Index)const;

private:
    uint8 Data[SIZE * sizeof(Type)];
    int32 ElemCount = 0;
;


template<class Type, int32 SIZE>
inline void TSH2SizedArray<Type, SIZE>::Add(const Type & Value)

    assert(0 <= ElemCount && ElemCount < SIZE);
    *((Type*)(Data + ElemCount++ * sizeof(Type))) = Value;


template<class Type, int32 SIZE>
inline Type & TSH2SizedArray<Type, SIZE>::operator[](int32 Index)

    assert(0 <= Index && Index < ElemCount);
    return *((Type*)(Data + Index * sizeof(Type)));


template<class Type, int32 SIZE>
inline const Type & TSH2SizedArray<Type, SIZE>::operator[](int32 Index)const

    assert(0 <= Index && Index < ElemCount);
    return *((Type*)(Data + Index * sizeof(Type)));

我的 natvis 文件中有以下内容：

<Type Name="TSH2SizedArray&lt;*,*&gt;">
    <DisplayString>TotalItemCount=ElemCount (via natvis debug)</DisplayString>
    <Expand>
      <Item Name="TotalItemCount">ElemCount</Item>
      <ArrayItems>
        <Size>ElemCount</Size>
        <ValuePointer>($T1*)Data</ValuePointer>
      </ArrayItems>
    </Expand>
  </Type>

今天才发现 natvis 文件提供的调试辅助在这种情况下不起作用：

void MyFunc()

    struct CMyLocalStruct
    
        int ValueA;
        int ValueB;
    ;
    TSH2SizedArray<CMyLocalStruct, 256> Array;
    Array.Add(CMyLocalStruct(1,2));

但适用于那个：

// File scope
struct CMyLocalStruct

     int ValueA;
     int ValueB;
;
void MyFunc()


    TSH2SizedArray<CMyLocalStruct, 256> Array;
    Array.Add(CMyLocalStruct(1,2));

如果有人有解决方案，我将非常感激，因为这是一种限制。但这对我来说似乎是一个错误。

【问题讨论】：

你说它“不起作用”，但不说为什么。

【参考方案1】：

本地结构是编译器标记不同的类型。所以 MSVC 给它起了一个名字：

`MyFunc'::`2'::CMyLocalStruct

纳特维斯看线

($T1*))Data

并用模板参数替换$T1，在这种情况下是本地结构并获取：

(`MyFunc'::`2'::CMyLocalStruct*)Data

最后它抱怨：

Error: identifier "`MyFunc'" is undefined

这在我看来像是一个错误，因为它应该继续读取该类型的其余部分，但我不确定。

---

我发现的一种解决方法是使用using 语句在结构中声明模板参数的别名：

template<class Type, int32 SIZE>
struct TSH2SizedArray

    inline void Add(const Type & Value);


    inline Type & operator[](int32 Index);
    inline const Type & operator[](int32 Index)const;

    using myType = Type; // natvis will interpret this correctly

private:
    uint8 Data[SIZE * sizeof(Type)];
    int32 ElemCount = 0;
;

然后使用别名：

  <Type Name="TSH2SizedArray&lt;*,*&gt;">
    <DisplayString>TotalItemCount=ElemCount (via natvis debug)</DisplayString>
    <Expand>
      <Item Name="TotalItemCount">ElemCount</Item>
      <ArrayItems>
        <Size>ElemCount</Size>
        <ValuePointer>(myType*)Data</ValuePointer>
      </ArrayItems>
    </Expand>
  </Type>

最后，natvis 确实显示了对本地类型的正确解释，具有讽刺意味的是，它显示了它之前无法解释的本地类型的名称：

【讨论】：

感谢您提供的高质量答案，它解释了为什么它不起作用。

但是使用 Data 不是解决方案，因为重点是将 uint8 指针转换为 CMyLocalStruct 指针。为了让调试数组更容易你知道吗？

这样它在手表中显示为 CMyLocalStruct 数组

@OeilDeLance 好的，我看到正确解释数组需要本地类型。我已经发布了一个解决方法，但我不知道您是否可以更新课程。另一个不太安全的解决方法也可能是在您自己的头文件中声明一个等效的虚拟结构，并在您无法更改该结构时使用它。