在模板参数列表中使用 decltype 来推断指向类成员的指针的类型

Question

当我尝试实例化这样的模板时，GCC 给我一个“模板参数 2 无效”错误（请参阅using Check 行）。我很好奇我可以在模板参数列表之外使用decltype 获得指向成员的指针，但不能在其中（参见变量p2 的定义）。 Clang 确实编译了这段代码。这是 GCC 中的一个错误，还是这段代码实际上是无效的，而 Clang 的包容性太强了？

template <class T, T t> struct checker_template {};

struct S { int n; };

int main() {
  S s;
  constexpr auto p1 = &S::n;
  constexpr auto p2 = &decltype(s)::n;
  using Check = checker_template<int S::*, &decltype(s)::n>;
  return 0;
}

Answer 1

答案由 T.C. 提供。这确实是 GCC 的一个 bug。