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

@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*

никак.

Новые блоги и статьи Все статьи Все блоги /
За какое время ИИ может подобрать пароль по хешу (рассказывает Джемени ИИ) zorxor 30.10.2026 Расскажи, Джемени, если известен хэш МД5, например, за сколько ИИ сможет подобрать соответствующий пароль? Искусственный интеллект (ИИ) может подобрать простой или средний по сложности пароль по. . .	Кто убил Suno? Почему наше солнышко погасло? (диалог с ИИ Джемени) zorxor 30.10.2026 Как убивали Suno. Хронология. «Убийство» музыкальной нейросети Suno — это затяжной процесс, в котором технологический хайп стартапа разбился о жесткую реальность судебных исков от гигантов. . .	Генератор паролей (вариант №2) Maks 30.10.2026 Обновленная версия ранее созданной обработки. Добавлены следующие реквизиты типа Булево: - Буквы; - Цифры; - Символы. Изменена логика команды "Сгенерировать" и процедуры "ПриОткрытии":. . .	Генератор паролей (вариант №1) Maks 29.10.2026 Реализация из решения ниже выполнена исключительно по моей инициативе, дабы облегчить себе работу в создании паролей для администрируемых мною сервисов и пользователей. Самым главным критерием для. . .
Установка ChatGPT (Codex) на Windows без использования Microsoft Store Fabien159 28.10.2026 Здравствуйте всем читающим! Опишу процесс установки ChatGPT (Codex) на Windows, если по каким-то причинам у вас не получается устанавить его через Microsoft Store. И так: 1. Скачиваем с. . .	Программное добавление префикса в нумерацию документов Maks 27.10.2026 Реализация из решения ниже выполнена в самописной конфигурации на БСП (помощь начинающему коллеге). Задача: Программно добавить префикс в нумерацию документов. Решение: В модуле объекта. . .	После закрытия оутлука продолжает висеть процесс в диспетчере задач Maks 27.10.2026 С недавнего времени в продакшене возникла проблема: при закрытии оутлука в диспетчере задач продолжал висеть процесс outlook. exe. Проблема возникла после установки MS Office 2021 LTSC на машинах, под. . .	Baragoz - DPS/HPS бот для WoW 3.3.5a, многоязычный AmbA 26.10.2026 Хотите ещё ботов? У меня есть один! А я пока отдохну от него. https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=12062&stc=1&d=1793007952 Инструкция внутри. https:/ / youtu. be/ VpfFZSUDGnQ. . .

@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