Шаблоны в header и cpp

@anti-k · Регистрация: 17.07.2015

Столкнулся с такой проблемой- пишу инлайн шаблонный предикат в хедер.х ) затем объявляю шаблонизированую ф-цию, затем реализую эту ф-цию уже в срр файле. Компилятор (визуал) не может создать ее инстанс. Перемещаю в реализацию в хедеры- все тип-топ. В чем дело? На мой вопрос препод заявил что надо почитать стандарт, потом сказал что стандарт предусматривает шаблонные прототипы.

@hoggy · 28.10.2015, 22:56

Сообщение от anti-k

На мой вопрос препод заявил что надо почитать стандарт

это - мудро, хотя и бесполезно в вашем случае.

Сообщение от anti-k

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

это уже избыточно.
не разумеющий хотьбы да не услышет бегающего.

Croessmah · 28.10.2015, 22:59

Сообщение от anti-k

затем объявляю шаблонизированую ф-цию, затем реализую эту ф-цию уже в срр файле.

определение шаблона должно быть доступно в месте инстанцирования.

Добавлено через 3 минуты

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

это - мудро, хотя и бесполезно в вашем случае.

ну мало ли. Частенько же цитаты из стандарта помогают

@anti-k · 28.10.2015, 23:02 **[ТС]**

Croessmah, Спасибо!

Добавлено через 1 минуту
hoggy, Я не понял ни вас ни препода, увы(

Croessmah · 28.10.2015, 23:03

Сообщение от anti-k

Я не понял ни вас ни препода

значит нужно

Сообщение от anti-k

почитать стандарт

и учебники

@anti-k · 28.10.2015, 23:07 **[ТС]**

Croessmah,А вас я как раз понял )или это мне показалось

@DrOffset · 29.10.2015, 09:49

Сообщение от anti-k

В чем дело?

Шаблон - это описание правил, по которым компилятор может сгенерировать код (провести инстанцирование). Т.к. в С++ раздельная компиляция (это значит, что каждый файл (единица трансляции) компилируется отдельно и независимо), в каждой конкретной единице трансляции, где требуется инстанцирование, должно быть доступно полное определение шаблона. Поэтому такое разбиение на разные файлы и не работает.
Эту особенность ранее предлагалось преодолевать с помощью фичи "экспорт шаблонов", которая была реализована в полном объеме только тут (реализация этого здорово усложняла компилятор, поэтому другие производители либо не стали связываться, либо делали частичные экспериментальные реализации). Как обычно, проблема решалась введением доп. уровня косвенности (в виде генерации компилятором спец. файлов с метаинформацией об экспорте). Начиная с С++11 эта возможность удалена из языка, ключевое слово export зарезервировано для будущих изменений.

С.2.7 Clause 14: templates
Change: Remove export
Rationale: No implementation consensus.
Effect on origin feature: A valid C++ 2003 declaration containing export is ill-formed in this International Standard.

PS.
Вообще говоря, эта тема много раз обсуждалась здесь и эти моменты объяснялись. В проф. навыки любого программиста также входит и умение искать информацию самостоятельно. Не стоит пренебрегать обучением этому сейчас, т.к. потом будет некогда учиться.

Tulosba · 29.10.2015, 11:29

Не по теме:

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

т.к. потом будет некогда учиться.

Учиться никогда не поздно. Лучше, конечно, раньше и на чужих ошибках :)

@DrOffset · 29.10.2015, 13:13

Не по теме:

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

Учиться никогда не поздно.

Я не сказал поздно. Я сказал некогда. Работа (задачу решать надо, а не разбираться почему шаблон не компилируется), семья, дети и т.п.

Tulosba · 29.10.2015, 14:04

Не по теме:

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

дети

Тоже, по сути, результат инстанцирования шаблона :D

@anti-k · 29.10.2015, 14:19 **[ТС]**

Tulosba,

Croessmah · 29.10.2015, 16:41

Не по теме:

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

Тоже, по сути, результат инстанцирования шаблона

с последующим рефакторингом:D

@anti-k 227 / 75 / 31 Регистрация: 17.07.2015 Сообщений: 774
		1
	Шаблоны в header и cpp 28.10.2015, 22:54. Просмотров 1936. Ответов 11 Метки нет (Все метки) Столкнулся с такой проблемой- пишу инлайн шаблонный предикат в хедер.х ) затем объявляю шаблонизированую ф-цию, затем реализую эту ф-цию уже в срр файле. Компилятор (визуал) не может создать ее инстанс. Перемещаю в реализацию в хедеры- все тип-топ. В чем дело? На мой вопрос препод заявил что надо почитать стандарт, потом сказал что стандарт предусматривает шаблонные прототипы. 0

@hoggy 8311 / 3870 / 840 Регистрация: 15.11.2014 Сообщений: 8,763
	28.10.2015, 22:56	2
	Сообщение от anti-k На мой вопрос препод заявил что надо почитать стандарт это - мудро, хотя и бесполезно в вашем случае. Сообщение от anti-k потом сказал что стандарт предусматривает шаблонные прототипы. это уже избыточно. не разумеющий хотьбы да не услышет бегающего. 1

Croessmah Don't worry, be happy 16956 / 9832 / 1895 Регистрация: 27.09.2012 Сообщений: 24,382 Записей в блоге: 2
	28.10.2015, 22:59	3
	Сообщение от anti-k затем объявляю шаблонизированую ф-цию, затем реализую эту ф-цию уже в срр файле. определение шаблона должно быть доступно в месте инстанцирования. Добавлено через 3 минуты Сообщение от hoggy это - мудро, хотя и бесполезно в вашем случае. ну мало ли. Частенько же цитаты из стандарта помогают 1

@anti-k 227 / 75 / 31 Регистрация: 17.07.2015 Сообщений: 774
	28.10.2015, 23:02 [ТС]	4
	Croessmah, Спасибо! Добавлено через 1 минуту hoggy, Я не понял ни вас ни препода, увы( 0

Croessmah Don't worry, be happy 16956 / 9832 / 1895 Регистрация: 27.09.2012 Сообщений: 24,382 Записей в блоге: 2
	28.10.2015, 23:03	5
	Сообщение от anti-k Я не понял ни вас ни препода значит нужно Сообщение от anti-k почитать стандарт и учебники 1

@anti-k 227 / 75 / 31 Регистрация: 17.07.2015 Сообщений: 774
	28.10.2015, 23:07 [ТС]	6
	Croessmah,А вас я как раз понял )или это мне показалось 0

@DrOffset 13881 / 7417 / 1759 Регистрация: 30.01.2014 Сообщений: 12,409
	29.10.2015, 09:49	7
	Сообщение было отмечено anti-k как решение Решение Сообщение от anti-k В чем дело? Шаблон - это описание правил, по которым компилятор может сгенерировать код (провести инстанцирование). Т.к. в С++ раздельная компиляция (это значит, что каждый файл (единица трансляции) компилируется отдельно и независимо), в каждой конкретной единице трансляции, где требуется инстанцирование, должно быть доступно полное определение шаблона. Поэтому такое разбиение на разные файлы и не работает. Эту особенность ранее предлагалось преодолевать с помощью фичи "экспорт шаблонов", которая была реализована в полном объеме только тут (реализация этого здорово усложняла компилятор, поэтому другие производители либо не стали связываться, либо делали частичные экспериментальные реализации). Как обычно, проблема решалась введением доп. уровня косвенности (в виде генерации компилятором спец. файлов с метаинформацией об экспорте). Начиная с С++11 эта возможность удалена из языка, ключевое слово export зарезервировано для будущих изменений. С.2.7 Clause 14: templates Change: Remove export Rationale: No implementation consensus. Effect on origin feature: A valid C++ 2003 declaration containing export is ill-formed in this International Standard. PS. Вообще говоря, эта тема много раз обсуждалась здесь и эти моменты объяснялись. В проф. навыки любого программиста также входит и умение искать информацию самостоятельно. Не стоит пренебрегать обучением этому сейчас, т.к. потом будет некогда учиться. 2

Tulosba
	29.10.2015, 11:29 #8
	Не по теме: Сообщение от DrOffset т.к. потом будет некогда учиться. Учиться никогда не поздно. Лучше, конечно, раньше и на чужих ошибках :) 0

@DrOffset
	29.10.2015, 13:13 #9
	Не по теме: Сообщение от Tulosba Учиться никогда не поздно. Я не сказал поздно. Я сказал некогда. Работа (задачу решать надо, а не разбираться почему шаблон не компилируется), семья, дети и т.п. 0

Tulosba
	29.10.2015, 14:04 #10
	Не по теме: Сообщение от DrOffset дети Тоже, по сути, результат инстанцирования шаблона :D 0

	29.10.2015, 16:41

Опции темы

@anti-k 227 / 75 / 31 Регистрация: 17.07.2015 Сообщений: 774
	29.10.2015, 14:19 [ТС]	11
	Tulosba, 0

Croessmah
	29.10.2015, 16:41 Шаблоны в header и cpp #12
	Не по теме: Сообщение от Tulosba Тоже, по сути, результат инстанцирования шаблона с последующим рефакторингом:D 0

Шаблоны в header и cpp

Решение