部分特殊化のマッチングはどのように行われているのでしょうか?
例えば次のコードが何故コンパイルできないのかわかりません。
$ clang -v
clang version 9.0.0-2~ubuntu18.04.2 (tags/RELEASE_900/final)
Target: x86_64-pc-linux-gnu
template <bool, typename T>
struct hoge {};
template <bool, typename T>
struct hoge<true, T>
{};
int main()
{
hoge<true, int> h;
(void)h;
}
error: class template partial specialization contains a template parameter that cannot be deduced;
this partial specialization will never be used
マッチすることがないという旨のエラーのようです。
↓のようにすればコンパイルはできるのですが、↑のコードでも上手くいきそうな気がしてしまいます。
template <bool, typename T>
struct hoge {};
template <typename T>
struct hoge<true, T>
{};
int main()
{
hoge<true, int> h;
(void)h;
}
C++11のドラフトには次のようにありましたが、関数テンプレートの実引数推定と同様の方法で決定されるのでしょうか?
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3337.pdf
14.5.5.1 Matching of class template partial specializations
When a class template is used in a context that requires an instantiation of the class, it is necessary to determine whether the instantiation is to be generated using the primary template or one of the partial specializations. This is done by matching the template arguments of the class template specialization with the template argument lists of the partial specializations.
— If exactly one matching specialization is found, the instantiation is generated from that specialization.
— If more than one matching specialization is found, the partial order rules (14.5.5.2) are used to determine whether one of the specializations is more specialized than the others. If none of the specializations is more specialized than all of the other matching specializations, then the use of the class template is ambiguous and the program is ill-formed.
— If no matches are found, the instantiation is generated from the primary template.
A partial specialization matches a given actual template argument list if the template arguments of the partial specialization can be deduced from the actual template argument list (14.8.2).
その場合、どうやってクラステンプレートを関数テンプレートと同様に評価するのか、上記コードの例の部分特殊化のテンプレート実引数true
はどのような扱いになるのかなど、具体的な定義はどこかに書いてあるのでしょうか?
14.5.5.2 Partial ordering of class template specializations
のexampleでは、
template<int I, int J> void f(X<I, J, int>); // A
template<int I> void f(X<I, I, int>); // B
のように、クラスを引数に取る関数を仮定していましたが、これは順位付けをするための方法として記載されているようで、マッチングにもこれが適用されるのか判断がつきませんでした。
また、仮にこの方法で評価する場合でも、次のコードはコンパイルできてしまいました。(このコードが仕様の解釈として正しいか分かりませんが)
template <bool, typename T>
class X {};
template <bool, typename T>
void f(X<true, T>) {};
int main()
{
X<true, int> x;
f<true, int>(x);
}
よろしくお願いします。