可变参数模板参数推导 - 最近的铿锵声中的奇怪错误和段错误

Question

以下代码剪切会产生错误消息以及包含clang 5.0.0和当前master分支的后续段错误。它适用于任何符合c ++ 11标准的g ++。

#include <initializer_list>

template <typename... T> struct B {};
template <typename T> struct gf {};
template <typename... A> B<A...> make_B(std::initializer_list<gf<A...>> const &V) { return {}; }

int main() {
  auto x = gf<int>{};
  auto b = make_B<int>({x, x, x}); // clang segfault
  //auto b = make_B({x, x, x}); // ok
}

错误消息为

test.cpp:5:26: error: too many template arguments for class template 'gf'
template <typename... A> B<A...> make_B(std::initializer_list<gf<A...>> const &V) { return {}; }
                                               ^
test.cpp:9:12: note: in instantiation of function template specialization 'make_B<int>' 
requested here
  auto b = make_B<int>({x, x, x}); // clang crash
                  ^
test.cpp:4:30: note: template is declared here
template <typename T> struct gf {};

• 为什么clang在这里报错？调用gf时make_B<int>推导出的模板参数数量应为1。

• 关于错误消息后的段错误，我现在提交了bug report