Static члены класса

@SergioO · Регистрация: 13.12.2015

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

Здравствуйте.

есть класс, например

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
point
{ 
public:
    float x;
    float y;
 
    static distance (point A, point B) 
    {
        float dx = A.x - B.x;
        float dy = A.y - B.y;
        return sqrt(dx*dx + dy*dy);
    } 
}

static получается совместно разделяемым, те будет выделена память под distance один раз и все объекты point будут этой функцией пользоваться?
Например:

C++
1
2
3
4
point A;
point B;
cout << A.distance(A,B);
cout << B.distance(A,B);// будет использоваться одна функ в 1-ом и 2-ом случае, те одна область памяти?

IGPIGP · 06.01.2016, 21:11

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

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

Где меньше? Везде говорится, что методы являются собственностью, то есть поддерживают отношение владения. Но они не находятся в... И это же логично. Зачем бы это дублировать код? Доступ к членам экземпляра происходит через указатель this, но тот, кто получает доступ к не членам их тоже сможет модифицировать. Сможет и без this. Это не только внутреннего к функции статического члена касается, ведь. Вы можете поменять любой статический член функцией членом, так же как и

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

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

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

вы сказать то что хотели?

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

@hoggy · 06.01.2016, 21:26

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

Но в С++ совсем не так. Там говорят - слишком жирно каждому Мужику по отдельной Руке.

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

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

вот что бы организовать подобные "телепатические связи",
можно задействовать локальные статики,
или статические члены.

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

просто их не нужно пихать туда, где они не нужны.
причем ни в техническом плане,
ни в плане представления объекта реального мира.

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

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

Специально для вас и в последний раз.

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

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

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

Когда человек задаёт вопрос, а потом не читая ответов вываливает пол главы из книги, со словами: - "Вот всё элементарно", это его характеризует.

а это что такое? какие то ваши фантазии?

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

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

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

Есть причины, по которым вызов статической функции через нулевой указатель, вполне можно считать well-defined.

глянул.
не обнаружил причин полагать конструкцию well-defined.
то, что UB в отдельных случаях может работать,
и тот факт, что разработчики платформы могут
прозрачно для пользователей использовать
где нибудь в недрах библиотеки конструкции,
являющиеся UB по стандарту,
не является основанием полагать конструкцию well-defined

IGPIGP · 06.01.2016, 21:33

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

из какой конкретно книги я чего то там вывалил.

Речь шла о TC а не о вас. Кстати, о муравьях я как раз писал. Если создать класс муравейник и включить в него муравья, то многие статические члены станут собственностью муравейников. Муравьи муравейника "У коренастого дуба" и муравьи муравейника "У старого пня" смогут общаться не мешая друг другу. Актуальная тема?
Но остаётся общий лес, и если и его создать, то будет лесной массив, район, область, страна, континент... То есть всегда придётся иметь какие-то статические данные от сущности которую данная программа не представляет в виде объектов.
Не люблю разговоров из серии "У меня в ушах бананы". За сим постараюсь не вмешиваться больше.

@ct0r · 06.01.2016, 21:35

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

не обнаружил причин полагать конструкцию well-defined.

Я обнаружил. Там все расписано. И не подразумеваются никакие отдельные случаи или реализации. Только стандарт, в самой общей что ни на есть форме.

@hoggy · 06.01.2016, 21:45

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

Там все расписано. И не подразумеваются никакие отдельные случаи или реализации. Только стандарт, в самой общей что ни на есть форме.

ещё раз перечитал. не нашел.
нашел массу упоминаний с ссылками на стандарт, что сие есть UB.

@ct0r · 06.01.2016, 22:20

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

ещё раз перечитал. не нашел.

Тогда объясняю кратко:
a->b() == (*a).b()
*a само по себе - это не UB. Эта тема уже обсуждалась, ее не поднимаем.
(*a).b() - не UB, потому что по-прежнему нигде значение *a не используется и никаких преобразований не выполняется:

In some contexts, an expression only appears for its side effects. Such an expression is called a discarded-value
expression. The expression is evaluated and its value is discarded.

For static member functions, the implicit object parameter is considered to match any
object (since if the function is selected, the object is discarded). [ Note: No actual type is established for
the implicit object parameter of a static member function, and no attempt will be made to determine a
conversion sequence for that parameter (13.3.3). — end note ]

Где я ошибаюсь?

@Nosey · 06.01.2016, 22:51

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

Где я ошибаюсь?

Нигде не ошибаетесь

Но :
N3242 - §9.4/2

A static member may be referred
to using the class member access syntax, in which case the object-expression is evaluated

Конечно вами приведённая сноска - работает, должна работать

но это скорее нужно воспринимать как исключение из правил и лучше о нём забыть.
Как вы точно подметили:

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

Не все так просто.

@hoggy · 06.01.2016, 23:01

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

*a само по себе - это не UB. Эта тема уже обсуждалась, ее не поднимаем.

UB.

5 Expressions

11
In some contexts, an expression only appears for its side effects. Such an expression is called a discarded-value
expression. The expression is evaluated and its value is discarded.

сначала компилятор вычисляет выражение,
и только затем оптимизирует.

сначала UB, а затем... а затем уже никто ничего не гарантирует.

13.3.1 Candidate functions and argument lists
4
For non-static member functions, the type of the implicit object parameter is
— “lvalue reference to cv X” for functions declared without a ref-qualifier or with the & ref-qualifier
— “rvalue reference to cv X” for functions declared with the && ref-qualifier
where X is the class of which the function is a member and cv is the cv-qualification on the member
function declaration. [ Example: for a const member function of class X, the extra parameter is assumed to
have type “reference to const X”. — end example ] For conversion functions, the function is considered to
be a member of the class of the implied object argument for the purpose of defining the type of the implicit
object parameter. For non-conversion functions introduced by a using-declaration into a derived class, the
function is considered to be a member of the derived class for the purpose of defining the type of the implicit
object parameter. For static member functions, the implicit object parameter is considered to match any
object (since if the function is selected, the object is discarded). [ Note: No actual type is established for
the implicit object parameter of a static member function, and no attempt will be made to determine a
conversion sequence for that parameter (13.3.3). — end note ]

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

стандарт сказал:
разыменовывание нулевого указателя есть UB.

стандарт сказал:
доступ по указателю суть разыменовывание указателя.

что в последствии будет происходить с результатом выражения (*ptr) - монопенисуальный фактор,
если UB уже приключилось.

@ct0r · 06.01.2016, 23:09

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

UB.

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

стандарт сказал:
разыменовывание нулевого указателя есть UB.

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

@hoggy · 07.01.2016, 00:47

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

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

все там есть.
в частности, однозначно сказано:
this должен указывать на объект, для которого была вызвана функция-член.

одного этого достаточно, что бы однозначно понимать,
что доступ к членам класса по нулевому указателю есть UB.

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

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

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

C++
1
2
3
4
*ptr;  //<--- нельзя разыменовывать нулевые указатели
 
if(ptr) do1(); //<--- значит проверка избыточна
else do2();

итого, компилятор оптимизировал до:

C++
1
do1();

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

Поэтому спорить на эту тему я не буду.

на самом деле это скучноватая тема.

вся её суть сводится к двум вещам:
1.
здесь UB, и я так писать не буду.

2.
здесь неоднозначность,
а значит код, как минимум плохо пахнет.
и так писать я так же не буду.

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

@ct0r · 07.01.2016, 11:19

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

this должен указывать на объект, для которого была вызвана функция-член.

Только у статической функции-члена вообще нету никакого this, о чем тоже однозначно сказано

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

гораздо интереснее, как ситуацию трактуют компиляторы.
например, знаменитый баг в ядре линукса,
когда компилятор оптимизировал проверку:

Ну ядро-то не на С++, а на С

Разница в том, что с сями все как раз понятно, их стандарт ясно говорит:

If an invalid value has been assigned to the pointer, the behavior of the unary * operator is undefined
...
Among the invalid values for dereferencing a pointer by the unary * operator are a null pointer, an address inappropriately aligned for the type of object pointed to, and the address of an object after the end of its lifetime.

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

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

Ты помнишь наши с тобой холивары, которые имели практическую ценность?

@hoggy · 07.01.2016, 11:37

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

Только у статической функции-члена вообще нету никакого this, о чем тоже однозначно сказано

монопенисуальный фактор.
this должен смотреть на объект в момент разыменовыния указателя.

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

Ты помнишь наши с тобой холивары, которые имели практическую ценность?

конкретно с вами:
не помню точно, что именно, но помню, что что-то полезное было.

а вообще, я из разных холиваров узнал не меньше, чем из книг.

@ct0r · 07.01.2016, 11:45

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

this должен смотреть на объект в момент разыменовыния указателя.

Я упорно не могу понять, откуда ты берешь this.

In the body of a non-static (9.3) member function, the keyword this is a prvalue expression whose value
is the address of the object for which the function is called.

this существует только в теле функции-члена и только если она не статическая. Как ты получил this для статической функции - для меня загадка

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

а вообще, я из разных холиваров узнал не меньше, чем из книг.

Меня прикалывает, когда думаешь, что уж это-то очевидно, просто и понятно всем, а потом оп! облом

@SergioO · 07.01.2016, 14:01 **[ТС]**

посмотрел еще лекцию Лекция по С++. Static, почитал сообщения в данной теме, за что всем участникам благодарен, и с Божьей помощью разобрался. На практике, скорее всего, вопросы еще будут, но на данный момент вопросов больше не имею.
IGPIGP, копировал кусок ранее в сообщения я не для себя, а для такого же новичка, который так же "ткнется" в этот вопрос и ссылка на видео выше тоже не для меня и не для вас. не отвечал на сообщения это не значит не читал.

@mporro · 07.01.2016, 15:51

hoggy

If the pointer is a null pointer value (4.10 [conv.ptr]) or points one past the last element of an array object (5.7 [expr.add]), the result is an empty lvalue

Это дополнение было принято в 2005 году кажется.

Разыменование нулевого указателя не является неопределённым поведением. Так как при обращении к статическому методу вычисленное при разыменовании значение отбрасывается, то обратиться через null pointer к статическому члену возможно.

Добавлено через 6 минут
P.S. Если у Вас на руках есть принятый стандарт C++11, то там наверняка подобное или эквивалентное дополнение есть. У меня только draft.

@hoggy · 07.01.2016, 15:51

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

Это дополнение было принято в 2005 году кажется.

я не знаю, что такое "дополнение".

1.
в документе:

ISO/IEC JTC1 SC22 WG21 N 3690
Date: 2013-05-15
ISO/IEC CD 14882
ISO/IEC JTC1 SC22
Secretariat: ANSI

нет ничего похожего на вашу цитату.

2.
мне не понятна фраза вырванная из контекста.
что за результат такой: "пустое значение" ?
результат чего?

вот есть у меня некий произвольный класс.
что значит "empty lvalue" для этого класса?

@mporro · 07.01.2016, 15:53

hoggy
Тем не менее утверждается, что есть. Ибо в 2005 году принято. Точка.

У Вас на руках с высокой вероятностью ошибочный документ. Проверьте в самом начале, есть ли там фраза про пример с dereference the null point. Если есть, то этот документ не действителен, в нём есть ряд прямых противоречий, нужно купить новый.

@hoggy · 07.01.2016, 15:56

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

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

земля плоская, и стоит на трех слонах. точка.

IGPIGP · 07.01.2016, 16:04

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

IGPIGP, копировал кусок ранее в сообщения я не для себя, а для такого же новичка, который так же "ткнется"

Думаете есть бедолаги у кого не хватает мотивации или удачи книжку открыть?
SergioO, посмотрите сколько написано в надежде, что вы это прочтёте. Это примерно аж до этих пор:
Static члены класса
(странно, почему иной раз ссылка, на пост в этом же топике (?!) выполненная стандартным "копировать ярлык" потом не работает?)
То есть я даже не о том, что вы (героически) выложили здоровущий фрагмент из внешнего источника, а о вашем комментарии к нему:

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

По-моему, даже комментировать нечего - все предельно ясно.

или вот ещё знаковый фрагмент:

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

блин, правда чистая, Кнутт или Сэджвик с их математикой и алгоритмами никаких проблем не вызывают, но долбаный "интуитивно понятный" синтаксис бесит.

Но тут не вы один такой. А бог не при чём. Это я вам как атеист говорю.
Желаю вам пересмотреть отношение к жизни иначе время потратите впустую (имхо).

@mporro · 07.01.2016, 16:26

hoggy
Действительно комитет C++11 не ввёл разыменование для nullpointer, мотивируя какими-то сложностями низкого уровня.

Приношу извинения.

Новые блоги и статьи Все статьи Все блоги /
Модель по догадкам anaschu 25.08.2026 Прошло две недели. Я уже рассказывал, как разговаривал с сотрудниками у сортировки и как понял, что главная ветка — не про приёмку, а про отбор. Но тогда я думал, что понял механику. На этой неделе я. . .	Запись в регистр сведений независимо от заполненности табличной части Maks 25.08.2026 Реализация из решения ниже выполнена на нетиповом документе с несколькими табличными частями, разработанного в КА2. Задача: Обеспечить запись документа в регистр сведений независимо от. . .	Ноутбук Альфария kumehtar 24.08.2026 Встретился тут в сети ноутбук Альфария, примарха Альфа-Легиона. Хотя возможно, это ноутбук Омегона, разумеется. Ну как вам?	Мастера простых решений DevAlt 23.08.2026 В сишарп стэках winforms, да и wpf существует сложная система связывания источниках данных и элементов формы(текстовые поля и метки), опирается все это на технологию событий и мета. . .
Цена ошибки DevAlt 23.08.2026 Человек я беспокойный и потому заинтересовался OCaml, в чате форсили функторы модулей как суперфичу. Пытаясь отдуплить концепт, наткнулся на тутор с простым примером. А главный принцип обучения от. . .	Сегодня суббота, 22.08.2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. zorxor 22.08.2026 Сегодня суббота, 22. 08. 2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. Кто Я, откуда Я пришел и куда Я иду? Эти вопросы не оставляют меня ни на секунду. Жизнь на планете Земля. . .	Жизня: рисунок укладки багажа, сделанный клодом anaschu 21.08.2026 Сделал 15 снимков, он по снимкам сделал схему.	Был там один разговор по поводу свободы в материальном мире. kumehtar 19.08.2026 Суть: рассматривается живое существо, оказавшееся внутри довольно странной системы (этого мира) и пытающееся обустроить в ней свой кусок пространства. Жизнь действительно предъявляет каждому. . .

@SergioO 261 / 209 / 99 Регистрация: 13.12.2015 Сообщений: 1,098
	07.01.2016, 14:01 [ТС]
	посмотрел еще лекцию Лекция по С++. Static, почитал сообщения в данной теме, за что всем участникам благодарен, и с Божьей помощью разобрался. На практике, скорее всего, вопросы еще будут, но на данный момент вопросов больше не имею. IGPIGP, копировал кусок ранее в сообщения я не для себя, а для такого же новичка, который так же "ткнется" в этот вопрос и ссылка на видео выше тоже не для меня и не для вас. не отвечал на сообщения это не значит не читал. 0

@mporro 306 / 101 / 18 Регистрация: 04.07.2014 Сообщений: 571
	07.01.2016, 15:53
	hoggy Тем не менее утверждается, что есть. Ибо в 2005 году принято. Точка. У Вас на руках с высокой вероятностью ошибочный документ. Проверьте в самом начале, есть ли там фраза про пример с dereference the null point. Если есть, то этот документ не действителен, в нём есть ряд прямых противоречий, нужно купить новый. 0

@mporro 306 / 101 / 18 Регистрация: 04.07.2014 Сообщений: 571
	07.01.2016, 16:26
	hoggy Действительно комитет C++11 не ввёл разыменование для nullpointer, мотивируя какими-то сложностями низкого уровня. Приношу извинения. 0

Static члены класса

Решение