C++ std::disjunction の定義について

Question

Visual Studio 2019 Version 16.11.2 を用いて、std::disjunction の定義について調べていたら、以下のようになっていました。
一般的によく知られてるヘッダを長々と書くと分かりにくいと思いますので、std::integral_constant の定義は省略しています。

template <bool _Val>
using bool_constant = integral_constant<bool, _Val>;
using true_type  = bool_constant<true>;
using false_type = bool_constant<false>;


template <bool _First_value, class _First, class... _Rest>
struct _Disjunction { using type = _First; };

template <class _False, class _Next, class... _Rest>
struct _Disjunction<false, _False, _Next, _Rest...> {
    using type = typename _Disjunction<_Next::value, _Next, _Rest...>::type;
};


template <class... _Traits>
struct disjunction : false_type {};

template <class _First, class... _Rest>
struct disjunction<_First, _Rest...> : _Disjunction<_First::value, _First, _Rest...>::type {};

上記の動作は理解できるのですが、私は template の知識が浅いため、最後の４行にある disjunction の定義を以下のようにすると、どのような不都合があるのか思いつきませんでした。

template <class _First, class... _Rest>
struct disjunction : _Disjunction<_First::value, _First, _Rest...>::type {};

お手数をお掛けしてすみませんが、ご教授くださると大変ありがたいです。どうぞ宜しくお願いいたします。

Answer 1

最後の４行にある disjunction の定義を以下のようにすると、どのような不都合があるのか

該当行がクラステンプレートdisjunctionの 再宣言 とみなされてしまい、1回目のプライマリ・クラステンプレート宣言template<class... _Traits> struct disjunctionとはテンプレートパラメータ宣言が一致しないためコンパイルエラーを引き起こします。
Demo: https://wandbox.org/permlink/c3DAaApNFjOXaVHk

2回目のdisjunctionがテンプレート特殊化であることを示すために、disjunction<〜>の形で宣言する必要があります。

template <class... _Traits>
struct disjunction;  // プライマリテンプレート(A)

template <class _First, class... _Rest>
struct disjunction<_First, _Rest...>;  // (A)の特殊化

Comments

[KN2018]

丁寧に回答を寄せてくださり、とてもありがたく思っております。
私の知識が浅いため、どのように質問をすれば適切に伝わるか分からず、お手数をお掛けしてすみません。
std::disjunction の４行の定義を、２行に縮めるとどのようなまずいことがあるのかな？、ということが知りたいことでした。
２行に縮めたバージョンを利用して、VS2019 にて利用しているのですが、宣言のみのプライマリテンプレートがなくてもコンパイルできている状態です。
やはり、元の４行の形で書かないといろいろまずいことが発生するのかな？という技術的な好奇心もあり、自分で書き換えたテンプレートを用いていろいろ書いてみている状態です。
今の所、actorbug さんに指摘されたこと以外では不具合は見つかっていないのですが、お手数をお掛けしてすみませんが、もし、不具合が発生することがあるならば、ご教授くださると大変助かります。
技術的な好奇心が先走っていて、自分の技術が追いついておらず申し訳ありませんが、どうぞ宜しくお願いいたします。
回答を書いてくださる時間を割いてくださり、本当にありがとうございました。

[yohhoy]

> std::disjunction の４行の定義を、２行に縮めるとどのようなまずいことがあるのかな？
私が質問を読み違えていたようです。

直接的な問題は std::disjunction<> （テンプレート引数ゼロ）がコンパイルエラーになることのみです。
https://cpprefjp.github.io/reference/type_traits/disjunction.html
C++標準ライブラリ仕様では、テンプレート引数ゼロ＝false_type となることを要求しています。

[KN2018]

丁寧なご回答をくださり、大変ありがとうございました。
標準ライブラリの仕様など、自分で気付けていなかった点などを教えてくださり、とても勉強になりました。

Answer 2

その定義だと、disjunction<>がエラーになります。

Comments

[KN2018]

素早い回答をくださり、大変ありがとうございます！
もし、disjunction<> を使わないとしたら、まったく不都合はないのでしょうか？
標準ライブラリを作成する場合、disjunction<> の考慮が必要になることは理解できました。
いま、template に関して学習をしていまして、自分用の template を作るとしたらどうなるかな、と考えている状態です。ささいなことでも気をつけるべきことがあれば是非知りたいと思っています。
もし、何かありましたら、お時間をとってすみませんが、ご教授くださると大変うれしいです。
回答をくださり、本当にありがとうございました。

[actorbug]

不都合はないとは思いますが、自分も詳しくはないので、何か見落としがあるかもしれません。