Передача вложенного класса шаблона в качестве аргумента шаблона в C++ [дубликат] ⇐ C++

[Anonymous]

Я написал такой код:

Код: Выделить всё

#include 

template<
template
class SumPolicy
>
int Function(){
typedef SumPolicy P;

return P::get();
}

template
class Container{
public:
template
class ImplPolicy{
public:
static T get(){
return X + N;
}
};
};

template
void TestFunc(){
//int x = Function();
//test.cpp|27 col 36 error| clang:Error:template_missing_args:Use of class template 'ImplPolicy' requires template arguments
//

int x = Function();   // Ok
}

int main(){
TestFunc();
return 0;
}

Я в замешательстве, поскольку аргумент шаблона X для TestFunc известен во время компиляции, поэтому разницы между
нет.

Код: Выделить всё

int x = Function();

и

Код: Выделить всё

int x = Function();

Этот код компилируется в Visual Studio 17, но не работает в gcc 11. Я пишу что-то не так?


Подробнее здесь: https://stackoverflow.com/questions/798 ... ument-in-c