Листинг виртуального переопределения на базовый чистый виртуальный член

Question

Я понимаю, почему вы не можете просто нарисовать указатель функции элемента производного класса на указатель функции элемента базового класса, как описано here.

Но, учитывая этот фрагмент:

struct base 
{ 
    virtual void foo() = 0; 
}; 

struct derived : base 
{ 
    void foo() override {}; 
}; 

struct invoker 
{ 
    typedef void(base::*target)(); 

    invoker(base* b, target t) 
    { 
     (b->*t)(); 
    } 
}; 

template<typename B, typename D> 
void (B::*cast(void (D::*method)()))() 
{ 
    return static_cast<void(B::*)()>(method); 
} 

derived d; 
invoker bad(&d, &derived::foo); //C2664 
invoker good(&d, cast<base>(&derived::foo)); 

Я хотел спросить, можно ли украсить базовую функцию подписи, так что компилятор понимает это чисто виртуальный метод и и он будет реализован где-то по иерархии (иначе я не смог бы построить объект типа B)? Я понимаю, почему я не могу сделать это с помощью обычных функций, но IMHO в случае чистой виртуальной функции у компилятора есть гарантия, что он будет реализован (в случае, если это не было сделано, я бы получил ошибку о классе B не о бросать).

Answer 1

Нет необходимости манипулировать типом &derived::foo. Вместо этого можно использовать только &base::foo.

Указатели на функции-члены уважают виртуальность. Этот вызов

base* pBase = new derived; 
auto pFoo = &base::foo; 
(pBase->*pFoo)(); 

будет на самом деле назвать derived::foo, так же, как простой вызов pBase->foo() бы.

Answer 2

Даже если есть гарантия, что он реализован, он может использовать дополнительные данные, объявленные только в derived. Возможное решение - использовать указатели на функции и передать this в качестве первого параметра (это также показывает, почему вы не можете сделать это через virtual).

Answer 3

Рассмотрим следующую иерархию алмазную:

struct base { 
virtual void foo() = 0; 
}; 

struct D1 : public virtual base { 
virtual void foo() override; 
}; 

struct D2 : public virtual base { 
virtual void foo() override; 
}; 

struct Derived : public virtual D1, D2 { 
virtual void foo() final; 
}; 

Теперь рассмотрим ситуацию, когда вентиляционный разрешено из Derived :: * базировать :: *. Какую функцию следует вызывать? Компилятор теряет информацию о том, какой из D1 :: foo, D2 :: foo или Derived :: foo вы хотите вызвать, поскольку эта информация была отброшена. Чтобы избежать такого рода двусмысленности, такой взлет не разрешен.