C++就地转换向量类型

Question

是否可以在不创建新数据结构的情况下做到这一点？ 假设我们

struct Span{
    int from;
    int to;
}
vector<Span> s;

直接从 s 获取整数向量，

vector<Span> s;

希望通过转换to

vector<int> s;

这样我们就可以删除/更改一些“from”、“to”元素，然后将其转换回

vector<Span> s;  

Answer 1

这确实不是一个好主意，但我会告诉你如何做。

您可以通过这种方式获得指向整数的原始指针：

int * myPointer2 = (int*)&(s[0]);

但这确实是很糟糕的做法，因为您无法保证 span 结构没有任何 padding，因此，虽然今天它可能对我和你来说效果很好，但我们不能对其他系统说太多。

#include <iostream>
#include <vector>


struct Span{
    int from;
    int to;
};


int main()
{

    std::vector<Span> s;

    Span a = { 1, 2};
    Span b = {2, 9};
    Span c = {10, 14};

    s.push_back(a);
    s.push_back(b);
    s.push_back(c);


    int * myPointer = (int*)&(s[0]);

    for(int k = 0; k < 6; k++)
    {
        std::cout << myPointer[k] << std::endl;
    }

    return 0;
}

正如我所说，硬性重新解释转换通常会起作用，但非常危险，并且缺乏您通常期望从 C/C++ 获得的跨平台保证。

下一个更糟糕的事情是，它实际上会执行您要求的操作，但您永远不应该这样做。这是一种你可能会被解雇的代码：

// Baaaad mojo here: turn a vector<span> into a vector<int>:
std::vector<int> * pis = (std::vector<int>*)&s;

for ( std::vector<int>::iterator It = pis->begin(); It != pis->end(); It++ )
        std::cout << *It << std::endl;

注意我是如何使用指向向量的指针并指向向量对象 s 的地址的。我希望两个向量的内部结构是相同的，并且我可以像这样使用它们。对我来说，这是可行的，虽然标准模板可能幸运地要求这种情况，但对于模板化类来说通常并非如此（请参阅填充和模板专业化等内容）。

考虑复制一个数组（参见下面的参考文献 2）或仅使用 s1.from 和s[2].to。

相关阅读：

1. std::vector 元素保证是连续的吗？
2. 如何在 C++ 中将向量转换为数组

Answer 2

如果 sizeof(Span) == sizeof(int) * 2 （即 Span 没有填充），那么您可以安全地使用 reinterpret_cast;(&v[0]) 获取指向可迭代的 int 数组的指针。您可以使用 GCC 中的 __attribute__((__packed__)) 和 Visual Studio 中的 #pragma pack 保证每个编译器的无填充结构。

不过，有一种方法是有标准保证的。像这样定义 Span：

struct Span {
    int endpoints[2];
};

endpoints[0] 和 endpoints[1] 要求是连续的。如果您愿意，可以添加一些 from() 和 to() 访问器以方便使用，但现在您可以使用 reinterpret_cast(&v [0]) 随心所欲。

但是，如果您要进行大量此类指针修改，您可能需要创建自己的类似向量的数据结构，该数据结构更适合这种处理，从而提供更多的安全保证这样你就可以避免射脚。

Answer 3

免责声明：我完全不知道你想要做什么。我只是做出有根据的猜测并在此基础上展示可能的解决方案。希望我能猜对，这样你就不用和愚蠢的演员们一起做疯狂的恶作剧了。

如果你想从向量中删除某个元素，你需要做的就是找到它并使用 擦除功能。您的元素需要一个迭代器，并且获取该迭代器取决于您对相关元素的了解。给定 std::vector v;:

• 如果你知道它的索引：

  v.erase(v.begin() + idx);
  

• 如果您有一个与您要查找的对象相同的对象：

  跨度分身；
  v.erase(std::find(v.begin(), v.end(), doppelganger));
  

• 如果您有一个与您正在查找的对象相同的对象但想要删除所有相同的元素，你需要擦除-删除习惯用法：

  跨度分身；
  v.erase(std::remove(v.begin(), v.end(), doppelganger)),
          鬻（））;
  

• If您有一些选择元素的标准：

  v.erase(std::find(v.begin(), v.end(),
                    [](Span const&s) { return s.from == 0; }));
  
  // 在 C++03 中，您需要一个单独的函数来执行条件
  boolstarts_from_zero(Span const&s) { return s.from == 0; }
  
  v.erase(std::find(v.begin(), v.end(),starts_from_zero));
  

• 如果您有一些标准并且想要删除符合该标准的所有元素，则需要擦除删除又是成语：

  v.erase(std::remove_if(v.begin(), v.end(),starts_from_zero)),
          鬻（））;