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

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

никак.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11680&d=1772460536 Одним из. . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .
SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .

@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