java - Java - HttpServlet 补丁方法

Question

我正在使用 Java 中的基本 Servlet 实现 REST Api，但似乎找不到doPatch()方法。

为什么不HttpServlet实现一个PATCH方法？我想用它，因为它对资源更新更有意义。