当需要特定类型的向量时，通过引用传递空指针向量

Question

考虑以下场景：

class A
{
    public:
        int a;
        A(int _a) : a(_a) {}
};

void Get(std::vector<A*>& vec)
{
    A* a1 = new A(5);
    A* a2 = new A(50);
    A* a3 = new A(500);
    vec.push_back(a1);
    vec.push_back(a2);
    vec.push_back(a3);
}

int main()
{
    // Scenario 1
    auto vec = std::vector<A*>();
    Get(vec);
    for(auto* v : vec)
        std::cout << v->a << std::endl;

    // Scenario 2: 
    auto vecvoid = std::vector<void*>();
    vecvoid.assign(vec.begin(), vec.end());
    for(auto* v : vecvoid)
        std::cout << static_cast<A*>(v)->a << std::endl;
    return 0;
}

在场景 2 中，是否可以将 vecvoid 直接传递给 Get()（没有 overloading/modifying Get()）使用如上所示的两步方法（函数调用后调用 vector::assign()）？

Answer 1

幸好这不可能。
std::vector<A*> 和 std::vector<void*> 是不相关的类型。

考虑一下如果可能会发生什么：

void G(std::vector<A*>& vec)
{
    *vec[0] = A(7);
}

// ...
int x = 0;
std::vector<void*> v = { &x };
G(v); // Oops.

Answer 2

In Scenario 2, is it possible to pass vecvoid directly to Get()[?]

不，不是。

尽管 A* 可转换为 void*，但 std::vector<A*> 是与 std::vector<void*> 完全不同的类型。另一种选择是：

struct A {};
A a1, a2;
auto veca = std::vector<A*>{&a1, &a2};

auto vecvoid = std::vector<void*>{begin(veca), end(veca)};

Answer 3

它可能可以在带有 reinterpret_cast 的普通编译器上工作，但它显然会调用未定义的行为，因为它不是 reinterpret_cast 的有效使用：

Get(reinterpret_cast<std::vector<A*>&>(vecvoid));

我刚刚用 CLang 3.4 对其进行了测试，它给出了预期的结果，甚至没有任何警告。这并不奇怪，因为无论指针的类型如何，为将指针压入向量而生成的汇编代码都是相同的。但是您必须控制生成的程序集以确保...

TL/DR：请不要那样做！它根本不是 C++ 代码，因为正如在其他答案中告诉您的那样，vector<void *> 和 vector<A *> 是完全不同的类型..

当需要特定类型的向量时，通过引用传递空指针向量

Passing vector of void pointers by reference when a vector of specific type is expected

c++

vector

void-pointers

c++11