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

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

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

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

@ForEveR · 07.08.2014, 15:26

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

C++

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++

#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++

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

@GetHelp 63 / 64 / 11 Регистрация: 27.02.2013 Сообщений: 1,116
		1
	Вернуть полноценный класс с деструктором из функции 07.08.2014, 15:15. Показов 3219. Ответов 13 Метки нет (Все метки) можно ли вернуть из функции класс? я имею ввиду полноценный класс с деструктором (например std:string) просто по идее вот например создал ты в функции экземпляр класса, return-ом вернул, а при выходе из видимости (функции) вызвался деструктор и экземпляр уничтожился... т.е. что классы можно возвращать только через параметр функции - по ссылке? 0

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

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

IGPIGP Комп_Оратор) $Эксперт по математике/физике$ 9005 / 4704 / 630 Регистрация: 04.12.2011 Сообщений: 14,003 Записей в блоге: 16
	08.08.2014, 18:03	7
	Nick Alte, вот тут интересно о RVO и NRVO http://alenacpp.blogspot.com/2008/02/rvo-nrvo.html Ну то есть: компилятор может не создавать временный объект и сразу же создать строку в возвращаемом объекте и vs... Ещё интересно замечание о том, что если конструктор копии делает ещё что-то кроме копирования, то возможны сюрпризы. 0

@Nick Alte 1675 / 1047 / 174 Регистрация: 27.09.2009 Сообщений: 1,945
	08.08.2014, 18:22	8
	Сообщение от IGPIGP вот тут интересно о RVO и NRVO Да, Алёна вообще выдающийся автор. Возвращаясь к теме RVO/NRVO, сделаю вдогонку два замечания. Во-первых, в отличие от обычных оптимизаций, они влияют на наблюдаемое поведение. Это очень важно. Во-вторых, для решения проблем с передачей "тяжеловесов" при наличии отсутствия RVO (а также энного количества других проблем) в C++11 придумали семантику перемещения через rvalue references. 1

@GetHelp 63 / 64 / 11 Регистрация: 27.02.2013 Сообщений: 1,116
	08.08.2014, 18:37 [ТС]	9
	ясно понятно... а вот еще заинтересовало вот это Сообщение от Tulosba производит при этом почленное копирование внутренних полей объекта если это действительно так значит к полям объекта можно обращаться не только через имя? как это можно реализовать? 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	08.08.2014, 18:51	10
	Сообщение от Nick Alte конструктор копирования вызван не будет (в отладочном режиме - тоже не будет). А с флажком -fno-elide-constructors (gcc/clang) будет. 1

IGPIGP Комп_Оратор) $Эксперт по математике/физике$ 9005 / 4704 / 630 Регистрация: 04.12.2011 Сообщений: 14,003 Записей в блоге: 16
	08.08.2014, 18:53	11
	Сообщение от GetHelp так значит к полям объекта можно обращаться не только через имя? Не значит. Конструктор - функция-член и ей всё методо-образное не чуждо. Независимо, от того явно или неявно вызывается. Без имени можно по указателю (косвенно), но тут нет ничего сокровенного. 0

@GetHelp 63 / 64 / 11 Регистрация: 27.02.2013 Сообщений: 1,116
	08.08.2014, 19:18 [ТС]	12
	Сообщение от IGPIGP Не значит. Конструктор - функция-член и ей всё методо-образное не чуждо. Независимо, от того явно или неявно вызывается. но ведь конструкторы реализовывают люди, ибо программы еще не научились писаться сами Сообщение от IGPIGP Без имени можно по указателю (косвенно), но тут нет ничего сокровенного. я имею ввиду доступ к отдельным полям неизвестного переданного объекта если таковые у него имеются... вот что интересно то... допустим передали какую то структуру в класс-контейнер (на шаблонах) и как сделать чтобы этот класс (ну или просто функция на шаблонах) могла обработать каждое поле переданного объекта, например сохранить каждое поле в файл по отдельности... 0

@0x10 3257 / 2059 / 351 Регистрация: 24.11.2012 Сообщений: 4,909
	08.08.2014, 19:25	13
	Сообщение от GetHelp допустим передали какую то структуру в класс-контейнер (на шаблонах) и как сделать чтобы этот класс (ну или просто функция на шаблонах) могла обработать каждое поле переданного объекта, например сохранить каждое поле в файл по отдельности На уровне языка такой мощной рефлексии нет. Можно посмотреть на boost.serialization 1

	08.08.2014, 19:58

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	08.08.2014, 19:58	14
	Сообщение от GetHelp я имею ввиду доступ к отдельным полям неизвестного переданного объекта если таковые у него имеются... вот что интересно то... допустим передали какую то структуру в класс-контейнер (на шаблонах) и как сделать чтобы этот класс (ну или просто функция на шаблонах) могла обработать каждое поле переданного объекта, например сохранить каждое поле в файл по отдельности... Можно посмотреть на boost::fusion. Он позволит пройти по всем полям структуры. http://www.boost.org/doc/libs/... /doc/html/ Адаптируем структуру для работы с fusion посредством BOOST_FUSION_ADAPT... Дальше у нас уже sequence по которому можно бегать, каждый элемент данной последовательности ссылается на элемент структуры. Добавлено через 28 минут Простой пример работы с fusion 1