variadic-value-template-template com tipos de valor fornecidos no modelo pai é aceito pelo clang, mas rejeitado pelo gcc

Estou construindo trait-types (semelhantes a std::type_identity) para representar templates de diferentes tipos. Templates de valores variádicos de tipos mistos são um caso especial, e só consigo pensar em criá-los por meio de structs aninhadas, como mostrado abaixo.

O clang aceita isso, o gcc não.

template <typename ... Ts>
struct variadic_value_metatemplate_builder
    {
        template <template <Ts ... tt_Vs> typename TT>
        struct build
            {
                template <Ts ... Vs>
                using type = TT<Vs ...>;
            };
    };

( link compilador-explorador )

O erro do gcc é:

<source>:8:39: error: expansion pattern 'tt_Vs' contains no parameter packs [-Wtemplate-body]
    8 |                 using type = TT<Vs ...>;

quem está certo?

A formulação do erro do gcc parece incorreta, mas acho que está relacionada à exigência de que Vs ...e Ts ... tenham o mesmo tamanho, o que Vs ...não o torna livremente variável. Mas, pelo que sei, todos ainda são pacotes de parâmetros .

EDITAR: À PARTE: Por que isso pode ser útil?

Na verdade, é bem difícil criar um caso de uso prático (para esse tipo específico de modelo-modelo), mas aqui está minha tentativa rápida (altamente implausível, não muito boa).

Você está escrevendo uma rotina de teste para um grupo de operações gráficas de modelo. Algumas são do formato <int DIMENSION> , outras são <int DIMENSION, bool UNDO>, etc... Você quer escrever uma rotina de teste genérica para todos os formatos , que recebe um parâmetro de formulário, um conjunto de operações gráficas correspondentes e um conjunto de valores de teste constexpr para os parâmetros. Você pode então fazer algo como:

generic_graphics_test<metabuilder_DIMENSION_UNDO, variadic_auto_constants<2, false>, variadic_auto_constants<3, true>, [etc...]>::test<gfx_translate, gfx_scale, [etc...]>();

para testar de alguma forma as variedades 2D e 3D reversíveis de gfx_translatee gfx_scale. (onde test()recebe instâncias de build(acima) como parâmetros de modelo, que aqui representam as operações de modelo de translação e escala (brutas e não resolvidas) (como functores ou algo assim)).

(... isso é como meta-aninhamento-nível-4 ou algo assim :)

((Espero que pelo menos 17% disso seja semi-compreensível :))

Infelizmente, ainda não existe uma palavra-chave genérica "parâmetro-de-modelo-de-tipo-ou-valor-possivelmente-variádico" (seria muito bom, mas provavelmente seria muito difícil escrever código de compilador para ela), que permitiria que cada tipo possível de modelo-modelo fosse representado por um único modelo de característica.