Это только что возникло в контексте другого вопроса.
Очевидно, функции-члены в шаблонах классов создаются только в том случае, если они используются odr.
Может ли кто-нибудь объяснить, что именно? это значит. В статье Википедии об одном правиле определения (ODR) не упоминается «odr-use».
Однако стандарт определяет это как
Переменная, имя которой отображается как потенциально вычисляемое выражение
, используется odr, если только она не является объектом, удовлетворяющим требованиям для
появляется в постоянном выражении (5.19), и немедленно применяется преобразование lvalue-to-rvalue
(4.1).
in [ Basic.def.odr].
Изменить: Очевидно, это неправильная часть, и весь абзац содержит несколько определений для разных вещей. Это может быть актуально для функции-члена шаблона класса:
Неперегруженная функция, имя которой отображается как
потенциально вычисляемое выражение или член набора функций-кандидатов, если он выбран с помощью разрешения перегрузки при ссылке из потенциально оцениваемого выражения, используется odr, если только это не чистая
виртуальная функция и ее имя не указано явно.
Однако я не понимаю, как это правило работает в нескольких модулях компиляции? Создаются ли экземпляры всех функций-членов, если я явно создаю экземпляр шаблона класса?
Подробнее здесь: https://stackoverflow.com/questions/196 ... -something
