Преобразование обычного класса в странно повторяющийся шаблон

const int sayHelloCount = 100000;
int counter = 0;

class IA {
public:
	virtual void helloFunction() = 0;
        ....
	virtual void helloFunction7() = 0;
};

class B : public IA {
public:
	void helloFunction() {
		counter++;
	}
        .....
	void helloFunction7() {
		counter--;
	}

};

void sayHello(IA* a) {
	for (int i = 0; i < sayHelloCount; i++) {
		a->helloFunction7();
	}
}


int main() {

	IA* a = new B;
	LARGE_INTEGER time_n, time_s;
	QueryPerformanceCounter(&time_s);
	sayHello(a);
	QueryPerformanceCounter(&time_n);
	auto difference = time_n.QuadPart - time_s.QuadPart;

	std::cout << difference;
	delete a;
	system("pause");
	return 0;
}

672Для продолжения нажмите любую клавишу . . .

const int sayHelloCount = 100000;
int counter = 0;

template <typename T>
class IA {
public:
	void helloFunction()	{
		static_cast<T*>(this)->helloFunction();
	};
        ....
	void helloFunction7() {
		static_cast<T*>(this)->helloFunction7();
	}
};

class B : public IA<B>
{
public:
	void helloFunction() {
		counter++;
	}
        ....
	void helloFunction7() {
		counter--;
	}

};

template <typename T>
void sayHello7(IA<T>* a) {
	for (int i = 0; i < sayHelloCount; i++) {
		a->helloFunction7();
	}
}


int main() {

	B *b = new B;
	LARGE_INTEGER time_n, time_s;
	QueryPerformanceCounter(&time_s);
	sayHello7(b);
	QueryPerformanceCounter(&time_n);
	auto difference = time_n.QuadPart - time_s.QuadPart;

	std::cout << difference;
	delete b;
	system("pause");
	return 0;
}

1Для продолжения нажмите любую клавишу . . .

Cпособ совсем не новый.

Минус CRTP — легко выстрелить в ногу, забыв переопределить метод.

если использовать в связке с NVI. Точнее тут не совсем NVI, но суть та же: интерфейс (в шаблоне) и реализация — разные методы, с разным именем и/или сигнатурой. В таком случае, если забудешь реализацию и где-то будет вызов интерфейса — будет ошибка компиляции.

Т.е. что-то вроде:

template <typename T>
class IA {
public:
   helloFunction(){
      static_cast<T*>(this)->doHelloFunction();
   }
};

минус тут в том, что эта самая doHelloFunction() тоже должна быть публичной (public:), что бы можно было её вызвать из базового класса. В NVI такой проблемы нет. Ну или делать в наследнике что-то вроде:

friend class IA<C>;

А так, IMHO, CRTP чаще используется когда нужен реюз кода, и не нужно наследование в виде "C является IA" ("is a").

#include <iostream>
#include <type_traits>

#define HAS_MEM_FUNC(func, name)                                        \
    template<typename T, typename Sign>                                 \
    struct name {                                                       \
        typedef char yes[1];                                            \
        typedef char no [2];                                            \
        template <typename U, U> struct type_check;                     \
        template <typename _1> static yes &chk(type_check<Sign, &_1::func > *); \
        template <typename   > static no  &chk(...);                    \
        static bool const value = sizeof(chk<T>(0)) == sizeof(yes);     \
    }

HAS_MEM_FUNC(Do, has_do);




template<class T>
class IA
{
public:
	void Do()
	{

		static_assert(has_do<T, void(T::*)()>::value, "Derived class has no Do function");
		static_cast<T*>(this)->Do();
	}
protected:
	IA() {}
	IA(const IA&) {}
	IA(IA&&) {}
protected:
};


template<class WorkingClass>
void RunDo(IA<WorkingClass>& p)
{
	p.Do();
}

class C : public IA<C>
{

};




class B : public IA<B>
{
public:
	void Do()
	{
		std::cout << "I'm B!!!" << std::endl;
	}
};


int main()
{
	B b;
	RunDo(b);
	C c;
//	RunDo(c);
//	IA<B> ia;
//	RunDo(ia);
}

CRTP, как минимум, очень полезен при реюзе кода, когда наследование используется, но отношение "is a" неприменимо или применимо с явной натяжкой, так что он пригодится в C++11, и 14, и 17 и т.д.

Вы забыли про косвенную адресацию при работе с таблицей указателей. Нынче рандомные обращение к памяти не сильно эффективная штука ;-) Но в остальном да — ооооочень интересен кейс, где не хватило возможностей компилятора и вылезли тормоза. Тем паче, что в C-style полиморфизме (структуры с полями-указателями на функцию, которая принимает эту структуру) проблема ровно та же с косвенной адресацией, но только ручками.