Czy emulacja czystej funkcji wirtualnej w statycznym polimorfizmie za pomocą CRTP jest możliwa?

Question

Próbuję wprowadzić polimorfizm czasu kompilacji za pomocą protokołu CRTP i chcę wymusić na klasie pochodnej implementację tej funkcji.

Obecna realizacja wygląda następująco.

template <class Derived> 
struct base { 
    void f() { 
     static_cast<Derived*>(this)->f(); 
    } 
}; 

struct derived : base<derived> 
{ 
    void f() { 
    ... 
    } 
}; 

W tej implementacji, wywołanie funkcji wpada w nieskończoną pętlę jeśli klasa pochodna nie wdrożył f().

Jak wymusić wyprowadzoną klasę, aby zaimplementowała funkcję podobną do czystej funkcji wirtualnej? Próbowałem użyć "static_assert", jak static_assert(&base::f != &Derived::f, "..."), ale generuje on komunikat o błędzie informujący, że dwa wskaźniki funkcji członków wskazujące funkcje członków różnych klas nie są porównywalne.

Answer 1

Można dać coś nadpisać i haka różne nazwy, na przykład:

template <class Derived> 
struct base { 
    void f() { 
     static_cast<Derived*>(this)->fimpl(); 
    } 
    void fimpl() = delete; 
}; 

struct derived : base<derived> { 
    void fimpl() { printf("hello world\n"); } 
}; 

Tutaj fimpl = delete w bazie tak, że nie można nazwać przypadkiem chyba fimpl jest przesłonięte w klasie pochodnej.

Można również przykleić warstwę pośrednią kryjówkę w swojej CRTP do „tymczasowo” znaku f jak delete:

template <class Derived> 
struct base { 
    void f() { 
     static_cast<Derived*>(this)->f(); 
    } 
}; 

template <class Derived> 
struct intermediate : base<Derived> { 
    void f() = delete; 
}; 

struct derived : intermediate<derived> { 
    void f() { printf("hello world\n"); } 
}; 

Answer 2

template<typename Derived> 
class Base 
{ 
    private: 
    static void verify(void (Derived::*)()) {} 

    public: 
    void f() 
    { 
     verify(&Derived::f); 
     static_cast<Derived*>(this)->f(); 
    } 
}; 

Jeśli klasa pochodna nie implementuje f na własną rękę, typ &Derived::f będzie void (Base::*)(), który przerywa kompilację.

Od C++ 11 możemy również uczynić tę funkcję ogólną z szablonem variadic.

template<typename Derived> 
class Base 
{ 
    private: 
    template<typename T, typename...Args> 
    static void verify(T (Derived::*)(Args...)) {} 
};