К примеру есть такой шаблон:
template <typename ValueType, template <typename> typename Container>
void foo(const Container<ValueType> &container) {
std::cout << "hello" << std::endl;
}
в котором один из шаблонных параметром и сам является шаблоном. Насколько мне известно, это вполне валидная конструкция. А теперь сделаем небольшой пример:
// main.cpp
#include <cstdlib>
#include <vector>
template <typename ValueType, template <typename> typename Container>
void foo(const Container<ValueType> &container) {
}
int main() {
std::vector<int> tmp;
foo(tmp);
return EXIT_SUCCESS;
}
Данный пример без проблем компилируется с помощью gcc-8.3.0
, однако не компилируется с помощью clang-9.0.1
, который выдает следующую ошибку:
candidate template ignored: substitution failure [with ValueType = int]:
template template argument has different template parameters than its
corresponding template template parameter
void foo(const Container<ValueType> &container) {
^
Почему так происходит? Это баг?