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

@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 минут
Хранение объектов разных типов в контейнере
Создать объект, который мог бы принимать в себя любой тип данных
Унаследовать функцию с переменным числом параметров

Новые блоги и статьи Все статьи Все блоги /
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .
Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .

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

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

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