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

@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[]), но не знаю, как это даже сделать.

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

oldnewyear · 01.05.2017, 01:44

Это никак нельзя определить

@meJevin · 01.05.2017, 01:55 **[ТС]**

oldnewyear, не может быть, умные указатели же могут.

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
int main()
{
    std::shared_ptr<int> ptr1(new int[10]{ 10,2,43,123 });
    std::shared_ptr<int> ptr2(new int(99));
 
    for (size_t i = 0; i < 10; ++i)
    {
        std::cout << *(ptr1.get() + i) << " ";
    }
    std::cout << "\n\n";
 
    std::cout << *ptr2 << std::endl;
 
    std::cin.get();
}
// Удаляются ptr1 и ptr2
// d-tor ptr1 вызывает delete[]
// d-tor ptr2 вызывает delete

nd2 · 01.05.2017, 01:59

Задача сродни: определить размер выделенной памяти через указатель.

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

Или умные указатели что-то ультра-трудное используют, чтобы правильный delete вызвать..

@daslex · 01.05.2017, 02:03

Как вариант решения:

C++
1
2
3
delete[]ptr;
        ptr = NULL;
        delete ptr;

Если первый - не массив и по каким-то причинам delete[] не сработает, то второй delete его обязательно добьёт.
Но если это изначально не массив, применение delete [] к не массиву способно зажечь холивар.

Может это и вне закона, но работает.

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

nd2, я помню, кстати, бегал по форуму и нашел тему, где кто-то пытался это сделать и у него даже что-то получилось. Хотя, возможно, у меня что-то перемешалось в голове, и я не про то...

nd2 · 01.05.2017, 02:06

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

Если первый - не массив и по каким-то причинам delete[] не сработает, то

То это - UB.

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

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

я помню, кстати, бегал по форуму и нашел тему, где кто-то пытался это сделать и у него даже что-то получилось.

Стандартных способов, насколько знаю, нет.

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

daslex, работает, спасибо. Но у меня от delete 0 аж мурашки по коже) Это ж UB

nd2 · 01.05.2017, 02:08

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

Или умные указатели что-то ультра-трудное используют, чтобы правильный delete вызвать..

Умный указатель - это же не просто указатель, как у тебя в шаблоне.

@daslex · 01.05.2017, 02:08

delete NULL не UB
UB - это delete[] к не массиву

nd2 · 01.05.2017, 02:09

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

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

Это, как раз, не UB.

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

работает, спасибо.

На то оно и UB, может работать, может не работать.

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

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

Умный указатель - это же не просто указатель, как у тебя в шаблоне.

То есть у умных указателей намного все труднее под капотом, чем просто указатель но шаблонный параметр и несколько других штук (типа счетчика, как у shared_ptr)?

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

@daslex · 01.05.2017, 02:12

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

Это, как раз, не UB.

Значит мой пример вообще не UB.

Указатели, указывающие вникуда, удалять можно бесконечное число раз, это не UB.

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

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

Это, как раз, не UB.

Да, перепутал, пардон. Удалить можно указатель ни на что. А пытаться освободить уже освобожденную - UB.

Добавлено через 44 секунды
$5.3.5/2 - "[...]In either alternative, the value of the operand of delete may be a null pointer value.[...'"

@hoggy · 01.05.2017, 02:15

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

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

нет.
не элегантного тоже нет.
на языке с++ подобное реализовать не возможно.

@Max Dark · 01.05.2017, 02:15

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

d-tor ptr1 вызывает delete[]

... только в том случае, если при создании shared_ptr указали "deleter".
http://en.cppreference.com/w/c... shared_ptr

C++
1
std::shared_ptr<int> sh5(new int[n], [](auto p) { delete[] p; });

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

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

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

то второй delete его обязательно добьёт.

Немного запутался, если честно. Delete[] ptr - в любом случае освободит, но если ptr указывает не на массив - UB. Что же второй delete добивать будет, когда ptr == 0?

@hoggy · 01.05.2017, 02:17

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

Что же второй delete добивать будет, когда ptr == 0?

ничего.
нулевой указатель будет проигнорирован.

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

Max Dark, да, про deleter'ы знаю, спасибо.

Еще вопрос, почему мой компьютер не взорвался после этого:

C++
1
2
3
4
5
6
7
8
int main()
{
    std::shared_ptr<int> sh5(new int[20], [](auto p) { if (p) delete p; });
 
    sh5.~shared_ptr();
 
    std::cin.get();
}

Новые блоги и статьи Все статьи Все блоги /
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. На борту пять. . .

oldnewyear 440 / 432 / 159 Регистрация: 21.05.2016 Сообщений: 1,338
	01.05.2017, 01:44
	Это никак нельзя определить 0

nd2 3438 / 2817 / 1249 Регистрация: 29.01.2016 Сообщений: 9,427
	01.05.2017, 01:59
	Задача сродни: определить размер выделенной памяти через указатель. 1

@meJevin 161 / 153 / 92 Регистрация: 18.11.2015 Сообщений: 677
	01.05.2017, 02:02 [ТС]
	Или умные указатели что-то ультра-трудное используют, чтобы правильный delete вызвать.. 0

@meJevin 161 / 153 / 92 Регистрация: 18.11.2015 Сообщений: 677
	01.05.2017, 02:04 [ТС]
	nd2, я помню, кстати, бегал по форуму и нашел тему, где кто-то пытался это сделать и у него даже что-то получилось. Хотя, возможно, у меня что-то перемешалось в голове, и я не про то... 0

@meJevin 161 / 153 / 92 Регистрация: 18.11.2015 Сообщений: 677
	01.05.2017, 02:07 [ТС]
	daslex, работает, спасибо. Но у меня от delete 0 аж мурашки по коже) Это ж UB 0

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	01.05.2017, 02:08
	delete NULL не UB UB - это delete[] к не массиву 0

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

Решение