C# дженериков по сравнению с шаблонами C++

Question

Можно создать дубликат:
What are the differences between Generics in C# and Java… and Templates in C++?

Каковы различия между непатентованных C# по сравнению с шаблонами C++? Я понимаю, что они не решают точно такую ​​же проблему, так какие плюсы и минусы обоих?

Answer 1

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

C# generics очень ограничены; вы можете параметризовать класс типа или типа и использовать эти типы в методах. Таким образом, чтобы взять пример из MSDN, вы могли бы сделать:

public class Stack<T> 
{ 
    T[] m_Items; 
    public void Push(T item) 
    {...} 
    public T Pop() 
    {...} 
} 

И теперь вы можете объявить Stack<int> или Stack<SomeObject> и он будет хранить объекты этого типа, безопасно (т.е. не беспокоится о вводе SomeOtherObject в по ошибка).

Внутренне среда выполнения .NET будет специализироваться на вариантах для таких фундаментальных типов, как int, и варианта для типов объектов. Это позволяет, например, представить для Stack<byte> намного меньше, чем представление Stack<SomeObject>.

C++ шаблоны позволяют подобное использование:

template<typename T> 
class Stack 
{ 
    T *m_Items; 
    public void Push(const T &item) 
    {...} 
    public T Pop() 
    {...} 
}; 

Это выглядит похоже на первый взгляд, но есть несколько важных отличий. Во-первых, вместо одного варианта для каждого фундаментального типа и одного для всех типов объектов существует один вариант для каждого типа, который он был создан для. Это может быть много типов!

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

Другим интересным атрибутом для шаблонов C++ является то, что они могут применяться к вещам, отличным от классов, - и когда они есть, их аргументы могут быть автоматически обнаружены. Например:

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

Тип T будет автоматически определяться контекстом, в котором используется функция.

Эти атрибуты могут использоваться в хороших целях за счет вашего здравомыслия. Поскольку шаблон C++ перекомпилируется для каждого типа, к которому он применяется, и реализация шаблона всегда доступна компилятору, C++ может сделать очень агрессивную вставку на шаблоны. Добавьте к этому автоматическое определение значений шаблона в функциях, и вы можете сделать anonymous pseudo-functions в C++, используя boost::lambda. Таким образом, выражение типа:

_1 + _2 + _3

Создает объект с серьезно пугающей типа, который имеет оператор(), который добавляет свои аргументы.

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

Answer 2

http://blogs.msdn.com/csharpfaq/archive/2004/03/12/88913.aspx

Грубо говоря, большая часть разницы связано с тем, что шаблоны разрешаются во время компиляции, и дженерики разрешаются во время выполнения.