Почему мы не можем автоматически определять возвращаемые типы?

@Fdr15 · Регистрация: 17.09.2021

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

Передо мной стоит очень интересная задача. В проекте используются объекты класса Vtr, данные в котором хранятся в динамическом массиве.

C++
1
 double * ets;

Моя задача заключается в оптимизации используемой памяти, при этом работа с классом Vtr не должна внешне измениться. Я попытался решить задачу следующим образом внутри класса реализовал шаблонный класс Data, в которую и перенес динамически используемую память .
Вот пример используемого кода:

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
#include<iostream>
using namespace std;
 
class Vtr{
protected:
    enum Type{
        int32,
        float64
    };
 
    class AbstractData{
    public:
        virtual ~AbstractData(){};
    };
 
    template <typename T>
    class Data: public AbstractData {
    public:
        T *ets = nullptr;
      Data(int n){
        ets = new T[n];
      };
      ~Data(){
          if(ets)
              delete [] ets;
      }
      T& operator [] (int i) {
          return ets[i];
      }
    };
 
 
    Type type = int32;
    AbstractData *data = nullptr;
    int length = 0;
 
public:
    Vtr(int n = 0, double abd = 0, const Type t = float64){
        this->type = t;
        length = n;
        switch (type) {
        case int32:{
            data = new Data<int32_t>(length);
            for (int i = 0; i < length; i++)
                dynamic_cast<Data<int32_t>*>(data)->ets[i] = abd;
        }
        case float64:{
            data = new Data<float>(length);
            for (int i = 0; i < length; i++)
                dynamic_cast<Data<float>*>(data)->ets[i] = abd;
        }
        }
 
    }
 
    ~Vtr(){
        if(data)
            delete data; //destructor
    }
 
 
    auto & operator () (int i)
    {
        switch (type) {
        case int32:{
            return (*dynamic_cast<Data<int32_t>*>(data))[i];
        }
        case float64:{
            return (*dynamic_cast<Data<float>*>(data))[i]; //  ошибка 'auto' in return type deduced as 'float' here but deduced as 'int' in earlier return statement
        }
        }
    }
};
 
 
int main()
{
    int size = 5;
    Vtr vtr(size, 2.1);
    cout<<vtr(0)<<endl;
    return 0;
}

В принципе такого рода проблему можно решить следующим образом

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
#include<iostream>
using namespace std;
 
template <typename T>
struct Point{
    Point(int in_p){
        p = in_p;
    }
 
    Point& operator()(int in){
        p = in;
        return *this;
    }
    int p = 0;
};
 
class Vtr{
protected:
    enum Type{
        int32,
        float64
    };
 
    class AbstractData{
    public:
        virtual ~AbstractData(){};
    };
 
 
    template <typename T>
    class Data: public AbstractData {
    public:
        T *ets = nullptr;
      Data(int n){
        ets = new T[n];
      };
      ~Data(){
          if(ets)
              delete [] ets;
      }
      T& operator [] (int i) {
          return ets[i];
      }
    };
 
 
    Type type = int32;
    AbstractData *data = nullptr;
    int length = 0;
 
public:
    Vtr(int n = 0, double abd = 0, const Type t = float64){
        this->type = t;
        length = n;
        switch (type) {
        case int32:{
            data = new Data<int32_t>(length);
            for (int i = 0; i < length; i++)
                dynamic_cast<Data<int32_t>*>(data)->ets[i] = abd;
        }
        case float64:{
            data = new Data<double>(length);
            for (int i = 0; i < length; i++)
                dynamic_cast<Data<double>*>(data)->ets[i] = abd;
        }
        }
 
    }
 
    ~Vtr(){
        if(data)
            delete data; //destructor
    }
 
    template <typename T>
    T & operator () (Point<T> p)
    {
        return (*dynamic_cast<Data<T>*>(data))[p.p];
 
    }
};
 
int main()
{
    int size = 5;
    Vtr vtr(size, 2.1);
    Point<double> p(0);
    cout<<vtr(p(0))<<endl;
    return 0;
}

При таком решении легко заметить кучу возможных проблем. Все таки хотелось бы чтобы интерфейс класса Vtr остался прежним. И в моём решении мне не нравится использовании перечисляемого типа данных.
Вообще в идеале хотелось бы получить код в таком духе, но мне кажется что это сказки

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
#include<iostream>
using namespace std;
 
class Vtr{
protected:
    class AbstractData{
    public:
        virtual ~AbstractData(){};
    };
 
    template <typename T>
    class Data: public AbstractData {
    public:
        T *ets = nullptr;
      Data(int n){
        ets = new T[n];
      };
      ~Data(){
          if(ets)
              delete [] ets;
      }
      T& operator [] (int i) {
          return ets[i];
      }
    };
 
    Type type; // ???????
    AbstractData *data = nullptr;
    int length = 0;
 
public:
    template <typename T>
    Vtr(int n = 0, T abd = 0){
 
        this->type = T; //?????
 
        length = n;
        data = new Data<T>(length);
        for (int i = 0; i < length; i++)
            dynamic_cast<Data<T>*>(data)->ets[i] = abd;
    }
 
    ~Vtr(){
        if(data)
            delete data; //destructor
    }
 
    auto & operator () (int i)
    {
        return (*dynamic_cast<Data<type>*>(data))[i];
    }
};
 
int main()
{
    int size = 5;
    Vtr vtr(size, 2.1);
    cout<<vtr(0)<<endl;
    return 0;
}

Байт · 24.09.2021, 23:34

В Qt есть такой класс QVarint
Аналогичные вещи встречаются и в других фреймворках.
Посмотрите в эту сторону

Алексей1153 · 25.09.2021, 07:48

Fdr15, почитай про std::variant

@DrOffset · 28.09.2021, 21:18

Fdr15, все ваши проблемы с кодом от игнорирования (или непонимания) того факта, что типизация у С++ - статическая.

Добавлено через 37 минут
Хранение объектов разных типов в контейнере
Создать объект, который мог бы принимать в себя любой тип данных
Унаследовать функцию с переменным числом параметров

Новые блоги и статьи Все статьи Все блоги /
Доступность команды формы по условию Maks 07.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: сделать доступной кнопку (команда формы "ЗавершитьСписание") при. . .	Уведомление о неверно выбранном значении справочника Maks 06.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "НарядПутевка", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если в документе выбран неверный склад. . .	Установка Qt Creator для C и C++: ставим среду, CMake и MinGW без фреймворка Qt 8Observer8 05.04.2026 Среду разработки Qt Creator можно установить без фреймворка Qt. Есть отдельный репозиторий для этой среды: https:/ / github. com/ qt-creator/ qt-creator, где можно скачать установщик, на вкладке Releases:. . .	AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .
Отображение реквизитов в документе по условию и контроль их заполнения Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеСпецтехники", разработанного в конфигурации КА2. Данный документ берёт данные из другого нетипового документа. . .	Фото всей Земли с борта корабля Orion миссии Artemis II kumehtar 04.04.2026 Это первое подобное фото сделанное человеком за 50 лет. Снимок называют новым вариантом легендарной фотографии «The Blue Marble» 1972 года, сделанной с борта корабля «Аполлон-17». Новое фото. . .	Вывод диалогового окна перед закрытием, если документ не проведён Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать программный контроль на предмет проведения документа. . .	Программный контроль заполнения реквизитов табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: 1. Реализовать контроль заполнения реквизита. . .

Байт Диссидент 27714 / 17332 / 3810 Регистрация: 24.12.2010 Сообщений: 38,978
	24.09.2021, 23:34
	В Qt есть такой класс QVarint Аналогичные вещи встречаются и в других фреймворках. Посмотрите в эту сторону 0

Алексей1153 фрилансер 6466 / 5688 / 1131 Регистрация: 11.10.2019 Сообщений: 15,143
	25.09.2021, 07:48
	Fdr15, почитай про std::variant 0

@DrOffset 19500 / 10105 / 2461 Регистрация: 30.01.2014 Сообщений: 17,818
	28.09.2021, 21:18
	Fdr15, все ваши проблемы с кодом от игнорирования (или непонимания) того факта, что типизация у С++ - статическая. Добавлено через 37 минут Хранение объектов разных типов в контейнере Создать объект, который мог бы принимать в себя любой тип данных Унаследовать функцию с переменным числом параметров 0