В чем смысл создания шаблона с заранее известным передаваемым типом

@Kgfq · Регистрация: 23.09.2012

Author24 — интернет-сервис помощи студентам

Видел шаблоны типа:

C++

template<int N>
struct fact{
   static const int v = fact<n-1>::v * n;
};

Объясните мне, в чем смысл создавать шаблон с заранее известным передаваемым типом?
Мне казалось, что шаблоны существуют для того, что бы сделать передаваемый тип любым.

@Kastaneda · 24.10.2012, 09:12

http://www.solarix.ru/for_deve... ming.shtml
там же есть ссылка http://www.solarix.ru/for_deve... rial.shtml

@Kgfq · 24.10.2012, 09:22 **[ТС]**

Kastaneda, хм. То есть через шаблоны можно передавать константы?

@Kastaneda · 24.10.2012, 09:38

Ну да, например класс std::array<class T, size_t N>
Пример создания объекта:

C++

1	std::array<int, 10> arr; // создаем массив int из 10 элементов

@Kgfq · 24.10.2012, 09:55 **[ТС]**

Kastaneda, но должна же быть разница между: передать константу через шаблон и как аргумент?

Через шаблон все будет быстрее, так?

@Kastaneda · 24.10.2012, 10:01

Сообщение от Kgfq

Через шаблон все будет быстрее, так?

Через шаблон - на этапе компиляции, как аргумент - на этапе выполнения. Это разные вещи.
Я так понял имеется ввиду аргумент функции?

@Герц · 24.10.2012, 10:03

Объясните мне, в чем смысл создавать шаблон с заранее известным передаваемым типом?

Шаблону всегда передается заранее известный параметр, так как шаблон генерируется компилятором на основе типов и значений параметров.

@Kgfq · 24.10.2012, 10:04 **[ТС]**

Kastaneda, да, имеется ввиду как аргумент функции.

В итоге получится, что шаблон использует переданное значение на этапе компиляции, а это быстрее, чем если бы данные передавались во время исполнения. Так?

@ForEveR · 24.10.2012, 10:33

Kgfq, Что значит "быстрее"? Этап компиляции и этап выполнения принципиально разные вещи

@Kgfq · 24.10.2012, 10:36 **[ТС]**

ForEveR, мне казалось, программисты ориентируются на скорость работы программы у пользователя

@ForEveR · 24.10.2012, 10:54

Kgfq, Ну как бэ, если размышлять так - то естественно работает программа быстрее.

@Kgfq · 24.10.2012, 11:05 **[ТС]**

ForEveR, Вы размышляете иначе?

@ForEveR · 24.10.2012, 12:08

Kgfq, Я разработчик. Мне так же важно сколько времени программа собирается и переносить любые вычисления, которые могут выполниться во время компиляции на этот этап - это конечно круто, однако время сборки увеличивается прямо пропорционально. Собственно, попробуйте использовать boost::spirit и увидите, сколько ваш исходный код будет компилироваться. Для маленькой программы - не критично, а вот собирать некий мета-проект в тысяч 10 файлов - удовольствие ниже среднего.

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	24.10.2012, 12:08	13
	Kgfq, Я разработчик. Мне так же важно сколько времени программа собирается и переносить любые вычисления, которые могут выполниться во время компиляции на этот этап - это конечно круто, однако время сборки увеличивается прямо пропорционально. Собственно, попробуйте использовать boost::spirit и увидите, сколько ваш исходный код будет компилироваться. Для маленькой программы - не критично, а вот собирать некий мета-проект в тысяч 10 файлов - удовольствие ниже среднего. 0

@Kastaneda 5231 / 3204 / 362 Регистрация: 12.12.2009 Сообщений: 8,113 Записей в блоге: 2
	24.10.2012, 09:12	2
	http://www.solarix.ru/for_deve... ming.shtml там же есть ссылка http://www.solarix.ru/for_deve... rial.shtml 0

@Kgfq 74 / 37 / 3 Регистрация: 23.09.2012 Сообщений: 408
	24.10.2012, 09:22 [ТС]	3
	Kastaneda, хм. То есть через шаблоны можно передавать константы? 0

@Kgfq 74 / 37 / 3 Регистрация: 23.09.2012 Сообщений: 408
	24.10.2012, 09:55 [ТС]	5
	Kastaneda, но должна же быть разница между: передать константу через шаблон и как аргумент? Через шаблон все будет быстрее, так? 0

@Kastaneda 5231 / 3204 / 362 Регистрация: 12.12.2009 Сообщений: 8,113 Записей в блоге: 2
	24.10.2012, 10:01	6
	Сообщение от Kgfq Через шаблон все будет быстрее, так? Через шаблон - на этапе компиляции, как аргумент - на этапе выполнения. Это разные вещи. Я так понял имеется ввиду аргумент функции? 0

@Герц 545 / 344 / 12 Регистрация: 05.11.2010 Сообщений: 1,076 Записей в блоге: 1
	24.10.2012, 10:03	7
	Объясните мне, в чем смысл создавать шаблон с заранее известным передаваемым типом? Шаблону всегда передается заранее известный параметр, так как шаблон генерируется компилятором на основе типов и значений параметров. 0

@Kgfq 74 / 37 / 3 Регистрация: 23.09.2012 Сообщений: 408
	24.10.2012, 10:04 [ТС]	8
	Kastaneda, да, имеется ввиду как аргумент функции. В итоге получится, что шаблон использует переданное значение на этапе компиляции, а это быстрее, чем если бы данные передавались во время исполнения. Так? 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	24.10.2012, 10:33	9
	Kgfq, Что значит "быстрее"? Этап компиляции и этап выполнения принципиально разные вещи 0

@Kgfq 74 / 37 / 3 Регистрация: 23.09.2012 Сообщений: 408
	24.10.2012, 10:36 [ТС]	10
	ForEveR, мне казалось, программисты ориентируются на скорость работы программы у пользователя 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	24.10.2012, 10:54	11
	Kgfq, Ну как бэ, если размышлять так - то естественно работает программа быстрее. 0

@Kgfq 74 / 37 / 3 Регистрация: 23.09.2012 Сообщений: 408
	24.10.2012, 11:05 [ТС]	12
	ForEveR, Вы размышляете иначе? 0