Impossibile passare derivato Confronta a std :: priority_queue

Question

Ho bisogno di passare un comparatore derivato a std::priority_queue, ma per qualche motivo viene chiamata la classe base 'operator().

Ecco un codice minimo che mostra questo comportamento:

class Base { 
    public: 
    virtual bool operator() (int l, int r) const { 
     cout << "Should not be called" << std::endl; 
     return 0; 
    } 
    virtual ~Base() {} 
}; 
class A : public Base { 
    public: 
    bool operator() (int l, int r) const override { 
     cout << "Should be called!!!!"; 
     return l < r; 
    } 
}; 
int main() { 
    priority_queue<int, vector<int>, Base> pq((A())); 
    pq.push(1); 
    pq.push(2); 
    pq.push(3); 
    pq.push(0); 
    cout << pq.top(); 
    return 0; 
} 

The code is available on ideone as well

Nota che non posso usare priority_queue<int, vector<int>, A>, perché ho altre sottoclassi per Base, e che si tradurrà in un sacco di codice duplicazione .

Cosa sto sbagliando? Come posso passare un comparatore alla priority_queue che verrà utilizzata durante la sua vita?

---

(1) So che posso ignorare il problema di duplicazione di codice utilizzando le funzioni dei modelli che accettano priority_queue<int,vector<int>, T> - ma davvero piuttosto non farlo.

Answer 1

Lo standard specifica Compare comp come valori membri del modello di classe in 23.6.4.1. I costruttori sono detti:

Inizializza comp con x e C con y (copia costruzione o spostare costruire a seconda dei casi);

Pertanto si dispone di affettare, anche se il tipo di parametro è in realtà un const Compare&.

Per ovviare a ciò, è possibile implementare un wrapper pimpl per il comparatore. Questo wrapper mantiene internamente un Base& al comparatore attuale e nel suo numero non virtuale operator() chiama semplicemente lo virtual operator() del comparatore Base/A.

Si prega di riflettere attentamente sulla durata del proprio oggetto A. A seconda dello stato necessario del tuo comparatore, è possibile implementare uno virtual clone-method in Base. E mantieni Base come std::unique_ptr<Base> nel tuo PimplCompare - che cloni nel suo copy-ctor. O lo tieni come std::shared_ptr<Base>.

Answer 2

Il costruttore prende un const Compare& che non causerebbe alcun affettamento quando passa l'oggetto alla funzione ma poi nel documentation

Copy-costruisce il contenitore c sottostante con il contenuto di cont. Copia-costruisce il confronto del functor comp con il contenuto del confronto.

Dal momento che una copia sta accadendo e il tipo di modello è Base si sta solo andando a copiare e memorizzare la parte Base dell'oggetto A.

Si dovrà avvolgere l'oggetto di confronto in una sorta di involucro e di esporre un operator() non virtuale che chiamerà il virtuale operator() del tipo passata al costruttore priority_queue.