Константная функция с константной ссылкой

@Timurs · Регистрация: 23.02.2016

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

Есть следующая строка

C++

1	const std::vector<Point> extract(const std::vector<Point> &points)

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

И второй вопрос: что означает const std::vector<Point> перед именем функции, что функция вернёт константный вектор? Но если функция вернёт константный вектор, то получается, что при неоднократном вызове функции неоднократно инициализируется константный вектор, который возвращается функцией, а константы инициализируются только один раз, как быть?

@DrOffset · 05.03.2019, 08:31

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

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

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

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

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

Эти отверждения не противоречат. Объект каждый раз разный и он инициализируется один раз. Собственно, любой объект инициализируется один раз, от константности тут ничего не зависит.

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

как быть?

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

@Timurs · 05.03.2019, 09:32 **[ТС]**

DrOffset, спасибо, разобрался! В курсе, что при вызовах функции возвращаемые значения разные, но с этими константами что-то запутался. Собственно этот пример увидел здесь https://www.youtube.com/watch?v=LuaNbkRPGRo на 13:40 рефакторят эту строку и убирают const перед функцией. Не очень понятно почему его убрали, да и вообще непонятно зачем этот const тут нужен ведь функция в любом случае вернёт каждый раз разный вектор, тем не менее, судя по примеру, компилятор на const перед именем функции не ругается, а значит в таком случае наверняка какой-то смысл есть (иначе бы его выпилили). Может быть const перед именем функции и означает, что аргументы функции нельзя поменять, а тогда получается масло масляное и его убрали, верно?

@DrOffset · 05.03.2019, 10:32

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

Может быть const перед именем функции

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

C++

1
2
3

std::vector<Point> vec(1);
 
extract(vec)[0] = Point(1, 2); // error

В большинстве случаев это не нужно, т.к. обычно результат функции сразу копируют куда-то.

@_stanislav · 05.03.2019, 10:46

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

обычно результат функции сразу копируют куда-то.

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

@Timurs · 05.03.2019, 11:31 **[ТС]**

DrOffset, спасибо! Мощный пример, однако, написали

@_stanislav · 05.03.2019, 15:14

Timurs,

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

extract(vec)[0] = Point(1, 2);

в данном случае нужно понимать что обычно есть две версии:

C++

1 2	T const& vector::operator[](T const&) const; T& vector::operator[];

Константная функция с константной ссылкой

Решение

Решение

@DrOffset 18844 / 9843 / 2408 Регистрация: 30.01.2014 Сообщений: 17,285
	05.03.2019, 08:31	2
	Сообщение было отмечено Timurs как решение Решение Сообщение от Timurs Правильно ли я понимаю, что аргумент данной функции не является константой (вернее по этой строке мы не можем утверждать, что аргумент является константой), а просто происходит оптимизированная передача аргумента в функцию (то есть сам аргумент может изменяться)? Да, если я правильно понял ваш вопрос, вы можете передать через константную ссылку изначально неконстантный объект. Это будет означать, что через эту ссылку объект нельзя будет поменять. Сообщение от Timurs при неоднократном вызове функции неоднократно инициализируется константный вектор, который возвращается функцией, а константы инициализируются только один раз Эти отверждения не противоречат. Объект каждый раз разный и он инициализируется один раз. Собственно, любой объект инициализируется один раз, от константности тут ничего не зависит. Сообщение от Timurs как быть? Разобраться, наверное. Ведь тут нет никакой проблемы... 1

@Timurs 58 / 48 / 14 Регистрация: 23.02.2016 Сообщений: 433
	05.03.2019, 09:32 [ТС]	3
	DrOffset, спасибо, разобрался! В курсе, что при вызовах функции возвращаемые значения разные, но с этими константами что-то запутался. Собственно этот пример увидел здесь https://www.youtube.com/watch?v=LuaNbkRPGRo на 13:40 рефакторят эту строку и убирают const перед функцией. Не очень понятно почему его убрали, да и вообще непонятно зачем этот const тут нужен ведь функция в любом случае вернёт каждый раз разный вектор, тем не менее, судя по примеру, компилятор на const перед именем функции не ругается, а значит в таком случае наверняка какой-то смысл есть (иначе бы его выпилили). Может быть const перед именем функции и означает, что аргументы функции нельзя поменять, а тогда получается масло масляное и его убрали, верно? 0

@_stanislav "C with Classes" 1646 / 1403 / 523 Регистрация: 16.08.2014 Сообщений: 5,877 Записей в блоге: 1
	05.03.2019, 10:46	5
	Сообщение от DrOffset обычно результат функции сразу копируют куда-то. это я долго понимал (почему то), тут еще важно понимать работу конструкторов и операторов присваивания в том числе и определенных пользователем. думаю правильный ответ 0

@Timurs 58 / 48 / 14 Регистрация: 23.02.2016 Сообщений: 433
	05.03.2019, 11:31 [ТС]	6
	DrOffset, спасибо! Мощный пример, однако, написали 0

	05.03.2019, 15:14