std :: decay一个零长度数组

Question

我正在处理一些遗留的C结构 - 我们有零长度数组。 我认为这是无效的，但我们必须忍受它。 我正在写一个宏，我想使用std :: decay将数组衰减到指针类型。

但如果我有一个零长度数组 -

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

std::decay<decltype(data::key)>不会衰减为指针类型。 我使用它作为函数返回类型，它抱怨 -

GCC错误：

错误：'function'声明为返回数组的函数

如果它的长度> = 1，它工作正常

Answer 1

我们可以让编译器的类型检查器而不是模板替换为我们做衰减：

#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, "");
}