下記のコードで1.の方はコンパイルが通りますが、2.の方はコンパイルエラーとなります。
普通に考えれば推論可能な気がしますが、これはコンパイラのバグでしょうか?
それともそもそもインナークラスとアウタークラスのパラメータパックに関しては推論が働かないのでしょうか?
OSはWindows、コンパイラはMSVCを利用しています。
エラーメッセージ
テンプレートパラメータ'U'はテンプレートパラメータパックの後に続いており
'func'の関数パラメータから推測できないため、使用できません
ソースコード
#include <type_traits>
// 1.複数可変長templateパラメータ関数の推論
template<typename... T> class Class {
};
template<typename... T1, typename... T2>
void func(const Class<T1...>&, const Class<T2...>&) {
}
// 2.インナークラスを伴う複数可変長templateパラメータ関数の推論
template<typename... T> class Outer {
public:
template<typename... U> class Inner {
};
};
template<typename... T, typename... U>
void func(const typename Outer<T...>::template Inner<U...>&) { // error!
}
int main() {
// 1.
Class<int, int> a, b;
func(a, b);
// 2.
Outer<int, int>::Inner<int, int> c;
func(c); // error!
return 0;
}
上記のコードで1.の方はコンパイルが通りますが、2.の方はコンパイルエラーとなります。
エラーメッセージには、「テンプレートパラメータ'U'はテンプレートパラメータパックの後に続いており'func'の関数パラメータから推測できないため、使用できません」と表示されますが、普通に考えれば推論可能な気がしてます。
これは、コンパイラのバグでしょうか?
それともそもそもインナークラスとアウタークラスのパラメータパックに関しては推論が働かないのでしょうか?
OSはWindows、コンパイラはMSVCを利用しています。