Как использовать частичные специализации в качестве параметров шаблона шаблона? ⇐ C++

[Anonymous]

У меня есть шаблон класса, принимающий параметр шаблона шаблона

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

template
struct S {};

и шаблон класса, принимающий 2 параметра шаблона

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

template
struct A {};

Есть ли способ создать экземпляр S с частичной специализацией A по параметру i, чтобы я мог написать следующее?< /p>

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

S> someStruct;

Я могу создать шаблон псевдонима

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

template
using Inner = A;

и создайте с его помощью экземпляр S

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

S SInner;

Но это работает только для фиксированного значения 5, поскольку шаблоны псевдонимов не могут быть частично специализированными. Есть ли способ сделать Inner шаблоном?

Подробнее здесь: https://stackoverflow.com/questions/792 ... parameters