Реализовать шаблонную версию класса Array

@Rabbit8 · Регистрация: 22.05.2019

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

Реализуйте шаблонную версию класса Array, не полагаясь на то, что для типа T
определен оператор присваивания и конструктор по умолчанию. Конструктор
копирования у типа T есть.

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
#include <cstddef>
 
template <typename T>
class Array
{
    // Список операций:
    //
    // explicit Array(size_t size = 0, const T& value = T())
    //   конструктор класса, который создает
    //   Array размера size, заполненный значениями
    //   value типа T. Считайте что у типа T есть
    //   конструктор, который можно вызвать без
    //   без параметров, либо он ему не нужен.
    //
    // Array(const Array &)
    //   конструктор копирования, который создает
    //   копию параметра. Считайте, что для типа
    //   T определен оператор присваивания.
    //
    // ~Array()
    //   деструктор, если он вам необходим.
    //
    // Array& operator=(...)
    //   оператор присваивания.
    //
    // size_t size() const
    //   возвращает размер массива (количество
    //                              элементов).
    //
    // T& operator[](size_t)
    // const T& operator[](size_t) const
    //   две версии оператора доступа по индексу.
};

Добавлено через 1 час 5 минут
У меня есть код готовый, но в нем не соблюдается выделенное условие. Я не знаю как это исправить.

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
#include <cstddef>
#include <iostream>
 
 
template <typename T>
class Array
{
 
public:
    explicit Array(size_t size = 0, const T& value = T()) : size1(size), data(new T[size]) {
        for (size_t i = 0; i != size1; ++i){
            data[i] = value;
        }
    }
    Array(const Array & array) : size1(array.size1), data(new T[array.size1]) {
        for (size_t i = 0; i != size1; ++i){
            data[i] = array.data[i];
        }
    }
    Array& operator=(const Array & array){
        if (this != &array) {
            delete [] data;
            size1 = array.size1;
            data = new T[size1];
            for (size_t i = 0; i != size1; ++i) {
                data[i] = array.data[i];
            }
        }
        return *this;
    }
 
    size_t size() const {
        return size1;
    }
    T& operator[](size_t i) {
        return data[i];
    }
    const T& operator[](size_t i) const {
        return data[i];
    }
    ~Array() {
        delete[] data;
    }
 
private :
    size_t size1 ;
    T * data ;
};

@oleg-m1973 · 22.05.2019, 16:25

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

Реализуйте шаблонную версию класса Array, не полагаясь на то, что для типа T
определен оператор присваивания и конструктор по умолчанию. Конструктор
копирования у типа T есть.

Это значит, что у тебя не получится сделать data = new T[XXX] - здесь вызывается конструктор по умолчанию

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

C++
1
2
3
4
5
6
7
8
explicit Array(size_t size, const T& value = T()) 
: size1(0)
, data(reinterpret_cast<T *>(new std::byte[sizeof(T) * size]))
{
 
    for (; size1 != size; ++size1)
        new (data + size1) T(value);
}

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

C++
1
2
3
4
5
~Array()
{
    std::destroy_n(data, size1);
    delete[] reinterpret_cast<std::byte *>(data);
}

@eva2326 · 22.05.2019, 20:10

Сообщение от oleg-m1973

explicit Array(size_t size, const T& value = T())

Вас const T& value = T() не смущает?

Rabbit8,

Как вариант:
https://rextester.com/AERTW46609

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
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
#include <iostream>
 
#include <cstddef>
#include <cassert>
#include <iostream>
 
template <typename T> class Array
{
public:
    template<class... Args>
    explicit Array(const size_t cnt, Args&&... args)
        : count(cnt)
        , data() 
    {
        assert(this->size() != 0);
        assert(!this->data); 
            
        const size_t size_block = cnt * sizeof(T);
        this->data = static_cast<T*>(::operator new[](size_block));
            
        for (size_t i = 0; i < cnt; ++i) 
            ::new (this->data + i) T( std::forward<Args>(args)... );
 
        assert(this->data);                        
    }
    
    Array() noexcept
        : count(0)
        , data() 
    {
        assert(this->size() == 0);
        assert(!this->data); 
    }
    
    Array(const Array& array) 
        : count(array.count)
        , data() 
    {
        assert(!this->data);            
        if(this->size() == 0)
            return;
            
        assert(this->size() != 0);
            
        //data = new T[array.count];
            
        const size_t size_block = this->size() * sizeof(T);            
        this->data = static_cast<T*>(::operator new[](size_block));            
            
        assert(this->data);
            
        for (size_t i = 0; i != this->count; ++i)
            data[i] = array.data[i];
 
        assert(this->size()!= 0);            
        assert(this->data);            
    }
    
    Array& operator=(const Array& array)
    {
        if (this != &array) 
        {
            using namespace std;
            Array arr(array);
            swap(*this, arr);
        }
        return *this;
    }
 
    size_t size() const noexcept 
        { return this->count; }
    
    const T& operator[](const size_t i) const noexcept
    {
        assert(i < this->size());
        return data[i];
    }
    
    T& operator[](const size_t i) noexcept
    {
        const auto& me = *this;
        return const_cast<T&>(me[i]);
    }
    
    ~Array() 
    {
        assert(
            (!this->data && this->size() == 0) || 
            ( this->data && this->size() != 0)
        );
        
        const size_t size_block 
            = this->size() * sizeof(T);
        
        for(size_t i = 0; i!= this->count; ++i)
            this->data[i].~T();
        
        ::operator delete[](this->data, size_block);
    }
 
private :
    size_t count;
    T * data;
};
 
 
struct Payload
{
    Payload(const int v, const char*) noexcept
        : value(v) 
    {
        std::cout << "Payload(" << value << ")\n";
    }
    
    ~Payload() 
    {
        std::cout << "~Payload(" << value << ")\n";
    }
    
    Payload(const Payload& rhs) noexcept
        :value(rhs.value)
    {}
    
    int value;
};
 
int main()
{
    {
        // --- убедимся, что пустой массив корректно разрушится
        Array<Payload> empty;
        (void) empty;
    }
    
    {
        Array<Payload> arr(2, 333, "hello");
        (void) arr;
    }
    
    {
        Array<Payload> arr1 (2, 11, "hello");
        Array<Payload> arr2 = arr1;
        (void) arr1;
        (void) arr2;
    }
    
    
    std::cout << "done!\n";    
}

Croessmah · 22.05.2019, 21:07

Ошибочка:

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

C++
1
2
3
4
5
6
7
        this->data = static_cast<T*>(::operator new[](size_block));            
            
        assert(this->data);
            
        for (size_t i = 0; i != this->count; ++i)
            data[i] = array.data[i];//Объекты в data еще не созданы.
            //Нужен placement new или std::uninitialized_copy_n

@oleg-m1973 · 22.05.2019, 21:20

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

Вас const T& value = T() не смущает?

Вообще, смущает (тупо забыл убрать). В данном случае - не слишком. В основном хотел показать, как работать с такими массивами.

Новые блоги и статьи Все статьи Все блоги /
Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.	Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .
Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .

Реализовать шаблонную версию класса Array

Решение