Телеграмм чат группы ProCxx страница 15438

Size: a a a

pro.cxx

2020 August 20

аля

template<typename Derived>
struct Base
{
    template<typename T>
    void foo(T obj)
    {
        static_cast<Derived*>(this)->fooImpl(obj);
    }

};


struct PolymorphicHolder
{
public:
   template<typename T>
   void invokeFoo(T val)
   {
       // ???
   }

private:
   struct ImplBase
   {
       // ???
 
       virtual ~ImplBase() = default;
   };

   template<typename Derived>
   struct Impl : ImplBase
   {
       // inherited from Base<Derived> 
       Derived obj;
   };

   ImplBase* impl_;   
};

Собсна в изначальном вопросе AbstractInterface == ImplBase, passThrough == invokeFoo

источник

08:16пожаловаться #1

Nikita Provotorov in pro.cxx

Впрочем, ответ на SO не обнадеживает:

If you need BaseVisited's derived classes to be templated too AND pass their correct types/overloads to visit, you're officially dead.

источник

08:25пожаловаться #2

Ilia Zviagin in pro.cxx

Nikita Provotorov

Ребят, такой вопросик. Предположим у нас есть интерфейс и шаблонная свободная функция:

struct AbstractInterface
{
    // pure-virtual methods
};

template<typename T>
void passThrough(AbstractInterface* dst, T val)
{
    // ...
}

Можно ли как-нибудь в реализацию AbstractInterface передать реальный тип объекта val, т.е. T?
Содержимое как AbstractInterface, так и тело passThrough можно свободно менять

Вообще, в ООП выделять тип объекта в виде переменной - это антипаттерн.

Надо диспетчеризацию делать по динамическому типу за счёт виртуальных методов .

источник

08:51пожаловаться #3

Ilia Zviagin in pro.cxx

Nikita Provotorov

Ребят, такой вопросик. Предположим у нас есть интерфейс и шаблонная свободная функция:

struct AbstractInterface
{
    // pure-virtual methods
};

template<typename T>
void passThrough(AbstractInterface* dst, T val)
{
    // ...
}

Ну и похоже шаблонный passThrough тут излишне делать, это ему не нужно

источник

08:52пожаловаться #4

Ilia Zviagin in pro.cxx

Nikita Provotorov

Ребят, такой вопросик. Предположим у нас есть интерфейс и шаблонная свободная функция:

struct AbstractInterface
{
    // pure-virtual methods
};

template<typename T>
void passThrough(AbstractInterface* dst, T val)
{
    // ...
}

А, тут тебе нужна множественная диспетчеризация, в с++ реализуется как паттерн Visitor

источник

08:54пожаловаться #5

Nikita Provotorov in pro.cxx

Ilia Zviagin

А, тут тебе нужна множественная диспетчеризация, в с++ реализуется как паттерн Visitor

Не прокатывает тут визитор из-за шаблонного параметра

источник

08:55пожаловаться #6

Ilia Zviagin in pro.cxx

Nikita Provotorov

Ребят, такой вопросик. Предположим у нас есть интерфейс и шаблонная свободная функция:

struct AbstractInterface
{
    // pure-virtual methods
};

template<typename T>
void passThrough(AbstractInterface* dst, T val)
{
    // ...
}

Ты тут просто не передашь этот T никуда, у него должен быть общий предок для этого, а ты пишешь, что Т - произвольный.

Тогда ты его только через void* можешь передать, а это сам знаешь неверно , что...

источник

08:56пожаловаться #7

Ilia Zviagin in pro.cxx

Nikita Provotorov

Не прокатывает тут визитор из-за шаблонного параметра

Он не нужен тут, шаблон и параметр

источник

08:56пожаловаться #8

Ilia Zviagin in pro.cxx

/ban

источник

09:00пожаловаться #9