В C++ шаблоны (templates) реализованы на уровне компилятора и позволяют создавать обобщённый код, который генерируется для каждого конкретного типа при компиляции. Это приводит к тому, что шаблоны в C++ обеспечивают статическую типизацию и высокую производительность, но увеличивают размер бинарника из-за инстанцирования.

В Java вместо шаблонов используется механизм дженериков (generics), который реализован через стирание типов (type erasure). Это значит, что информация о типах доступна только во время компиляции, а в рантайме типы заменяются на их верхний ограничивающий тип (обычно Object). Из-за этого в Java нельзя создавать экземпляры параметризованных типов или использовать примитивы напрямую в дженериках.

Ключевые отличия:

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

Пример C++ шаблона:

template<typename T>
T max(T a, T b) {
    return (a > b) ? a : b;
}

Пример Java дженерика:

public class Box<T> {
    private T value;
    public void set(T value) { this.value = value; }
    public T get() { return value; }
}

Как отличаются механизмы шаблонов в Java и C++?