Вернуть полноценный класс с деструктором из функции

@GetHelp · Регистрация: 27.02.2013

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

можно ли вернуть из функции класс? я имею ввиду полноценный класс с деструктором (например std:string) просто по идее вот например создал ты в функции экземпляр класса, return-ом вернул, а при выходе из видимости (функции) вызвался деструктор и экземпляр уничтожился... т.е. что классы можно возвращать только через параметр функции - по ссылке?

@ForEveR · 07.08.2014, 15:26

GetHelp, Читайте на тему конструктора копии, и да, возвращается не класс, а объект.

C++
1
2
3
4
5
std::string get_string()
{
   return "this"; // create temporary of type string, copy / move it into result string,
                  // that will be returned, destroy temporary, return result
}

IGPIGP · 08.08.2014, 00:39

GetHelp, нет разницы переменную какого типа возвращает функция. Для пользовательских типов в фрйеме стека где находится точка вызова, выделяется память под объект результата. По окончании работы функции эта память инициализируется конструктором копирования (копируется локальный к функции объект). Если вызов имеет смысл, то результат присваивается или инициализирует переменную в точке вызова и уничтожение локального объекта не влияет на жизненный цикл полученной переменной.
ps. Главное ссылку на локальную переменную не вернуть.

@GetHelp · 08.08.2014, 16:55 **[ТС]**

IGPIGP, О_о не знал... а что за конструктор копирования? это у всех классов по умолчанию есть? или для своего класса надо что то такое еще писать?

Tulosba · 08.08.2014, 17:21

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

а что за конструктор копирования?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include <iostream>
 
class C
{
public:
    C() { std::cout << "ctor\n"; } 
    C( const C& c ) { std::cout << "copy ctor\n"; }
};
 
int main() 
{
    C c;
    C c2 = c; 
    return 0;
}

Если копирующий конструктор не задан явно, он предоставляется по умолчанию и производит при этом почленное копирование внутренних полей объекта.

Из стандарта (12.8/2):

A non-template constructor for class X is a copy constructor if its first parameter is of type X&, const X&,
volatile X& or const volatile X&, and either there are no other parameters or else all other parameters
have default arguments (8.3.6).

@Nick Alte · 08.08.2014, 17:42

Ну и не забываем про старый добрый RVO. В данном фрагменте

C++
1
2
3
4
5
6
7
8
9
std::string foo()
{
  return std::string("Something");
}
 
void bar()
{
  std::string x = foo();
}

конструктор копирования вызван не будет (в отладочном режиме - тоже не будет).

IGPIGP · 08.08.2014, 18:03

Nick Alte, вот тут интересно о RVO и NRVO
http://alenacpp.blogspot.com/2008/02/rvo-nrvo.html
Ну то есть:

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

и vs... Ещё интересно замечание о том, что если конструктор копии делает ещё что-то кроме копирования, то возможны сюрпризы.

@Nick Alte · 08.08.2014, 18:22

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

вот тут интересно о RVO и NRVO

Да, Алёна вообще выдающийся автор.

Возвращаясь к теме RVO/NRVO, сделаю вдогонку два замечания. Во-первых, в отличие от обычных оптимизаций, они влияют на наблюдаемое поведение. Это очень важно. Во-вторых, для решения проблем с передачей "тяжеловесов" при наличии отсутствия RVO (а также энного количества других проблем) в C++11 придумали семантику перемещения через rvalue references.

@GetHelp · 08.08.2014, 18:37 **[ТС]**

ясно понятно...
а вот еще заинтересовало вот это

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

производит при этом почленное копирование внутренних полей объекта

если это действительно так значит к полям объекта можно обращаться не только через имя? как это можно реализовать?

@ForEveR · 08.08.2014, 18:51

Сообщение от Nick Alte

конструктор копирования вызван не будет (в отладочном режиме - тоже не будет).

А с флажком -fno-elide-constructors (gcc/clang) будет.

IGPIGP · 08.08.2014, 18:53

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

так значит к полям объекта можно обращаться не только через имя?

Не значит. Конструктор - функция-член и ей всё методо-образное не чуждо. Независимо, от того явно или неявно вызывается. Без имени можно по указателю (косвенно), но тут нет ничего сокровенного.

@GetHelp · 08.08.2014, 19:18 **[ТС]**

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

Не значит. Конструктор - функция-член и ей всё методо-образное не чуждо. Независимо, от того явно или неявно вызывается.

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

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

Без имени можно по указателю (косвенно), но тут нет ничего сокровенного.

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

@0x10 · 08.08.2014, 19:25

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

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

На уровне языка такой мощной рефлексии нет.
Можно посмотреть на boost.serialization

@ForEveR · 08.08.2014, 19:58

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

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

Можно посмотреть на boost::fusion. Он позволит пройти по всем полям структуры. http://www.boost.org/doc/libs/... /doc/html/
Адаптируем структуру для работы с fusion посредством BOOST_FUSION_ADAPT... Дальше у нас уже sequence по которому можно бегать, каждый элемент данной последовательности ссылается на элемент структуры.

Добавлено через 28 минут
Простой пример работы с fusion

Новые блоги и статьи Все статьи Все блоги /
Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.
«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .

@GetHelp 63 / 64 / 11 Регистрация: 27.02.2013 Сообщений: 1,116

	Вернуть полноценный класс с деструктором из функции 07.08.2014, 15:15. Показов 3563. Ответов 13 Метки нет (Все метки) можно ли вернуть из функции класс? я имею ввиду полноценный класс с деструктором (например std:string) просто по идее вот например создал ты в функции экземпляр класса, return-ом вернул, а при выходе из видимости (функции) вызвался деструктор и экземпляр уничтожился... т.е. что классы можно возвращать только через параметр функции - по ссылке? 0

IGPIGP Комп_Оратор) $Эксперт по математике/физике$ 9006 / 4707 / 630 Регистрация: 04.12.2011 Сообщений: 14,003 Записей в блоге: 16
	08.08.2014, 00:39
	GetHelp, нет разницы переменную какого типа возвращает функция. Для пользовательских типов в фрйеме стека где находится точка вызова, выделяется память под объект результата. По окончании работы функции эта память инициализируется конструктором копирования (копируется локальный к функции объект). Если вызов имеет смысл, то результат присваивается или инициализирует переменную в точке вызова и уничтожение локального объекта не влияет на жизненный цикл полученной переменной. ps. Главное ссылку на локальную переменную не вернуть. 0

@GetHelp 63 / 64 / 11 Регистрация: 27.02.2013 Сообщений: 1,116
	08.08.2014, 16:55 [ТС]
	IGPIGP, О_о не знал... а что за конструктор копирования? это у всех классов по умолчанию есть? или для своего класса надо что то такое еще писать? 0