c++ - 在编译时创建一个数组

Question

我有一个看起来像这样的类

class Foo 
{
public:
   template<class T> 
   A(T * ptr) { ptr_ = reinterpret_cast<void*>(ptr_);} 

   template<class T>
   T * get() { return reinterpret_cast<T*>(ptr_);}

private:
  void * ptr_;
};

在编译时，我确切地知道我的数组中将包含哪些元素。有没有一种方法可以注释此类，以便 Foo 指针数组知道它应该获得哪种类型？

基本上我想调用Foo[i]<T>->apply()并且不必在运行时查找类型，因为它应该在编译时知道它是什么类型的对象。

附言请不要建议虚函数，我知道它们是有效的解决方案，但我想知道这是否可行，因为我在编译时确实有所有类型信息。

Answer 1

我对你的问题的理解是这样的:

你想要某种表/数组，其中包含指向相应对象的对象指针和成员函数指针。稍后你想调用那个“对”，中间没有任何虚函数。

也许你可以从这个方法开始:

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

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

    template < typename T, auto MEM_PTR >
void Call( void* obj)
{
    (((T*)obj)->*(MEM_PTR))();
}

using OBJ_FUNC_PAIR = std::pair< void* , void(*)(void*) >;

A a;
B b;

std::array< OBJ_FUNC_PAIR ,4 > arr
{
    {
        { (void*)&a, &Call<A, &A::Foo>},
            { (void*)&a, &Call<A, &A::Bar>},
            { (void*)&b, &Call<B, &B::Do > },
            { (void*)&b, &Call<B, &B::Go > }
    }
};

int main()
{
    for ( auto& pair: arr )
    {
        (*pair.second)( pair.first );
    }

}