CRTP - Как вызвать реализацию базового класса метода из производного класса?

Question

Я в настоящее время возился с шаблоном CRTP с использованием шаблонов C++. В то время как возиться с визуальной студией, я нашел несколько способов/методов, в которых производный класс может вызывать реализацию функции базового класса. Ниже приведен код, который я использую, а также 3 строки с комментариями, показывающие, как вызвать реализацию базового класса функции из производного класса. Есть ли преимущество в использовании одного метода над другим? Есть ли различия? Каков наиболее распространенный метод?

template<typename T> 
struct ConsoleApplication 
{ 

    ConsoleApplication() 
    { 
     auto that = reinterpret_cast<T*>(this); 
     that->ShowApplicationStartupMsg(); 
    } 



    void ShowApplicationStartupMsg() 
    { 

    } 
}; 


struct PortMonitorConsoleApplication : ConsoleApplication <PortMonitorConsoleApplication> 
{ 
    void ShowApplicationStartupMsg() 
    { 
     // __super::ShowApplicationStartupMsg(); 
     // this->ShowApplicationStartupMsg(); 
     // ConsoleApplication::ShowApplicationStartupMsg(); 
    } 
}; 

Answer 1

Предпочтительный метод, который я видел, чтобы использовать эту функцию:

ConsoleApplication::ShowApplicationStartupMsg();

Это хорошо, так как это очень ясно, что вы пытаетесь сделать, и то, что родительский класс метод называют это from (особенно полезно, если вы не являетесь родительским классом, является производным классом).

Answer 2

ConsoleApplication <PortMonitorConsoleApplication>::ShowApplicationStartupMsg(); 

Используйте полное имя базового класса.

Обратите внимание, что this-> ShowApplicationStartupMsg() не вызывает вашу базу, он снова вызывает вашу собственную функцию.

__super не является стандартным (и не должен становиться одним, поскольку он неоднозначен с несколькими основаниями).

Использование ConsoleApplication :: не является полностью стандартным (хотя я считаю, что GCC принимает его), поскольку вы не наследуете от ConsoleApplication per se, а всего лишь один конкретный экземпляр этого.