⚙️ Тест 2 — Передача по ссылке и вывод типов

🧩 Тест 3 — Как работает частичная специализация

⚙️ Type Traits: когда типы становятся логикой

Примеры Type Traits

template<typename T>
struct is_pointer 
{
  static constexpr bool value = false;
};

template<typename T>
struct is_pointer<T*> 
{
  static constexpr bool value = true; 
};

assert(is_pointer<int*>::value);

🧠 Type Traits — шаблонные конструкции, которые предоставляют информацию о свойствах типов во время компиляции
Используются в std::enable_if, concepts, std::move.

🎯 Policy-based Design: шаблонная настройка поведения

Пример реализации:

template<typename ThreadPolicy, typename LogPolicy>
class Engine : private ThreadPolicy, private LogPolicy
{
public:
    void run()
    {
        this->log("Starting...");
        this->lock();
        this->unlock();
    }
};

✅ Вместо наследования от суперкласса составляем объект из политик, что позволяет легко менять поведение без лишнего кода.

Expression Templates

Или магия ленивых выражений

Шаблоны выражений - это метод метапрограммирования шаблонов C++, который создает структуры, представляющие вычисления во время компиляции, где выражения вычисляются только по мере необходимости для создания эффективного кода для всего вычисления.

Таким образом, шаблоны выражений позволяют программистам обойти обычный порядок вычисления на языке C++ и добиться оптимизации, такой как объединение циклов.

Пример:

template<typename L, typename R>
struct Add
{
    L const& l; R const& r;
    auto eval() const
    { 
      return l.eval() + r.eval();
    }
};

struct Value
{
    double v;
    auto eval() const
    {
      return v;
    }
};

🧠 Такие паттерны лежат в основе библиотек Eigen, Blitz++, Armadillo. Они предотвращают создание временных объектов — всё оптимизируется на этапе компиляции.

Static Interface (Concepts)

Static Interface: контракты времени компиляции

template<typename T>
concept Drawable = requires(T obj)
{
  obj.draw();
};

template<Drawable T>
void render(T obj) 
{ 
  obj.draw();
}

🧠 Concepts — это compile-time контракты.
Компилятор гарантирует, что тип соответствует интерфейсу.
Это безопасный и быстрый способ добавления ограничений к создаваемым объектам