为什么这个 c++ 模板代码在“<”标记之前出现“预期”;“错误？

问：

该代码旨在解决这个问题：如果我们知道一个签名并绑定了前 n 个参数的参数，那么如果前 n 个参数是有界的，则获取新的调用签名。

但是当我尝试编译代码时，gcc 会出现错误。

a.cc:23:62: error: expected ‘;’ before ‘<’ token
     using signature = typename GetSignature<R(Args...)>::Bind<BArgs...>::signature;

我不理想为什么会有这样的错误。

代码如下：

#include <type_traits>

template<typename T>
struct GetSignature {
  using signature = typename T::signature;
};

template<typename R>
struct GetSignature<R(void)> {
  template<typename... Args>
  struct Bind {
    using signature = R(void);
  };  
};

template<typename R, typename Arg, typename... Args>
struct GetSignature<R(Arg, Args...)> {
  template<typename... BArgs> struct Bind;

  template<typename BArg, typename... BArgs>
  struct Bind<BArg, BArgs...> {
    static_assert(std::is_same<Arg, BArg>::value);
    using signature = typename GetSignature<R(Args...)>::Bind<BArgs...>::signature;
  };  

  template<typename BArg>
  struct Bind<BArg> {
    using signature = R(Args...);
  };  
};

int func(bool, double, int, char);

int main() {
  // GetSignature<func>::Bind<bool, double>::signature should be int(int, char)
  return 0;
}