可变模板参数类型

Question

我试着用一个任意指针指向结构的一个成员.但什么都不起作用；

Code1：

template <
        typename Structure,

        template <typename... Args>
        typename Wrapper,

        template <typename... Args>
        typename Wrapper2,

        typename... Args1,
        void Structure::* ... Args2>
    auto MembersContructer(Wrapper<Args1...> wrapper1, Wrapper2<Args2...> wrapper2)
        -> TypesContainer<mi::member<Structure, Args1, Args2>...>;

空洞结构：*.Args2

我试着使用“变量类型的变量类型”，即

Code2：

 template <
        typename Structure,

        template <typename... Args>
        typename Wrapper,

        template <typename... Args>
        typename Wrapper2,

        typename... Args1,
        (Args1 Structure::*) ... Args2>
    auto MembersContructer(Wrapper<Args1...> wrapper1, Wrapper2<Args2...> wrapper2)
        -> TypesContainer<mi::member<Structure, Args1, Args2>...>;

(Args1结构：：*)Args2

希望有人能弄清楚我想要什么。

Answer 1

使用非类型模板参数的c++17占位符自动

template <
    template <typename... Args> typename Wrapper,
    template <auto... Args> typename Wrapper2,
    typename... Args1,
    auto... Args2
>
auto MembersContructer(Wrapper<Args1...> wrapper1, Wrapper2<Args2...> wrapper2);

注意，不需要存储Structure。