Ukazateľ na funkciu, ktorá preberá ako parameter referenciu na odvodenú triedu – C / C++ – Fórum – Programujte.com

Ahoj, snažím sa vytvoriť ukazateľ na funkciu, ktorá preberá ako parametre dve referencie na odvodenú triedu. Kedže sa jedná o odvodenú triedu, vytvorím si teda ukazateľ na funkciu ktorej dátové typy parametrov budú referencie na základnú triedu z ktorej bolo dedené.  

Napríklad mám vytvorený dátový typ predstavujúci ukazateľ na funkciu  

typedef bool(*MOT_fptr)(const ColliderMesh::Mesh&, const ColliderMesh::Mesh&)

potom tu mám funkciu, ktorá vracia ukazateľ na funkciu na základe zvoleného typu 

MOT_fptr GetMOT(ColliderMesh::Type type)
{
    switch (type) 
    {
        case ColliderMesh::Type::Rectangle: 
            return &Collider::BoxOverlapTest; // error: return value type does not match the function type
            break;

        case ColliderMesh::Type::Circle:  
            return &Collider::CircleOverlapTest; // error: return value type does not match the function type
            break;

        default: return UNDEF_PTR; 
            break;
    }
}

kde funkcie BoxOverlapTest a CircleOverlapTest sú zadeklarované ako

static bool BoxOverlapTest(const ColliderMesh::Rectangle& rect1, const ColliderMesh::Rectangle& rect2);
static bool CircleOverlapTest(const ColliderMesh::Circle& circ1, const ColliderMesh::Circle& circ2);

Obidve triedy ColliderMesh::Rectangle a ColliderMesh::Circle sú odvodené zo základnej(rodičovskej) triedy ColliderMesh::Mesh.Avšak pokiaľ sa snažím vrátiť z funkcie GetMOT referenciu na funkciu &Collider::BoxOverlapTest a &Collider::Circledostávam chybu return value type does not match the function type.

Otázka teda znie.. je vôbec niečo takéto možné a iba mi niečo uniká, alebo mal by som hľadať iné riešenie ?

#1 Ondrej
Podarilo sa mi to vyriešiť.. v ten moment ma nenapadlo, že môžem funkcie zadeklarovať aby preberali referenciu na triedu z ktorej sa dedí a následne pri predávaní parametrov tejto funkcie iba explicitne zmením dátový typ inštancie odvodenej triedy.

Zmenil som deklaráciu pre funkcie nasledovne 

static bool BoxOverlapTest(const ColliderMesh::Mesh& rect1, const ColliderMesh::Mesh& rect2);
static bool CircleOverlapTest(const ColliderMesh::Mesh& circ1, const ColliderMesh::Mesh& circ2);

a pri volaní týchto funkcií, som im explicitne zmenil dátový typ

auto MOTFunction = Collider::GetMOT(col1MT);
... my code ...
MOTFunction((ColliderMesh::Mesh)col1.m_Mesh[i], (ColliderMesh::Mesh)col2.m_Mesh[j]); // explicitly casting them

niekedy je lepšie si dať pauzu.. v tej chvíli ma to naozaj nenapadlo

#2 Ondrej
A taktiež netuším prečo som vo funkcii GetMOT pri switchi po vrátení hodnoty uvádzal break. Je tam zbytočný

Nekdo jeste neobjevil polymorfizmus, virtualni metody a interface.

Nasledujici neni moc dobrej napad... Delas vesmes z komara velbouda a pak to predhazujes dal... Jeste se ti tam muze objevit i slicing - kdy ze sveho udelas uplne jinej objekt a pak o kus dal reknes ze ted je to zase komar.. litej... (a ten slicing tam mozna i probiha, jelikoz to predavas do const&)

MOTFunction((ColliderMesh::Mesh)col1.m_Mesh[i], (ColliderMesh::Mesh)col2.m_Mesh[j]);

Pod KIIVovu poznámku "tady ještě někdo neobjevil polymorfismus" bych se jednoznačně podepsal také.

Nicméně k vašim otázkám. Zatímco C++ dokáže automaticky převádět ukazatele a reference na rodičovskou třídu, případně member ukazatele na třídu potomka, tak o parameterech funkce nic takového neplatí. Takže funkce fce(const ColliderMesh::Mesh&) a fce(const ColliderMesh::Circle&) nejsou na sebe konvertibilní, i když v jednom směru by parametry být mohly. Takže odpověď na první otázku je: "ne, není to možné."

Následně jste sjednotil signatury funkcí, čímž bylo možné je vrátit. Potud dobře. Ale z nějakého nejasného důvodu jste překladač nutil explicitně k přetypování. Přitom zde je zrovna to místo, kde překladač umí převést na rodiče sám. Předpokládám, že col1 a col2 jsou něco jako std::vector<ColliderMesh::Circle>, tzn. stačilo zavolat 

MOTFunction(col1.m_Mesh[i], col2.m_Mesh[j]);

protože překladač typ reference převede na rodiče sám.

Tím že jste napsal přetypování na ColliderMesh::Mesh jste navodil KIIVem zmiňovaný slicing - překladač vytvořil dočasnou proměnnou typu ColliderMesh::Mesh, do které překopíroval ze zdrojového objektu col1.m_Mesh[i] pouze tu část odpovídající rodiči ColliderMesh::Mesh, a tento částečný objekt (bez specifické části týkající se ColliderMesh::Circle) poslal jako parametr do funkce. Takže pokud jste si ve funkci parametr přetypoval na Circle, což jste pravděpodobně udělal, tak jste se mohl dost divit.

Všimněte si, že jsem předpokládál, že col1 je typované na konkrétní mesh, nikoliv na společného předka. Pokud je navíc máte jako std::vector<ColliderMesh::Mesh>, tak jste do slicingu zapadl až po hlavu. Všechny prvky v poli totiž obsahují pouze atributy z ColliderMesh::Mesh, bez ohledu na to, jestli jste tam vložil Circle nebo Rectangle.