c++ - 类数据成员指针的非类型模板参数包不能用gcc编译

Question

我尝试用 c++17 编写代码 auto类数据成员指针的非类型模板参数包，但是下面的代码clang会编译而gcc不会，you can see godbolt for error message ，有人可以告诉我我应该相信哪一个，因为我不明白为什么 gcc 拒绝这个。

谢谢你的帮助。

template <
    typename B,
    template <auto B::*...> typename Wrapper, 
    auto B::*... Args
>
void f(Wrapper<Args...>) {}

template <auto... Args> struct Wrapper {};
struct A { int i; float f; };

// gcc error: unable to deduce 'auto B::*' from '&A::i'
f(Wrapper<&A::i, &A::f>{});

我知道如果改变<auto B::*...>至 <auto...>然后两者都可以编译，但我想知道 为什么 gcc 无法推断出正确的类型，因为以下 non-auto 模板参数得到相同的情况:gcc 无法编译和 clang可以:

template <
    typename B,
    typename... MT,
    template <MT B::*...> class Wrapper, 
    MT B::*... Args
>
void f(Wrapper<Args...>) {}

Answer 1

尝试

template <
    template <auto ...> typename Wrapper, 
    auto ... Args
>
void f(Wrapper<Args...>) {}

auto 是 B::* 的替代品；所以你应该使用 auto 或 B::*，不能同时使用。