Как определить, является ли переменная встроенным массивом?

@meJevin · Регистрация: 18.11.2015

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

Здравствуйте, прошу прощения за странное название темы, никак в голову ничего не влезет путного.

Сразу к делу.

Есть функция шаблонная. В ней я бы хотел определить, является ли тип параметра встроенным массивом чего-либо.

Вот:

C++
1
2
3
4
5
6
7
8
9
10
template <typename Type>
void defaultDelFunc(Type* ptr)
{
    if (ptr == nullptr)
    {
        return;
    }
 
    delete ptr;
}

Я хочу вместо delete ptr; иметь еще возможность delete[] ptr;, но не знаю, чего сделать, чтобы выявить, указывает ли ptr на массив Type или просто на переменную.

Короче, мне надо отличать Type[]* от Type*.

Я думал об извлечении базового класса у ptr и сравнением typeid() извлеченного типа с typeid(Type[]), но не знаю, как это даже сделать.

Есть ли для моих целей что-нибудь удобное и (желательно) элегантное? Если есть, напишите, пожалуйста.

@daslex · 01.05.2017, 02:21

Да. Я фигню предложил.

@meJevin · 01.05.2017, 02:25 **[ТС]**

Сообщение от Max Dark

а так он вызовет delete ptr;

Хм, значит я где-то невнимательно прочитал. Я думал они сами определяют, массив или нет. Спасибо

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

Сообщение от Max Dark

а так он вызовет delete ptr;

Но ведь будет утечка памяти в таком случае, верно?

@hoggy · 01.05.2017, 02:26

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

Есть ли информация по поводу того, что у них там? Очень интересно.

да. есть.
при условии, что изначальный захват ресурсов
был выполнен руками std::make_shared
в этом случае будет задействан паттерн type erasure.
смарт будет "помнить" настоящий тип захваченного ресурса.

http://rextester.com/DXYLI50335

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
#include <iostream>
#include <memory>
 
 
struct base
{
    ~base(){} // <--- забыли сделать вирт. диструктор
    
    void virtual foo()const = 0;
};
 
 
struct der: base
{
    ~der(){ std::cout << "der::~der();\n"; }
    
    void virtual foo()const { std::cout << "der::foo();\n"; }
};
 
int main()
{
    std::shared_ptr<base> smart = std::make_shared<der>();
    
    //
    // несмотря на то, что в базовом классе диструктор не виртуальный
    // тем не менее смарт-поинтер кррректно 
    // запустит деструктор наследника при разрушении
    //
    // он может это сделать благодаря тому
    // что в момент захвата ресурса
    // смарт "запомнил" фактический тип наследника
    //
    
}

@meJevin · 01.05.2017, 02:28 **[ТС]**

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

Но ведь будет утечка памяти в таком случае, верно?

Сейчас проверил, утечки нету, похоже. Странно, мне казалось delete просто освободит память, выделенную под одну int, а другие оставит. delete[] же под все.

@hoggy · 01.05.2017, 02:29

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

delete 0 аж мурашки по коже) Это ж UB

это не UB.

ваши проверки:

C++
1
2
if(!p)
    delete p;

избыточны.
можно просто сделать delete p;
результат будет тот же.
но без лишней проверки.

@meJevin · 01.05.2017, 02:49 **[ТС]**

hoggy, да, я понял. Я перепутал удаление ничего с удалением указателя, указывающего на уже удаленную память.

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

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

//
* * // несмотря на то, что в базовом классе диструктор не виртуальный
* * // тем не менее смарт-поинтер кррректно
* * // запустит деструктор наследника при разрушении
* * //

фига

@GoldenId · 04.05.2017, 12:42

В этой теме столько говорилось, что определить, является ли тип встроенным массивом невозможно, а как же type_trait is_array?

@hoggy · 04.05.2017, 12:45

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

а как же type_trait is_array?

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

void defaultDelFunc(Type* ptr)

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

Type* ptr

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

Type*

никак.

Новые блоги и статьи Все статьи Все блоги /
Оказывается, Unreal Engine позволяет качество на порядки выше, чем было в Lineedge Etyuhibosecyu 05.07.2026 Жаль, конечно, что я не узнал об этом, пока Lineedge существовала, а то бы Noname2331 написал, что волки превращаются в пиксельную кашу, а я бы его попросил скачать какую-нибудь бриллиантовую или Pro. . .	Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .	Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .	Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .
В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .	интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .	Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .	Сам себя обучал rest api anaschu 02.07.2026 Педагогический лайфхак: Почему чистый REST API для ученика намного круче, чем готовые библиотеки Когда мы отказались от капризного JAR-файла AnyLogic и переписали код на стандартный HttpClient,. . .

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	01.05.2017, 02:21
	Да. Я фигню предложил. 0

@GoldenId 142 / 143 / 64 Регистрация: 11.11.2010 Сообщений: 877 Записей в блоге: 10
	04.05.2017, 12:42
	В этой теме столько говорилось, что определить, является ли тип встроенным массивом невозможно, а как же type_trait is_array? 0