Определения в ООП

@Oleg-fire · Регистрация: 22.11.2015

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

Достаточно недавно занимаюсь программированием, в частности программирую на Java. Вот решил для себя собрать всевозможные определения класса, объекта и метода. Слышал нечто подобное:
Про класс: 1) Это инструкция(шаблон) по созданию объекта; 2) Это некая сущность, которая не имеет представления в памяти; 3) Это абстрактный тип данных, который реализуется через поля и методы;
Про объекты и методы тоже нечто подобное.
Так вот в чем собственно вопрос, может кто-то внятно привести определение всего этого? Я то понимаю что может быть по частям все мною написанное верно, но хотелось бы какого-то четкого, точно определения для каждого из этих 3 слов. Спасибо.

@belovbelov · 23.11.2016, 21:20

Все что вы описываете, вы можете посмотреть на примерах, правда на языке программирования php, но основы и определения об Объектно-ориентированном программировании вы поймете. Короткие и простые примеры: ООП.

@Shamil1 · 24.11.2016, 23:46

Сообщение от Oleg-fire

1) Это инструкция(шаблон) по созданию объекта;

да

Сообщение от Oleg-fire

3) Это абстрактный тип данных, который реализуется через поля и методы;

да

Сообщение от Oleg-fire

объекты

экземпляр класса (конкретный объект в памяти, переменная данного типа данных)

Сообщение от Oleg-fire

методы

функция-член класса

@Rolldan · 02.12.2016, 22:35

Определения класса не очень правильные.
Класс - это описание данных + описание способа работы с ними.
Объект - это участок памяти, в котором содержатся некоторые данные.
Метод - это участок памяти, в котором содержатся инструкции по работе с данными.
Таким образом, класс - это всего лишь инструкция для компиллятора, говорящая что ему надо делать, своего рода документация. На самом деле в оперативной памяти компьютера существуют только объекты и методы. Это можно доказать: например, и на объект, и на метод можно получить указатель в языке C++.

@Shamil1 · 03.12.2016, 16:44

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

На самом деле в оперативной памяти компьютера существуют только объекты и методы. Это можно доказать: например, и на объект, и на метод можно получить указатель в языке C++.

Каким образом наличие указателя на объект доказывает, что чего-то там не существует ("только" в первом предложении)?

@Rolldan · 04.12.2016, 15:56

Отсутствие возможности получить указатель на класс в языке C++ говорит о том, что класс не существует в памяти выполняющейся программы. С другой стороны, в интерпретируемых языках типа Java и .Net классы (именно как описания данных и способов работы с ними) содержатся в памяти и после этапа компиляции. И к ним можно получить доступ через механизм под названием Reflection.

@korvin_ · 04.12.2016, 18:35

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

интерпретируемых языках типа Java и .Net

Не по теме:

Вести с полей?… =)

@Shamil1 · 05.12.2016, 01:59

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

Отсутствие возможности получить указатель на класс в языке C++ говорит о том, что класс не существует в памяти выполняющейся программы.

Замечательная логика. Если я не могу получить указатель на таблицу виртуальных методов для класса, значит её не существует?

@Rolldan · 06.12.2016, 08:34

Shamil1, вы только что подменили понятие "класс" на понятие "таблица виртуальных методов". Это не одно и то же.
Да, таблицы виртуальных функций существуют в памяти, как и статические данные класса. Впрочем, статические переменные одного класса могут храниться не одним куском, а в разных местах, и они аналогичны глобальным переменным. А наличие таблицы виртуальных функций не является обязательным для класса.

@Shamil1 · 06.12.2016, 08:45

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

вы только что подменили понятие "класс" на понятие "таблица виртуальных методов". Это не одно и то же.

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

@Rolldan · 06.12.2016, 09:51

Shamil1, вы не доказали, что мы не можем получить указатель на таблицу виртуальных методов.
Например, при отладке в Visual Studio можно получить такую информацию в сведениях об объекте класса, наряду со сведениями о его данных.

@Shamil1 · 06.12.2016, 10:40

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

при отладке в Visual Studio можно получить такую информацию

Причём тут отладчик Visual Studio?

Вы писали:

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

Отсутствие возможности получить указатель на класс в языке C++ говорит о том, что класс не существует в памяти выполняющейся программы.

@Rolldan · 06.12.2016, 10:53

Shamil1, вы слишком отклонились от темы. Насколько я понимаю, мы оба согласны с тем, что указатель на класс в языке C++ получить нельзя, ни программным способом, ни в отладчике. И (наверняка) оба согласны с тем, что обнаружить в памяти программы непрерывную область памяти, которую можно было бы назвать классом тоже не получится. Давайте на этом и остановимся.

@Shamil1 · 06.12.2016, 11:44

cordfield,
Речь шла о Ваших доказательствах, которые ничего не доказывают.
Вы привели два не связанных между собой утверждения (одно про ООП в общем, другое про конкретный ЯП) и написали, что второе является доказательством первого.

То же самое можно сказать о Ваших определениях, которые ничего не определяют.
Например, "Объект - это участок памяти, в котором содержатся некоторые данные." Как, используя данное определение, понять, что является объектом, а что нет?
Аналогично другие "определения".

@hoggy · 12.12.2016, 16:39

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

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

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

@Shamil1 · 12.12.2016, 17:26

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

на языке с прямым доступом к памяти получить такой указатель - не проблема.

Можете привести код на C++, не использующий информации о конкретной реализации?

@hoggy · 12.12.2016, 17:37

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

Можете привести код на C++, не использующий информации о конкретной реализации?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#include <iostream>
 
struct sample
{
    virtual ~sample(){}
};
 
int main()
{
    std::cout << "Hello, world!\n";
    
    sample s;
    
    std::cout << "size: " << sizeof(s) << std::endl;
    std::cout << "vtbl: " << &s << std::endl;
}

@Shamil1 · 13.12.2016, 08:44

hoggy,
Ваш код работает для любого компилятора, поддерживающего стандарт С++? Или он работает для некоторых компиляторов за счёт особенностей их реализации?

@hoggy · 13.12.2016, 10:15

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

Ваш код работает для любого компилятора, поддерживающего стандарт С++?

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

@Shamil1 · 13.12.2016, 11:34

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

однако существует лишь один разумный способ организовать vtbl - запихать указатель на таблицу в сам объект

можно запихать в начало (перед первым полем), а можно, например, в конец (после последнего)
можно запихать ссылку на таблицу, а можно, например, ссылку на специальную структуру, содержащую (кроме всего прочего) таблицу
можно на первое место поставить ссылку на информацию о классе (метаданные), а ссылку на таблицу поставить на второе место

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

формально не обязано, но работает на всех известных мне компиляторах

То есть, в общем случае, в С++ нельзя получить ссылку на vtbl. А Ваш код работает правильно, только для некоторых компиляторов.

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

@Oleg-fire 0 / 0 / 0 Регистрация: 22.11.2015 Сообщений: 26

	Определения в ООП 14.04.2016, 17:40. Показов 2349. Ответов 35 Метки нет (Все метки) Достаточно недавно занимаюсь программированием, в частности программирую на Java. Вот решил для себя собрать всевозможные определения класса, объекта и метода. Слышал нечто подобное: Про класс: 1) Это инструкция(шаблон) по созданию объекта; 2) Это некая сущность, которая не имеет представления в памяти; 3) Это абстрактный тип данных, который реализуется через поля и методы; Про объекты и методы тоже нечто подобное. Так вот в чем собственно вопрос, может кто-то внятно привести определение всего этого? Я то понимаю что может быть по частям все мною написанное верно, но хотелось бы какого-то четкого, точно определения для каждого из этих 3 слов. Спасибо. 0

@belovbelov 0 / 0 / 0 Регистрация: 17.10.2015 Сообщений: 5
	23.11.2016, 21:20
	Все что вы описываете, вы можете посмотреть на примерах, правда на языке программирования php, но основы и определения об Объектно-ориентированном программировании вы поймете. Короткие и простые примеры: ООП. 0

@Rolldan 44 / 44 / 19 Регистрация: 04.05.2014 Сообщений: 190
	02.12.2016, 22:35
	Определения класса не очень правильные. Класс - это описание данных + описание способа работы с ними. Объект - это участок памяти, в котором содержатся некоторые данные. Метод - это участок памяти, в котором содержатся инструкции по работе с данными. Таким образом, класс - это всего лишь инструкция для компиллятора, говорящая что ему надо делать, своего рода документация. На самом деле в оперативной памяти компьютера существуют только объекты и методы. Это можно доказать: например, и на объект, и на метод можно получить указатель в языке C++. 0

@Rolldan 44 / 44 / 19 Регистрация: 04.05.2014 Сообщений: 190
	04.12.2016, 15:56
	Отсутствие возможности получить указатель на класс в языке C++ говорит о том, что класс не существует в памяти выполняющейся программы. С другой стороны, в интерпретируемых языках типа Java и .Net классы (именно как описания данных и способов работы с ними) содержатся в памяти и после этапа компиляции. И к ним можно получить доступ через механизм под названием Reflection. 0

@Rolldan 44 / 44 / 19 Регистрация: 04.05.2014 Сообщений: 190
	06.12.2016, 08:34
	Shamil1, вы только что подменили понятие "класс" на понятие "таблица виртуальных методов". Это не одно и то же. Да, таблицы виртуальных функций существуют в памяти, как и статические данные класса. Впрочем, статические переменные одного класса могут храниться не одним куском, а в разных местах, и они аналогичны глобальным переменным. А наличие таблицы виртуальных функций не является обязательным для класса. 0

@Rolldan 44 / 44 / 19 Регистрация: 04.05.2014 Сообщений: 190
	06.12.2016, 09:51
	Shamil1, вы не доказали, что мы не можем получить указатель на таблицу виртуальных методов. Например, при отладке в Visual Studio можно получить такую информацию в сведениях об объекте класса, наряду со сведениями о его данных. 0

@Rolldan 44 / 44 / 19 Регистрация: 04.05.2014 Сообщений: 190
	06.12.2016, 10:53
	Shamil1, вы слишком отклонились от темы. Насколько я понимаю, мы оба согласны с тем, что указатель на класс в языке C++ получить нельзя, ни программным способом, ни в отладчике. И (наверняка) оба согласны с тем, что обнаружить в памяти программы непрерывную область памяти, которую можно было бы назвать классом тоже не получится. Давайте на этом и остановимся. 0

@Shamil1 Модератор 3132 / 2279 / 469 Регистрация: 26.03.2015 Сообщений: 8,870
	06.12.2016, 11:44
	cordfield, Речь шла о Ваших доказательствах, которые ничего не доказывают. Вы привели два не связанных между собой утверждения (одно про ООП в общем, другое про конкретный ЯП) и написали, что второе является доказательством первого. То же самое можно сказать о Ваших определениях, которые ничего не определяют. Например, "Объект - это участок памяти, в котором содержатся некоторые данные." Как, используя данное определение, понять, что является объектом, а что нет? Аналогично другие "определения". 0

@Shamil1 Модератор 3132 / 2279 / 469 Регистрация: 26.03.2015 Сообщений: 8,870
	13.12.2016, 08:44
	hoggy, Ваш код работает для любого компилятора, поддерживающего стандарт С++? Или он работает для некоторых компиляторов за счёт особенностей их реализации? 0