使用Http Head方法获取文件长度的实现方法详解

需求
有一个固定url的文件，服务器端程序会定期的更新这个文件，现在需要写一个工具来监控这个文件的变化。
解决办法
最初我想到的是把这个文件下载下来，然后通过大小来判断文件是否改变（已知该文件变化时大小会变化）。
但是这个文件有时会很大，如果每次都下载下来会消耗一定的时间，希望能更快一些。
搜索了一下，发现http除了get和post方法外，还有head方法，它可以获取http头信息，其中的content-length就是文件的大小。
理论
在httpwebrequest 中设置method属性为head，就可以只获取http的头信息，而不返回实际内容。
除了get，post，head外，method属性还可以设置:

method 属性设置为任何 http 1.1 协议谓词：get、head、post、put、delete、trace 或 options。

在http协议中，head方法得到的响应和get方法相比，除了没有正文内容以外，其它都是一样的。也就是说：
get：http头信息+内容
head：http头信息
这样如果我们只关心http头，而不需要内容时，就可以使用head方法了。
实践

static void main(string[] args)
{
    var url = "http://www.google.com/intl/en_all/images/srpr/logo1w.png";
    var len = gethttplength(url);
    console.writeline("url:{0}\r\nlength:{1}", url,len);
}
static long gethttplength(string url)
{
    var length = 0l;
    try
    {
        var req = (httpwebrequest)webrequest.createdefault(new uri(url));
        req.method = "head";
        req.timeout = 5000;
        var res = (httpwebresponse)req.getresponse();
        if (res.statuscode == httpstatuscode.ok)
        {
            length =  res.contentlength; 
        }
        res.close();
        return length;
    }
    catch (webexception wex)
    {
        return 0;
    }
}

执行后输出如下：
url:http://www.google.com/intl/en_all/images/srpr/logo1w.png
length:6803
注意：head方法和get方法一样，有时候服务端设置了缓存的话会返回同样的内容回来。这时候可以在url后面增加一个时间参数使缓存失效实现实时获取.