列挙宣言のポイント

Question

列挙型の宣言のポイントは何ですか？それは列挙型の名前の直後ですか？いずれかのその列挙指定子（7.2）またはその最初に

が

列挙の宣言のポイントは 識別子直後である（もしあれば）：私は、標準C++ 14（n4296）§3.3.2/ 3を見最初

をいずれか早い方 不透明-列挙型宣言（7.2）、しかし、私はそれを再現しようとします。

template <class T> 
struct CL 
{ 
    using UndType = int; 
}; 

enum class E: CL<E>::UndType; //error: E is undefined 

列挙Eため列挙ベースは、識別子の後に配置され、表示されなければならないが、私は、すべてのコンパイラのエラーを持っています。

Answer 1

enum class E : CL<E>::UndType; 

いくつかの現在の実装（テストされたclang ++、g ++、MSVC）では有効な宣言として受け入れられません。彼らは、まだ完成していないタイプのEを受け入れていません。enum-baseCL<E>::UndTypeです。テストされた実装で与えられたエラーは、Eがであり、その時点でであることが宣言されています。彼らはenum-baseの終わりに宣言のポイントを置くようですが、完了したら宣言したものとみなします。

仕様を読むとき。

§14.3.1/ 2テンプレート型引数

[注：テンプレート型引数は、不完全型（3.9）であってもよいです。 - エンドノート]

そして

§7.2/ 6列挙宣言

基底型固定されている宣言のその点から不完全型で列挙（3.3.2） enum-base（存在する場合）の直後まで、完全な型になります。

コンパイル可能ですか？ CRTP実装の場合と同様です。

これは（すなわち、enum class E : CL<E>::UndType;をコンパイルできなかった）が意図か、それがユースケースとみなされたかどうかは確かです。この仕様から、不透明なenum宣言にはいくつかの "特別な"扱いが与えられています。その基底型とそれが整数型でなければならないという要件。

おそらくコードはCWG#1482の解像度でとコンパイルできるはずです。

---

現在の回避策は...

これは、

enum class E; // default underlying type is int 

最小限の宣言です。

不透明宣言は、次のいずれかです。

enum class E : int; // int base 

以下は完全な定義（列挙子を含む）です。

enum class E : int {/*...*/}; 

また、クラステンプレートを使用するには、別のタイプ（おそらくvoid）も使用できます。

enum class E : CL<void>::UndType;