具有非空模板参数列表的模板专业化

我很难理解以下代码

template <typename T>
struct function_traits
    : public function_traits<decltype(&T::operator())>
{};
// For generic types, directly use the result of the signature of its 'operator()'

template <typename ClassType, typename ReturnType, typename... Args>
struct function_traits<ReturnType(ClassType::*)(Args...) const>
// we specialize for pointers to member function
{
  // ...
}

int main()
{
    auto lambda = [](int i) { return long(i*10); };

    typedef function_traits<decltype(lambda)> traits;

    // ...

    return 0;
}

这出现在答案https://stackoverflow.com/a/7943765/7006673中。

这里，

template <typename ClassType, typename ReturnType, typename... Args>
struct function_traits<ReturnType(ClassType::*)(Args...) const>

似乎表明模板类的专业化

template <typename T>
struct function_traits

但是，专业化的模板参数列表template <typename ClassType, typename ReturnType, typename... Args>不为空（即不等于template <>）。有人可以帮我明白了，什么样的专业化，这是怎样的模板参数ClassType，ReturnType以及Args推导出？

提前谢谢了。