Возможно ли? Базовый класс с чисто виртуальной функцией и наследники

class BaseClass
{
public:
    virtual ... *someFunction(... *temp) = 0;
};
 
class Class1 : public BaseClass
{
public:
    string *someFunction(string *temp)
    {
        //что-то делаем
    };
};
 
class Class2 : public BaseClass
{
public:
    SomeClass *someFunction(SomeClass *temp)
    {
        //что-то делаем
    };
};
 
int main()
{
    string bb
        BaseClass *aa = new Class1;
        bb = *aa->someFunction(&bb);
}

template <class type>
class BaseClass
{
public:
    virtual type *someFunction(type *temp) = 0;
};
 
template <class type>
class Class1 : public BaseClass
{
public:
    string *someFunction(string *temp)
    {
        //что-то делаем
    };
};
 
template <class type>
class Class2 : public BaseClass
{
public:
    SomeClass *someFunction(SomeClass *temp)
    {
        //что-то делаем
    };
};
 
int main()
{
    BaseClass<string> *aa = new Class1<string>; //не хочет делать такое
}

struct foo
{
    void ReadMessage(int msg) { cout <<"полученно сообщение типа int"; }
};
struct baz
{
    void ReadMessage(int msg) { cout <<"полученно сообщение типа int"; }
};
...
 
int main
{
   Foo f;
   Baz b;
 
   //указываем подписчиков сообщений
   EventSystem::Add<int>(f);
   EventSystem::Add<int>(b);
 
   //отправляем сообщение типа int. 
   //система сообщений доставит данное сообщение всем, кто подписался на тип int
   EventSystem::SendMessage(10);
}

struct example
{
     virtual void* foo(void*);
};

#include "tools/arg.h"
 
...
 
struct base
{
     virtual Arg foo(Arg arg);
};
 
...
 
struct der: base
{
     virtual Arg foo(Arg arg)
     {
         if(arg.Is<int>())
         {
              int a = arg;
             cout<<"получен аргумент типа int "<< a;
         }
         else
            cout<<"получен аргумент:" << arg;
     }
};
 
...
 
int main()
{
     der d;
     base& i = d;
 
     i.foo(10); //<--- Arg , что аргумент , как const int
}