使用指针和偏移量遍历 stucts 成员的向量第 2 部分

Question

这是我昨天提出并得到回答的问题的第 2 部分。所以今天我回来了第 2 部分。我不确定这是否应该在其他地方，所以如果版主想要移动它，请随意。

所以我不会在这里重新介绍我的问题，所以请阅读第 1 部分

所以我想出了一个解决问题的方法，所以让我 post 一个修改过的代码片段来代表我想要的解决方案，

#include <iostream>
#include <vector>

// knows nothing about foo
class Readfoo
{ 
    private:
    int offSetSize;
    char* pchar;

    public:
    void SetPoint(double* apstartDouble, int aoffSetSize)  
    {
        offSetSize = aoffSetSize;
        pchar = static_cast<char*> (static_cast<void*>(apstartDouble));
    };

    const double& printfoo(int aioffset) const
    {
       return *(static_cast<double*> (static_cast<void*>(pchar + aioffset*offSetSize)));
    };
};

// knows nothing about readFoo
struct foo
{ 
    int a[5];
    double b[10];
};

int main() 
{
    // populate some data (choose b [2] or other random entry.).
    std::vector<foo> bar(10);
    for(int ii = 0; ii < bar.size(); ii++) 
        bar[ii].b[2] = ii;

    // access b[2] for each foo using an offset.
    Readfoo newReadfoo;
    newReadfoo.SetPoint(&(bar[0].b[2]), sizeof(foo)/sizeof(char));
    for(int ii = 0; ii < bar.size(); ii++)
        std::cout<<"\n"<<newReadfoo.printfoo(ii);

    return 0; 
}

在我看来，这是合法的，我想这就是我要问的。从现在开始，本质上，我正在将结构 foo 和向量 bar（foo 数组）的 'interpretation' 转换为单个字节数组或字符数组。

即在这种解释中，数据结构是单个字符数组，foo 大小乘以 bar 大小。当我使用整数类型遍历它时，我实际上是在转向某个假设的 char 元素（第 1 部分的答案中的第 4.2 点）。然后 printfoo 函数将接下来的 8 个字节组合成双精度 return。

那么这是合法的吗？除了移出条形向量的边界之外，还有什么原因导致它不起作用（我已经测试过，但还没有失败。）？

Answer 1

So is this legal ...

不，不是。

在下面的表达式中：

pchar + aioffset*offSetSize

你操纵 pchar 就好像它是一个指向 char 数组的指针，但事实并非如此（它是一个指向 double 数组的指针）。这是未定义的行为：

[expr.add]/6

For addition or subtraction, if the expressions P or Q have type “pointer to cv T”, where T and the array element type are not similar, the behavior is undefined. [ Note: In particular, a pointer to a base class cannot be used for pointer arithmetic when the array contains objects of a derived class type. — end note ]

在你的例子中 P 是 pchar 并且具有指向 char 的类型指针，但它指向的数组元素是 double.

... and other than moving out of bounds of the bar vectors is there any reason why this will not work (I have tested it and it has yet to fail.)?

是：

更进一步：C++ 中的指针操作是一个危险信号。 C++ 指针操作是黑魔法，它会燃烧你的灵魂并吞噬你的狗。 C++ 提供了许多工具来编写通用代码。我的建议：询问您想要实现的目标，而不是询问您尝试的解决方案。你会学到很多东西。

使用指针和偏移量遍历 stucts 成员的向量第 2 部分

Iterating through a vector of stucts's members with pointers and offsets Part 2

c++

pointers

iteration

pointer-arithmetic

`[expr.add]/6`