Я думаю про цікаво повторюваний шаблон шаблону .
Я вважаю це досить корисним, і він досить добре регулюється для багатьох завдань. Але я мушу визнати, що я не бачу великої кількості CRTP-коду в дикій природі.
Це важко зрозуміти? Чи в цілому віртуальними функціями легше? Чи не слід його використовувати в 90% випадків, коли з’являється віртуальне ключове слово?
Відповіді:
Простий факт полягає в тому, що багато хто, якщо не більшість користувачів C ++ навряд чи можуть зрозуміти, що vectorкраще, ніж mallocі free, тому кількість тих, хто не тільки може оцінити, але впровадити вдосконалене метапрограмування шаблонів, не дуже велика. Це означає, що навіть якби це було добре для 90% ситуацій, ви побачили б це набагато менше, просто тому, що люди не знають про нього або як ним користуватися.
Тим НЕ менше, віртуальні функції дійсно мають перевагу, а саме, віртуальні функції набагато простіше у використанні , ніж CRTP. Шаблони C ++ - горезвісні тим, що бути кучками практично нічого і всього, і модель включення відсмоктує кулі.
Однак вони [віртуальні функції] явно повільніші та менш потужні. Наприклад, я зараз пишу код за допомогою CRTP, де ви успадковуєте перевантаження оператора для використання з шаблонами виразів. Неможливо, щоб віртуальні функції могли змусити це працювати.
WTL використовує CRTP. Браузер Chromium - це добре відомий приклад програмного забезпечення, яке використовує WTL, тому я б сказав, що він використовується "в дикій природі".
Про 90%? Це, безумовно, завищення. Ви коли-небудь використовували контейнер з поліморфними предметами? Це дуже поширене використання поліморфізму, і ви не можете цього зробити з CRTP, оскільки Base<DerivedA>це не те саме, що Base<DerivedB>.
Ось причини, чому він не використовується ширше: