Отличие перегрузки operator() от конструктора

@Knjagskij · Регистрация: 10.11.2008

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

Добрый день!
Подскажите пожалуйста, в чем отличие перегрузки operator() от конструктора, и почему нельзя простой объект передать в виде функционального объекта? Или можно?

Croessmah · 17.11.2015, 23:22

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

не ставьте тут const пишит многоуважаемый Саттер

он пишет о таких случаях (принимаем "по значению"):

C++
1
void setColor(const Color set)

а не о таких

C++
1
void setColor(const Color& set)

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

зачем вообще его слушать после такого?)

нужно внимательнее читать, а не слушать

@rikimaru2013 · 17.11.2015, 23:23

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

он пишет о таких случаях:

ну вот помнят же глаза. что этот чудак еретик - сжёчь Саттера!

Croessmah · 17.11.2015, 23:25

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

ну вот помнят же глаза. что этот чудак еретик

ну он то как раз правильно пишет.

Tulosba · 17.11.2015, 23:27

Не по теме:

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

нужно внимательнее читать, а не слушать

Вот этого не хватает тут некоторым, да :D

Croessmah · 17.11.2015, 23:29

Не по теме:

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

Вот этого не хватает тут некоторым

и мне тоже... :(

@hoggy · 18.11.2015, 00:03

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

там ведь в стандарте есть обозначения для такого состояния - помню натыкался в разделе, что с объектом, который "отдался" через std::move()

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

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

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

Уф, ну наконец-то я это от тебя услышал.

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

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

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

С точки зрения Саттера - нет.

вы просто не поняли что вещает Саттер.

я попробую вам объяснить.

рассмотрим несколько случаев:

C++
1
2
3
4
5
6
int main
{
 
    //<--- видите здесь хоть один объект?
 
}

C++
1
2
3
4
5
6
7
int main
{
 
    //<--- а здесь?
    int v = 10;
 
}

теперь такой пример:

C++
1
2
3
4
5
6
7
8
9
10
11
12
int main
{
 
    namespace trololo{
 
    int v = 10; //<--- объект есть
 
    }
 
    //<--- объекта нет.
 
}

что происходит?

Страуструп в своей книжке писал:

объект - область памяти.
объект детонирует (обозначает имя),
которое задается текстовой меткой в исходном коде,
и обладает областью видимости...
(ц)По памяти

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

нет имени - нет объекта.

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

теперь следующая вещь, которую нужно понимать: RAII.
получение ресурса - есть инициализация.

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

пока инициализация не выполнится,
вы не получите в распоряжение имя,
которое детонирует объект:

C++
1
2
3
int v=10; //<--- в точке следования (точка с запятой) 
  //инициализация уже случилась, 
  //и имя доступно

но что будет, если инициализация была прервана?

C++
1
2
3
4
5
6
7
8
try
{
    some obj; //<--- вылетела птичка
}
catch(...)
{
    // <--- и вы оказались здесь
}

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

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

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

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

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

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

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

например:

C++
1
2
3
4
std::string v = "ololo";
foo( std::move(v) ); //<--- uncpecified
 
v = "trololo"; //<--- пожалуйста, пользуйтесь дальше

Tulosba · 18.11.2015, 08:41

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

я думал это итак понятно из контекста моих речей.

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

Не по теме:

В частности, когда систематически буквы путаешь:

denote - обозначать. detonate - детонировать.

Что не имя, так сразу взрывоопасное.

Вернемся к термину "объект":

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

на этапе работы конструктора объект существует.

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

нельзя получить объект, не выполнив его инициализацию.

Сможешь объединить эти два высказывания в общую теорию с единственным определением термина "объект"?
А то получается с одной стороны - объекта нет пока он не проинициализирован. С другой - что объект уже существует в процессе инициализации.
Нелогичность видна невооруженным взглядом. А всё потому, что "объект" в первом выражении не то же самое, что "объект" во втором.

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

нет имени - нет объекта.

Объект не обязан иметь имя.

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

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

Тут спасибо, что поправил. Действительно, можно не только деструктор вызывать. Хочу добавить, что в общем случае можно использовать функции-члены, которые не требуют предусловий. Для std::string например size() или clear().

Croessmah · 18.11.2015, 09:09

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

//<--- видите здесь хоть один объект?

Этот код эквивалентен коду

C++
1
int main {}

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

//<--- в точке следования (точка с запятой)
//инициализация уже случилась,
//и имя доступно

имя доступно сразу после декларатора

C++
1
int v = v ; //Всё ок!

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

3.3.2 Point of declaration
1. The point of declaration for a name is immediately after its complete declarator (Clause 8) and before its
initializer (if any), except as noted below. [ Example:

C++
1
2
int x = 12;
{ int x = x; }

Here the second x is initialized with its own (indeterminate) value. — end example ]

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

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

Объект не обязан иметь имя.

именно

1.8 The C ++ object model
1. ...
An object can have a name (Clause 3).
...

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

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

Да имя то и не нужно

C++
1
2
3
4
5
6
7
    unsigned char buffer[sizeof(SomeType)] ;
    try{
        new (buffer) SomeType() ;
    } 
    catch (...){
        //using buffer???
    }

Надеюсь, пояснять относительно использования данной штуки ничего не нужно

@hoggy · 18.11.2015, 20:15

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

Из контекста твоих речей и конструктор имеет возвращаемое значение.

ложь.

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

Сможешь объединить эти два высказывания в общую теорию с единственным определением термина "объект"?

объект - кусок памяти.

дальше продолжите сами.

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

А то получается с одной стороны - объекта нет пока он не проинициализирован.

нет, не получается.

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

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

вы это осознаете?

нельзя инициализировать то, чего не существует.

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

но если вылетит птичка - объект вы потеряете.

неужели это так сложно понять?

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

Объект не обязан иметь имя.

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

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

то, что в скобочках, было оставленно специально.

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

имя доступно сразу после декларатора
int v = v ; //Всё ок!

вы вообще следите за темой разговора?

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

в записи вида:

C++
1
int v = v ; //<--- случилась инициализация дефолтным конструктором

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

для тех, у кого нет дефолтных конструкторов,
будет ошибка компиляции.

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

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

видать это не понятно.
но это ваши трудности.

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

а не в том, как на плюсах поиметь протухший труп.

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

http://rextester.com/RQNJ86790

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
#include <iostream>
 
struct some
{
    some(const int v=333):v(v){}
    
    int v;
};
 
 
void example(const bool jump)
{
    // some obj; //<--- ok 
    
    if(jump)
        goto trololo;
    
    some obj; //<--- error:   crosses initialization of ‘some obj’
    
trololo:
    
    std::cout<< obj.v;
}
 
int main()
{
    std::cout << "Hello, world!\n";
}

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

@Voivoid · 18.11.2015, 20:47

Не по теме:

Вы бы с таким усердием лучше новые proposal'ы в комитет писали :D

Croessmah · 19.11.2015, 11:40

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

int v = v ; //<--- случилась инициализация дефолтным конструктором

Here the second x is initialized with its own (indeterminate) value

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
//Title of this code
//g++  4.9.2
 
#include <iostream>
#include <string>
 
 
struct Test
{
    Test()
        : str("Hi, hoggy!")
    {
        std::cout << "ctor" << std::endl ;
    }
    Test(const Test& src)
        : str(src.str)
    {
        std::cout << "cctor" << std::endl ;
    }
    Test& operator=(const Test& rhv)
    {
        str = rhv.str ;
        std::cout << "operator=" << std::endl ;
    }
    std::string str ;
} ;
 
 
 
int main()
{
    Test v = v ;
    std::cout << v.str << std::endl ;
}

Отличие перегрузки operator() от конструктора

Tulosba · 19.11.2015, 15:48

Не по теме:

Похоже, кое-кто сдетонировал :D и не смог этого признать.
Впрочем, ничего удивительного, не в первый же раз.

Новые блоги и статьи Все статьи Все блоги /
GitDOS: Когда я решил скрестить MS-DOS, GitHub и Claude MaGz GoLd 08.07.2026 Привет, Киберфорум! Хочу поделиться своим проектом, который, надеюсь, вас заинтересует. GitDOS — это веб-приложение, которое позволяет запускать DOS в браузере с тремя крутыми фичами: диски живут в. . .	Учебный мини "цифровой двойник" = (Сервер = Java + Flask_питон )+(3D = Гугловскаая 4T nvideo + google colab) +( WMS = Odoo на Docker) anaschu 07.07.2026 Увидел в требованиях к вакансии создателя имитационных моделей связку (REst + Api + WMS + Anylogic + питон + 3D Nvideo), и решил посмотреть, что это такое. Из этого всего я работал более менее. . .	Море в объективе kumehtar 06.07.2026 Хотел написать много проникновенных слов, но передумал. Оно само - говорит. Кто слышит тот слышит.	Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .
Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .	Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .	В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .	интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .

@Knjagskij -2 / 8 / 2 Регистрация: 10.11.2008 Сообщений: 776

	Отличие перегрузки operator() от конструктора 16.11.2015, 14:21. Показов 5338. Ответов 51 Метки нет (Все метки) Добрый день! Подскажите пожалуйста, в чем отличие перегрузки operator() от конструктора, и почему нельзя простой объект передать в виде функционального объекта? Или можно? 0

@Voivoid
	18.11.2015, 20:47
	Не по теме: Вы бы с таким усердием лучше новые proposal'ы в комитет писали :D 0

Tulosba
	19.11.2015, 15:48
	Не по теме: Похоже, кое-кто сдетонировал :D и не смог этого признать. Впрочем, ничего удивительного, не в первый же раз. 0