std :: decay長さゼロの配列

Question

私は長さがゼロの配列を持つレガシーC構造を扱っています。私はそれが有効ではないと思うが、我々はそれと一緒に生きなければならない。 私はマクロを書いていましたが、std :: decayを使って配列をポインタ型に崩壊したいのです。

しかし、私は長さ0の配列がある場合 - ポインタ型へ

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

std::decay<decltype(data::key)> doesntの崩壊を。私は、関数の戻り値の型としてこれを使用しています、そして、それは不平を言う -

GCCエラー：

error: ‘function’ declared as function returning an array

を長さ> = 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, ""); 
}