Шаблоны

Материал из Вики ИТ мехмата ЮФУ
Перейти к: навигация, поиск

Здесь будет собираться вся информация, связанная с шаблонами.

Java

Шаблоны в Java обладают следующими особенностями:

  1. Виртуальная машина Java не имеет дело с объектами обобщенных типов. Таким образом, шаблоны были введены в Java без существенных модификаций виртуальной машины.
  2. Типы-параметры шаблона могут содержать ограничения: реализация интерфейсов и наследование от некоторого класса. Для этого применяется ключевое слово extends public static <T extends Comparable> T max(T[] a)
  3. При компиляции обобщённых типов или методов компилятор производит подчистку шаблона, при которой все типы-параметры шаблона превращаются в свои базовые классы (если не было ограничений, то в Object). Например, шаблон из предыдущего пункта будет при компиляции подчищен до public static Comparable max(Comparable[] a) Если тип-параметр реализует несколько интерфейсов, то при подчистке он превращается в первый интерфейс этого списка (или в предка, если он есть). При необходимости компилятор вставит приведения типа к остальным интерфейсам списка.
  4. При явном использовании шаблонного типа в качестве его сырого (подчищенного) варианта компилятор выдаёт предупреждение. Это сделано для совместимости с уже написанным кодом, использующим нешаблонные коллекции.
  5. Для сохранения цепочек виртуальности генерируются методы-мосты. Например,
class DateInterval extends Pair<Date>
{
  public Date getSecond(){...}
}

Предположим, у подчищенного класса Pair есть свой метод getSecond, возвращающий Object. Тогда для работы механизмов виртуальности в DateInterval будет сгенерирован метод Object getSecond{...}, вызывающий getSecond, определённый пользователем.

  1. Есть подстановочные типы и супертипы. Это может упростить работу с шаблонами:
    • Pair<? extends myClass> означает пару, параметризованную потомком MyClass
    • Pair<? super myClass> означает пару, параметризованную предком MyClass.
      И то, и другое может применяться только в заголовках методов.
  2. При помощи рефлексии можно даже во время выполнения выудить информацию о происхождении подчищенных типов (если виртуальная машина достаточно новой версии и поддерживает это).

Шаблоны Java имеют следующие ограничения:

  1. Типы-параметры не могут принимать примитивные типы, например, int или double. Происходит из-за невозможности подчистки (эти типы не приводятся к Object).
  2. Нельзя генерировать и перехватывать исключения обобщённых типов.
  3. Запрещены массивы обобщённых типов.
  4. Нельзя создавать экземпляры типов-параметров (можно только сложным способом - при помощи рефлексии).
  5. Шаблонный тип не может содержать статические переменные (т.к. они превращались бы при подчистке в одну переменную для всех инстанций).

Ada

  1. В Ада шаблонными могут быть подпрограммы и пакеты (аналоги классов в других языках).
  2. В языке есть богатая система ограничений для типов-параметров шаблона. Например, можно указать не только базовый тип, но и просто сказать, что тип-параметр T должен быть каким-нибудь целым типом. Такая система ограничений введена, по-видимому, из-за ориентации языка на применимость к численным методам.
  3. Можно использовать не только параметры-типы, но и параметры-значения (как в C++). Например, шаблон может быть параметризован целым числом.
  4. Параметром шаблона может быть не только тип, но и подпрограмма. При этом сигнатура подпрограммы указывается. Это упрощает работу с шаблонами, предоставляя механизм более мощный, чем интерфейсы в C#/Java.

Шаблоны Ада обладают следующими недостатками:

  1. Для использования некоторой шаблонной сущности необходимо заранее создать её нешаблонный псевдоним.
  2. Возможно падение эффективности шаблонного кода по сравнению с нешаблонным, так как компилятор может создавать один и тот же код для всех инстанций шаблона.

C++

Шаблоны в C++ обладают следующими особенностями:

  1. Процессор хост-машины не имеет дело с объектами обобщенных типов. Таким образом, шаблоны были введены в С++ без существенных модификаций процессоров, включая Pentium.

Ссылки на статьи о шаблонах

  1. Сравнение шаблонов C++ и D
  2. Шаблоны в Википедии

Ссылки на статьи о концептах C++

  1. Концепты в англ. Википедии
  2. Проект концептов в C++0x (ревизия 1) — комитет по стандартизации C++
  3. Домашняя страница экспериментального компилятора ConceptGCC (форк GCC), поддерживающего концепты C++0x (автор: Дуг Грегор, один из автора проекта концептов комитета по стандартизации)
  4. Статья о ConceptGCC в английской Википедии
  5. Лекция Дуга Грегора о концептах
  6. Концепты — раздаточный материал на лекции по курсу «Стандартная библиотека C++»