request.getHeader(“name”): 获取请求头中指定名称的单个值,多个值时通常是返回最先出现的那个值 String contentLength = request.getHeader("Content-Length");
request.getHeaders(“name”): 获取请求头中所有具有指定名称的值
request.getHeaderNames():
Enumeration<String> encodings = request.getHeaders("Accept-Encoding");
while (encodings.hasMoreElements()) {
String encoding = encodings.nextElement();
}
request.getIntHeader(“name”): 专门用来获取整数值类型的请求头,若请求头的值不能转换为有效的整数,则抛出NumberFormatException异常。 int contentLength = request.getIntHeader("Content-Length");
request.getDateHeader(“name”): 专门用来获取日期类型的请求头值,它会将请求头的值解析为毫秒级别的UNIX时间戳。如果请求头的值不能转换为有效日期,则抛出IllegalArgumentException异常。 long date = request.getDateHeader("Date");