std :: decay массив нулевой длины

Question

std :: decay массив нулевой длины

Я имею дело с некоторыми устаревшими структурами C — где у нас есть массив нулевой длины. Я думаю, что это не действительно, но мы должны жить с этим.
Я писал макрос и хочу преобразовать массив в тип указателя, используя std :: decay.

Но если у меня есть массив нулевой длины —

struct data {
key[0]; <<
};

std::decay<decltype(data::key)> не распадается на тип указателя. Я использую это как тип возвращаемого значения функции, и он жалуется —

Ошибка GCC:

ошибка: функция, объявленная как функция, возвращающая массив

Это работает нормально, если его массив длины> = 1

3

arrays c++decay

Решение

Другие решения

Других решений пока нет …

Источник

Accepted Answer

Мы могли бы позволить программе проверки типов компилятора вместо подстановки шаблона сделать за нас распад:

#include <type_traits>

template <typename T>
T* as_ptr(T* x) { return x; }

template <typename T>
using DecayToPointer = decltype(as_ptr(std::declval<T>()));int main() {
static_assert(std::is_same<DecayToPointer<int[0]>, int*>::value, "");
static_assert(std::is_same<DecayToPointer<int[1]>, int*>::value, "");
static_assert(std::is_same<DecayToPointer<int[]>, int*>::value, "");
}

0