Теряется значение во время выполнения return (= и конструктор копирования есть)

@aviacheslav · Регистрация: 19.01.2013

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

Доброго времени суток!
Проблема такая.
Описал 2 шаблонных класса - 1-мерного массива и 2-мерного.
(2-мерный массив - отдельный, на основе указателя на указатель, а не 1-мерный массив объектов типа 1-мерный массив)
В классе 2-мерного массива описал функцию, возвращающую сроку или столбец 2-мерного массива в виде объекта 1-мерного массива.
Выполнение этой функции приводит к аварийному завершению программы (segmentation fault).
Отладка показала вот что.
Функция формирует объект 1-мерного массива вполне нормально.
Сразу после проверки следует return, до rerurn потерять значение негде.
Когда же в функции main происходит вызов этой функции и присвоение значения переменной оператоорм = - вот здесь ошибка.
Логично было бы предположить, чот в 1-мерном массиве не описан конструктиор копирования или не перегружен оператор =, но они есть. Они иимеют общую часть - функцию, которую я назвал assign.
И вот в ней аргумент, оказывается, имеет неопределенное значение.
Естественно, из пустого объекта не вызовешь геттер и не извлечешь значение, поэтому и segmentation fault).
Но туда мы попадаем сразу из return.
Как такое получается и как это исправить?
Qt, консольное приложение.
Заранее спасибо.
Вот начало массива 1-мерного:

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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
#ifndef ARRAYTEMPLATE_H
#define ARRAYTEMPLATE_H
 
#include "mylib.h"
 
 
template <class T> class ArrayTemplate
{
    private:
    T* data;
    int Length;
    public:
    ArrayTemplate(){
        Construct();
    }
    ArrayTemplate(int Q){
        Construct();
        SetSize(Q);
    }
    ArrayTemplate(T* x, int Q=1){
        Construct();
        Set(x, Q);
    }
    ArrayTemplate(std::vector<T>arr){
        Construct();
        Set(arr);
    }
    ArrayTemplate(ArrayTemplate&obj){
        Construct();
        Assign(obj);
    }
    ~ArrayTemplate(){
        SetNull();
        printf("1D array deleted\n");
    }
    void Construct(){
        SetNullIni();
        printf("1D array created\n");
    }
    void SetNullIni(){
        this->Length=0;
        //this->data=nullptr;
        this->data=NULL;
    }
    void SetNull(){
        this->Length=0;
        //if(this->data!=nullptr) delete[] this->data;
        if(this->data!=NULL) delete[] this->data;
    }
    //void SetOneIni(T*dv=nullptr){
    void SetOneIni(T*dv=NULL){
        Construct();
        this->data=new T[1];
        this->Length=1;
    }
 
    void Assign(ArrayTemplate&obj){
        this->Set(obj.data, obj.Length);
    }//fn
    ArrayTemplate& operator =(ArrayTemplate&obj){
        Assign(obj);
        return*this;
    }
    T& operator [](int index){
        T x;//
        if(index>=0 && index<this->Length){
            x=data[index];//
            return this->data[index];
        }
    }
    void Set(T*x, int Q=1){
        if(x!=NULL && Q>0){
            if(this->data!=NULL && this->Length!=0){
                SetNull();
            }
            this->Length=Q;
            this->data=new T[this->Length];
            for(int i=1; i<=this->Length; i++){
                this->data[i-1]=x[i-1];
            }
        }else{
            if(this->data!=NULL){
                SetNull();
            }
        }
    }//fn
    void Set(std::vector<T>arr){
        if(this->data!=NULL){
            delete[]this->data;
        }
        int Q=arr.size();
        if(Q>0){
            this->data=new T[Q];
            for(int i=1; i<=Q; i++){
                this->data[i-1]=arr[i-1];
            }
        }
    }
 
  ...
 
};

Вот начало 2-мерного массива и функциия, возвращающие строку и столбец как объект 1-мерного массива:

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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
template<class T> class Array2DTemplateSelf
{
    T**data;
    Array2DSize*Info;
public:
    Array2DTemplateSelf(bool WriteInfo=true){
        Construct();
    }
    Array2DTemplateSelf(T**data, Array2DSize*InfoExt=NULL, bool WriteInfo=true){
        Array2DSize Inf;
        Construct();
        if(InfoExt!=NULL)Inf=(*(InfoExt));
        //else NOp;
        Set(data, &Inf, WriteInfo);
    }
    Array2DTemplateSelf(ArrayTemplate<T>data, bool LC_not_CL=true, Array2DSize*InfoExtPrev=NULL, bool WriteInfo=true){
        Construct();
        this->Set(data, LC_not_CL, InfoExtPrev, WriteInfo);
    }
 
    Array2DTemplateSelf(T*data, Array2DSize*InfoExt=NULL, bool WriteInfo=true){
        Array2DSize Inf;
        Construct();
        if(InfoExt!=NULL)Inf=(*(InfoExt));
        //else NOp;
        Set(data, &Inf, WriteInfo);
    }
 
    Array2DTemplateSelf(Array2DTemplateSelf&obj){
        Construct();
        Assign(obj);
    }
 
    ~Array2DTemplateSelf(){
       Array2DSize Inf;
       //if(InfoExt!=NULL)Inf=(*(InfoExt));
       if(this->Info!=NULL){
           Inf=(*(this->Info));
           delete this->Info;
        }
        if(this->data!=NULL){
            for(int i=1; i<=Inf.L; i++){
                delete this->data[i-1];
            }
            delete this->data;
        }
    }
 
    void Construct(){
        SetNullIni();
    }
 
    void SetNullIni(){
        this->data=NULL;
        this->Info=NULL;
    }
    //
    void SetNullData(){
        Array2DSize Inf;
        if(this->data!=NULL){
            if(this->Info!=NULL) Inf=(*(this->Info));
            for(int i=1; i<=Inf.L; i++){
                delete this->data[i-1];
            }
            delete this->data;
        }
    }
 
 ...
 
 ArrayTemplate<T>& GetExtRowN(int N, Array2DSize*InfoExt=NULL){//here!
       int zero=0;
        ArrayTemplate<T> arr;
        Array2DSize Inf=DefInfo(InfoExt);
        T x;
        int Q=Inf.L, C;
        if(N>=1 && N<=Q && this->data!=NULL && this->data[N-1]!=NULL){
            C=Inf.GetLengthN(N);
            for(int i=1; i<=C; i++){
                x=this->data[N-1][i-1];
                arr.Add(x);
            }
            //
            C=arr.GetSize();
            for(int i=1; i<=C; i++){
                x=arr[i-1];
            }//here arr is correct object
            //
        }
        return arr;//here arr becomes indefinite!
    }

@zss · 30.01.2022, 20:16

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

= и конструктор копирования есть

не вижу этого в коде

@TheCalligrapher · 30.01.2022, 20:27

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

C++
1
2
3
4
   ArrayTemplate<T>& GetExtRowN(int N, Array2DSize*InfoExt=NULL){
        ...
        return arr;//here arr becomes indefinite!
    }

Но эта функция пытается возвращать ссылку на локальную переменную. Это никак не может работать.

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

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

При чем здесь "конструктор копирования" или "оператор присваивания"? Никакие "конструкторы копирования" или "операторы присваивания" тут ситуацию не спасут.

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
    void Set(std::vector<T>arr){
        if(this->data!=NULL){
            delete[]this->data;
        }
        int Q=arr.size();
        if(Q>0){
            this->data=new T[Q];
            for(int i=1; i<=Q; i++){
                this->data[i-1]=arr[i-1];
            }
        }
    }

Какой смысл передавать сюда arr по значению? Также, что будет, если arr.size() равно нулю? Чему в итоге будет равно this->data?

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

C++
1
2
3
        if(this->data!=NULL){
            delete[]this->data;
        }

Лишние проверки.

@aviacheslav · 30.01.2022, 20:46 **[ТС]**

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

Но эта функция пытается возвращать ссылку на локальную переменную. Это никак не может работать.

TheCalligrapher,
знак & я там поставил, потому что иначе пишет ошибку в main:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);
 
    Array2DSize size(4,4);
    int**xa;
    xa=new int*[size.L];
    Array2DTemplateSelf<int>Arrd2;
    for(int i=1; i<=size.L; i++){
        xa[i-1]=new int[size.C];
        for(int j=1; j<=size.C; j++){
            xa[i-1][j-1]=10*i+j;
        }
    }
    Arrd2.Set(xa, &size);
    ArrayTemplate<int>Arrd1;
    Arrd1=Arrd2.GetExtRowN(2);

на последней строчке:
Invalid initialization of non-constant reference of type ArrayTemplate<int>& from an rvalue of type 'ArrayTemplate<int>'
Как тут быть?

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

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

не вижу этого в коде

Ну как же?
Там все есть, копирую еще раз:

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
35
36
 ArrayTemplate(ArrayTemplate&obj){//конструктор копирования
        Construct();
        Assign(obj);
    }
    ~ArrayTemplate(){
        SetNull();
        printf("1D array deleted\n");
    }
    void Construct(){
        SetNullIni();
        printf("1D array created\n");
    }
    void SetNullIni(){
        this->Length=0;
        //this->data=nullptr;
        this->data=NULL;
    }
    void SetNull(){
        this->Length=0;
        //if(this->data!=nullptr) delete[] this->data;
        if(this->data!=NULL) delete[] this->data;
    }
    //void SetOneIni(T*dv=nullptr){
    void SetOneIni(T*dv=NULL){
        Construct();
        this->data=new T[1];
        this->Length=1;
    }
 
    void Assign(ArrayTemplate&obj){
        this->Set(obj.data, obj.Length);
    }//fn
    ArrayTemplate& operator =(ArrayTemplate&obj){//перегруженный оператор =
        Assign(obj);
        return*this;
    }

Или я еще что-то напутал?

@TheCalligrapher · 30.01.2022, 21:56

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

знак & я там поставил, потому что иначе пишет ошибку в main:

Вы что, наугад "знаки &" в программе расставляете?

Ну тогда выбирайте, что вам больше нравится "пишет ошибку в main" или "ошибок не пишет, но программа не работает". Других вариантов нет.

---

Корень проблемы здесь:

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

C++
1
2
3
4
    ArrayTemplate& operator =(ArrayTemplate&obj){
        Assign(obj);
        return*this;
    }

Почему параметр оператора = - неконстантная ссылка?

Где хотя бы один const в вашей программе ("Const" в "Construct" не считается)? Невозможно написать класс в С++ без тщательного применения const везде, где оно нужно. Пока что никаких шансов на жизнь у вашего кода нет даже отдаленно. Все нужно перелопатить с самого начала, с тщательной расстановкой const.

Алексей1153 · 31.01.2022, 07:17

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

Qt, консольное приложение.

здесь нет Qt

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит переходные токи и напряжения на элементах схемы. . . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

Теряется значение во время выполнения return (= и конструктор копирования есть)

Решение