Шаблон шаблона с аргументом контейнера в C ++ 17 ⇐ C++

[Anonymous]

Чтобы создать шаблон класса C ++, который принимает стандартный контейнер в качестве аргумента шаблона, я бы сделал что -то вроде < /p>
#include

template class Test {
C container;
};

void f() {
Test c;
}
< /code>
Это работает в GCC даже со стандартным установленным в C ++ 98 < /p>
Если я установите стандарт как минимум C ++ 17. Следующий более простой код также компилируется с использованием GCC < /p>
#include

template class Test {
C container;
};

void f() {
Test c;
}
< /code>
С настройками Pre-C ++ 17 это не может компилировать с такой ошибкой, как < /p>
:8:21: error: type/value mismatch at argument 1 in template parameter list for 'template class Test'
8 | Test c;
| ^
:8:21: note: expected a template of type 'template class C', got 'template class std::vector'
< /code>
MSVC, похоже, согласен с GCC по этому поводу, он принимает вторую версию, если я установите стандарт C ++ 17. Clang, с другой стороны, принимает оба этих фрагмента, независимо от того, какой стандарт я указываю. Какой компилятор здесь прав? И если GCC и MSVC верны, какая функция C ++ 17 делает вышеуказанный код работать?

Подробнее здесь: https://stackoverflow.com/questions/797 ... ent-in-c17