c++11 - 可能在 C++ 中创建不同结构的数组

Question

我有一些这样的结构:

struct A { ... };
struct B { ... };

我有一个这样的模板:

template<typename struct_arg>
class X { ... }

现在我想像这样创建一个参数数组作为结构:

args [2] { A, B };

for (args) {
    X<args[i]> x;
}

我可以创建这样的数组吗!？

Answer 1

是的，你可以。 std::variant专为此用途而设计，您可以使用 std::visit 访问变体的此类成员。 .

但是如果你这样做，请记住，数组的每个元素都有一个额外的数据成员，它具有类型信息，并且每个元素至少具有您存储的最大类型的大小。还有std::visit带有开销，因为必须创建用于访问数据成员的表。通常在编译时完成，但有时 g++ 会在运行时生成它，这会大大降低速度!

struct A
{
    void Do() { std::cout << "A" << std::endl; }
};  

struct B
{
    void Do() { std::cout << "B" << std::endl; }
};  

int main()
{   
    std::array<std::variant< A,B >,2> arr{ A{}, B{}, B{}, A{} };

    for ( auto& element: arr )
    {   
        std::visit( []( auto& vari ) { vari.Do(); }, element );
    }   
}  

或者，如果您喜欢使用示例中给出的附加结构/类进行封装:

struct A
{
    void Do() { std::cout << "A" << std::endl; }
};

struct B
{
    void Do() { std::cout << "B" << std::endl; }
};

template < typename struct_arg >
struct X: public struct_arg{};


int main()
{
    std::array<std::variant< X<A>,X<B> >,2> arr{ X<A>{}, X<B>{} };

    for ( auto& element: arr )
    {
        std::visit( []( auto& vari ) { vari.Do(); }, element );
    }
}