哪个是优先顺序 @WebServlet 注解vs web.xml servletMap？更具体地说，我们有一个用例，我们不想修改 web.xml 但需要重写其中一个servletMap。我们的 web.xml 有点像：

<servlet>
   <servlet-name>foo</servlet-name>
   <servlet-class>com.whatever.simple.foo</servlet-class>
</servlet>
<servlet-mapping>
   <servlet-name>foo</servlet-name>
   <url-pattern>/foo/*</url-pattern>
</servlet-mapping>

我们正在考虑使用以下方法覆盖此项：

@WebServlet("/foo/*")
public class OurCustomImplementation extends HttpServlet {
}

所以问题是：
规范是否允许我们添加一些参数（例如覆盖或优先参数）？
规范是否保证我们的类将始终重写 web.xml ?
tomcat9+是否允许这样做，即使可能使用一些扩展？