問題タブ [partial-ordering]

私はC++ 11可変引数テンプレートを学習しており、テンプレート構造体を作成して、特定のリストの最大数を計算し、試しました:

しかし、g ++は不平を言います:

事前に簡単な宣言を追加することで実行できます。

上記の最初のテンプレートを次のように変更します。

私は cppreference: https://en.cppreference.com/w/cpp/language/partial_specialization#Partial_orderingを参照しまし たが、私の場合の有用な説明が見つかりません。

max<a>この問題は、テンプレート パラメータが 1 つしかない最後のテンプレート ( ) が原因である可能性があります。これは、プライマリ テンプレートの特別なバージョンではありません。

だから私の質問は：

max<a>マッチングできない理由は？これを扱う規則や基準はありますか？

================================================== ===============

わかりました、次のような C++ 標準 (文書番号 N4659) を見つけました。

[ 注: クラス テンプレートの部分的な特殊化は、プライマリ クラス テンプレートを検索し、そのテンプレートのすべての部分的な特殊化を検討することによって検出されます。using 宣言がクラス テンプレートに名前を付ける場合、using 宣言の後に導入された部分的な特殊化は、プライマリ テンプレートが表示されるため、効果的に表示されます (17.5.5)。— エンドノート]

したがって、通常のテンプレートから特殊化されていない形式の表現を生成できる場合もありますが、ベース/プライマリ テンプレートから特殊化されていない部分的に特殊化されたテンプレートはエラーと見なされると思います。

これらの部分的な順序付け規則について混乱しています。ここにいくつかの引用があります: [temp.deduct.partial]/5

部分的な順序付けが行われる前に、部分的な順序付けに使用される型に対して特定の変換が実行されます。

• が参照型の場合Pは、参照される型にP置き換えられます。

• が参照型の場合Aは、参照される型にA置き換えられます。

[臨時控除部分]/6

と の両方が参照型であった場合P(A上記の型に置き換えられる前)、2 つの型 (存在する場合) のどちらが他方よりも cv 修飾されているかを判断します。それ以外の場合、部分的な順序付けのために、型は同等に cv 修飾されていると見なされます。この判定結果を以下に使用する。

[臨時控除部分]/7

最上位の cv 修飾子をすべて削除します。

• Pが cv 修飾された型である場合、 の cv 修飾Pされていないバージョンに置き換えられPます。

• Aが cv 修飾された型である場合、 の cv 修飾Aされていないバージョンに置き換えられAます。

まず、 と の両方void show(T&)が左辺値void show(T const&)を渡すことで呼び出される可能性があるintため、半順序規則を使用して、どちらの関数がより一致するかを判断する必要があります。次に、上記の引用に従って、いくつかの変換を行います。ステップ1：

ステップ2：

#5 => #6、#6 => #5、演繹は両方向で成功します。次に、次のルールが機能します: [temp.deduct.partial]/9

特定の型について、演繹が両方向で成功し (つまり、上記の変換後に型が同一である)、両方が参照型Pで Aあった場合 (上記の型に置き換えられる前):

• 引数テンプレートの型が左辺値参照で、パラメーター テンプレートの型がそうでない場合、パラメーターの型は少なくとも引数の型と同じくらい特殊化されているとは見なされません。

• それ以外の場合、引数テンプレートの型がパラメーター テンプレートの型よりも cv 修飾されている場合 (上記のように)、パラメーターの型は少なくとも引数の型と同じくらい特殊化されているとは見なされません。

その#4ため、より専門的#3です。指定された値に対してa、#2関数を呼び出す必要がありますが、実際には#1関数が呼び出されます。なんで？私の理解に何か問題がありますか？