なぜstd :: is_arrayはstd :: arrayに対してfalseを返しますか？

Question

のstd ::配列<>とstd :: IS_ARRAY <>は、両方のC++ 11で導入されたので、これはコンパイルに失敗したことを非常に奇妙なようだ：

#include <array> 
#include <type_traits> 

static_assert(std::is_array<std::array<int,2>>::value); 

がいるかどうかを確認するための簡単な方法はあります何かが配列で、T[N]とstd::array<T,N>の両方の可能性を含んでいますか？それは残念ながらstd::arrayのための専門を提供していません

template<class T> 
struct is_array : std::false_type {}; 

template<class T> 
struct is_array<T[]> : std::true_type {}; 

template<class T, std::size_t N> 
struct is_array<T[N]> : std::true_type {}; 

：

Answer 1

Cppreferenceは、この可能な実装を提供します。あなたがこれを行うことにより、独自のを行うことができます。

template<class T> 
struct is_array : std::is_array<T> {}; 
template<class T, std::size_t N> 
struct is_array<std::array<T, N>> : std::true_type {}; 

Answer 2

ISO/IEC 14882：2011、20.9.4.1条、表47はこれを言う：

• は、テンプレート：テンプレートの構造体IS_ARRAY。

• 条件：Tが配列型である（3.9.2）は、既知または未知の程度の

• コメント：クラステンプレート配列（23.3.2）は、アレイ型ではありません。

したがって、アサーションは失敗するはずです。

@ 0x499602D2の提案通りにis_arrayを特化することはできますが、そうした場合は、標準化された機能の意味を変更しないでください。

Answer 3

std::is_arrayは、T[]またはT[N]のようなタイプの場合にのみ真となるように定義されています。 std::arrayは含まれていません。

std::is_arrayをtrue_typeに変更するか、標準でstd::arrayを指定することはできません。あなたのプログラムを不正な形にし、診断は必要ありません。 std内のタイプを特化する場合、その結果は標準と一致していなければなりません。標準はここでは具体的です。 （また、stdの中の他のテンプレートについては、違法であることが非常に疑わしい）。

自分is_array形質を作成することができます。

は

namespace notstd { 
    template<class T> 
    struct is_array:std::is_array<T>{}; 
    template<class T, std::size_t N> 
    struct is_array<std::array<T,N>>:std::true_type{}; 
    // optional: 
    template<class T> 
    struct is_array<T const>:is_array<T>{}; 
    template<class T> 
    struct is_array<T volatile>:is_array<T>{}; 
    template<class T> 
    struct is_array<T volatile const>:is_array<T>{}; 
} 

その後、Cスタイルの配列またはC++ std::arrayのいずれかを検出するために、他の場所でnotstd::is_array<T>を使用しています。