配列サイズの妥当性に基づく専門化

配列サイズの妥当性に基づいて特化しようとしています：

// base template
template<int p, typename T = void>
struct absolute {
    operator int () const { return 0; }
};

// positive case template
template<int p>
struct absolute<p, typename std::void_t<int[p]>> {
    operator int () const { return p; }
};

// negative case template
template<int p>
struct absolute<p, typename std::void_t<int[-p]>> {
    operator int () const { return -p; }
};


int main() {
    std::cout << absolute<5>() << std::endl;
    std::cout << absolute<-5>() << std::endl;
    std::cout << absolute<0>() << std::endl;
}

問題＃1：

上記のコードはgccでうまく動作しますが、clangでコンパイルできません。

Clangがエラーを生成：テンプレート構造体 'absolute'の再定義

誰が正しいのですか？

問題＃2：

gccとclangの両方（clangをゲームに戻すために否定的な特殊化を削除する場合）の両方でabsolute<0>()、ベーステンプレートを選択する理由が明確ではありません。何も間違ってありますとint[0]してだけでなく、std::void_t<int[0]>より専門ているように見えるそれは：

// base template
template<int p, typename T = void>
struct absolute {
    operator int () const { return -1; }
};

// positive case template
template<int p>
struct absolute<p, typename std::void_t<int[p]>> {
    operator int () const { return p; }
};

int main() {
    std::cout << absolute<5>() << std::endl; // 5
    std::cout << absolute<0>() << std::endl; // -1, why not 0?
}

そして...基本テンプレートが実装なしで宣言されている場合：

// base template
template<int p, typename T = void>
struct absolute;

gccとclangの両方がコンパイルに失敗し、呼び出しで不完全な型を無効に使用したことを報告しました：absolute<0>()。特殊なケースに当てはまるようですが。

何故ですか？

Clangの再定義エラーについては、この質問を参照してください。

元々、などのエイリアステンプレートのテンプレートIDはstd::void_t、引数の置換エラーをチェックせずに、単にエイリアスタイプで置き換えられていました。これは、CWG問題1558で変更されました。これにより、テンプレートの引数で置換の失敗を要求するように標準が変更されただけですが、エイリアスを置き換えた後に同等となる2つのテンプレートを同等と見なす必要があるかどうかは明確になりません。Clangはそれらを同等と見なしていますが、GCCはそうではありません。これは、オープンCWG問題1980です。

-pedantic-errorsGCCは、のために、すでにハードエラーを報告します

std::cout << absolute<5>() << std::endl;

専門分野で

template<int p>
struct absolute<p, typename std::void_t<int[-p]>>

おそらく配列サイズは定数式ではないからです。配列のサイズは、型の変換された定数式でなければなりませんstd::size_t。変換された定数式は、非ナロー変換のみを使用できます。のは本当である、それはそう-pとp = 5、変換のstd::size_t種類作り、定数式ではないint[-p]病気-形成を、私はそれが置換故障ではなく、ハードエラーの原因となるべきだと思います。C ++ 17標準（ドラフトN4659）の[temp.deduct / 8]は次のように述べています。

置換の結果、無効な型または式になる場合、型の推定は失敗します。無効な型または式は、置換された引数を使用して記述された場合、診断が必要で、形式が正しくないものです。

これはここでも当てはまります。引用に続く非規範的な例には、置換の失敗の例として、負の配列サイズも含まれています。

absolute<-5>()GCCが同等のエラーを報告しないのは特に奇妙です

template<int p>
struct absolute<p, typename std::void_t<int[p]>>

特殊化。ここでint[p]評価されint[-5]ますが、変換された定数式のサイズもありません。

absolute<0>()配列サイズはゼロより大きくする必要があるため、プライマリテンプレートを選択し、部分的な特殊化を両方とも実行不可能にします。サイズがゼロの配列は、-pedantic-errorsGCCおよびClangで無効にできる言語拡張です。