Что такое инстанцирование?

@taras atavin · Регистрация: 24.11.2009

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

C++
1
2
3
4
5
class A
{
 ...
};
A a; // Это уже инстанцирование A?

@CyBOSSeR · 07.04.2011, 08:24

taras atavin, создание экземпляра класса.

Сообщение от taras atavin

Это уже инстанцирование A?

Да.

@Mr.X · 08.04.2011, 07:27

Вообще-то в C++ термин «инстанцирование» применяется к шаблонам.
Шаблон определяет семейство классов или функций. Результат инстанцирования этого шаблона с указанием его аргументов – класс или функция.
Например, вот это инстанцирование:

C++
1
typedef std::complex<int>  T_int_complex;

И вот это тоже:

C++
1
std::complex<char> char_c;

@Deviaphan · 08.04.2011, 08:22

Сообщение от Mr.X

Вообще-то в C++ термин «инстанцирование» применяется к шаблонам.

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

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

Сообщение от Mr.X

Например, вот это инстанцирование:

Очень сомневаюсь. Но проверить не получается.)))

@Mr.X · 08.04.2011, 08:46

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

Для не шаблонных классов, просто создание экземпляра.

Ну, не знаю где вы это вычитали, но в русском переводе Страуструпа термин «инстанцирование» применяется только к шаблонам.

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

Цитата Сообщение от Mr.X Например, вот это инстанцирование:

Очень сомневаюсь. Но проверить не получается.)))

И что же тут сомнительного?

Evg · 08.04.2011, 09:05

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

Инстанцирование - создание экземпляра класса

Нет, не так. Если ты НЕ создаёшь экземпляр класса, то методы класса всё равно попадут в код (если они не inline). А вот если ты не создашь экземпляр чего-либо от шаблона, то код для этого шаблона не сгенерируется вообще. Если ты используешь лишь некоторые методы шаблонного класса, то неиспользуемые методы в код так же не попадут. Инстанциация по своей сути эквивалентна подстановке макроса. Сам макрос - это не есть материальный код, а всего лишь текстовое описание, и только использование этого макроса превращает описание в исходник (который уже превратится в код)

@Deviaphan · 08.04.2011, 10:00

Сообщение от Mr.X

И что же тут сомнительного?

Как уже написал Evg, код будет сгенерирован только для тех методов, которые вызываются. В данном случае объявлен псевдоним типа, но никаких методов не вызывается и экземпляров не создаётся. Т.е. никакого кода сгенерировано не будет. И непонятно, что именно компилятор сделает? В общем я не могу спорить, т.к. не могу написать тестовый пример.(

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

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

Нет, не так.

Я к тому, что без создания объекта инстанцирования вообще нет.) И, что термин инстанцирование применим не только к шаблонам.

@Mr.X · 08.04.2011, 10:15

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

Т.е. никакого кода сгенерировано не будет. И непонятно, что именно компилятор сделает?

Ну, что сделает компилятор – это должно волновать разработчиков этого компилятора. А по стандарту инстанцирование шаблона – это применение к его имени списка аргументов в угловых скобках.
При определении типа и генерируется определение этого типа (в данном случае класса).
У Страуструпа написано: «из шаблона-класса и набора аргументов шаблона компилятору нужно сгенерировать и определение класса и определения его используемых функций-членов».
Так как использование других членов (не функций) специально не отслеживается, а они могут быть использованы в любой момент, то определение класса генерируется в любом случае.

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

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

Я к тому, что без создания объекта инстанцирования вообще нет.)

А вот тут у вас пока недопонимание. Инстанцирование - это создание типа или функции из шаблона. При чем тут объекты?

@Deviaphan · 08.04.2011, 10:20

Сообщение от Mr.X

При чем тут объекты

При том, что инстанцирование - создание экземпляра, а не типа.

@ForEveR · 08.04.2011, 10:24

Deviaphan, Создание экземпляра класса, но не объекта.

Инстанцирование (англ. instantiation) — создание экземпляра класса. В отличие от слова «создание», применяется не к объекту, а к классу. То есть, говорят: «(в виртуальной среде) создать экземпляр класса или инстанцировать класс». Порождающие шаблоны используют полиморфное инстанцирование.

@Mr.X · 08.04.2011, 10:32

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

При том, что инстанцирование - создание экземпляра, а не типа.

Ну вот этот момент вы пока и не просекаете. Именно типа!
Прежде чем рассуждать, не вредно и в учебник заглянуть, а в нем сказано (у Страуструпа): "процесс генерации объявления класса по шаблону класса и аргументу шаблона называется инстанцированием шаблона".

@Deviaphan · 08.04.2011, 10:41

В сообщении №4 я это и написал.
А теперь погугли слово экземпляр ещё.)

Evg · 08.04.2011, 10:56

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

При том, что инстанцирование - создание экземпляра, а не типа.

На самом деле как бы создание типа. Ты можешь вызывать метод класса или использовать поле класса без создания экземпляра класса. И инстанциация произойдёт. По стандарту скорее всего должно быть действительно так, что при любом упоминании шаблона с параметром происходит инстанциация всего, что растёт от этого шаблона, а то, что неиспользуемые методы не будут генериться, возможно это оптимизация. С другой стороны я не знаю, как это с формальной точки зрения соотносится с тем, что класс может быть описан в отдельном шаблоне, а метод - в отдельном. Но в итоге можно считать, что происходит именно то, о чём я писал выше: генерится код только для того, что реально используется

@Deviaphan · 08.04.2011, 11:27

Ты можешь вызывать метод класса или использовать поле класса без создания экземпляра класса

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

@CyBOSSeR · 08.04.2011, 12:00

Сообщение от Mr.X

Ну вот этот момент вы пока и не просекаете.

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

Evg · 08.04.2011, 12:12

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

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

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

@taras atavin · 08.04.2011, 12:18 **[ТС]**

Сообщение от Mr.X

Ну, не знаю где вы это вычитали

Не знаю, как другие, я это вычитал в викепедии, тема создана из-за сомнений в правильности понимания.

@Mr.X · 08.04.2011, 12:18

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

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

Ну, если сами пользователи языка не будут следить за чистотой терминологии, то больше этого делать будет некому.
И тем более не стоит смешивать терминологию нескольких языков.
«Создание экземпляра класса» звучит двусмысленно. В C++ это всегда называлось созданием объекта.
Я уж молчу про «методы» и «сообщения», которых в C++ нет, так здесь на форуме уже шаблоны некоторые называют «родовыми классами». Так мы и до субклассов и суперклассов докатимся.

@taras atavin · 08.04.2011, 12:20 **[ТС]**

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

е вызывается и экземпляров не создаётся. Т.е. никакого кода сгенерировано не будет

Экземпляры - это объекты, а код бывает только у членов.

@Mr.X · 08.04.2011, 12:23

Сообщение от taras atavin

Цитата Сообщение от Mr.X
Ну, не знаю где вы это вычитали

Я это вычитал в викепедии, тема создана из-за сомнений в правильности понимания.

Ну вот, а здесь на форуме какие-то наивные люди все время просят порекомендовать им учебники. Нет чтобы Википедию почитать.

Новые блоги и статьи Все статьи Все блоги /
Архитектура слоя интернета для сервера слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .	Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: при выборе сотрудника (справочник Сотрудники) в ТЧ документа. . .	Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .	модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI
Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .	Система безопасности+живучести для сервера-слоя интернета (сети). Двойная привязка. Hrethgir 08.04.2026 Далее были размышления о системе безопасности. Сообщения с наклонным текстом - мои. А как нам будет можно проверить, что ссылка наша, а не подделана хулиганами, которая выбросит на другую ветку и. . .	Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20% kYBz3eJf3jQ	Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .

@Deviaphan Делаю внезапно и красиво 1313 / 1228 / 72 Регистрация: 22.03.2011 Сообщений: 3,744
	08.04.2011, 10:41
	В сообщении №4 я это и написал. А теперь погугли слово экземпляр ещё.) 0