Интерпретация аргументы варидового шаблона C ++ из других аргументов шаблонов ⇐ C++

[Anonymous]

Я был бы признателен, если бы кто -то сможет поставить меня лучшей терминологией для этого вопроса, поскольку я изо всех сил пытаюсь выразить его словами в названии. По сути, моя проблема в том, что мне нужна структура в соответствии с < /p>

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

template 
struct acceptor {

// ...

template <
// assumedly, something needs to go here
>
static inline void accept(void) {
// ...
}

// ...

};
< /code>
Такое, что я могу запустить < /p>
void main(void) {
acceptor::template accept();
acceptor::template accept();
}

Могу ли я получить окончательный ответ о том, возможно ли это на языке C ++, и если да, то как?
Я попробовал

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

template <
_Types... _Values
>
inline void accept(void) {
// ...
}
< /code>
Но это, по -видимому, пыталось сделать по существу варидическим первым типом, а не одним параметром нетипа на внешний аргумент. Аргумент, по -видимому, всегда является неправильным количеством аргументов шаблонов (, должен быть 1) 

.
он не может быть возможным в c ++ 20 или любая более поздняя версия из того, что я могу сказать, и мне пришлось построить структурный (так что это можно использовать во время компиляции) тип корзины, чтобы справиться с этим, но это несколько некрасиво, и я хотел бы избежать его использования Если возможно.

Подробнее здесь: https://stackoverflow.com/questions/794 ... ate-argume