考考你。。。
今天看到一个函数---计算给定日期对应于星期几，如给出2012 2 21 那么结果是星期二。
函数如下：

C/C++ code

int GetWeek(int year,int month,int day){    int leapFlag,week,i,count=0;    int a[13]={0,31,28,31,30,31,30,31,31,30,31,30,31};//该数组保存每个月的天数    leapFlag=isLeapYear(year);//判断给定年份是否闰年    if (leapFlag==1)    {        a[2]++;    }    for (i=1;i<month;i++)    {        count+=a[i];       //计算从给定年份的1月1日到给定月份的1号之间的天数    }    count+=day;            //计算从给定年份的1月1日到给定日期之间的天数    [color=#FF0000]week=(year+1+(year-1)/4+(year-1)/100+(year-1)/400+count)%7;  //计算星期[/color]    return week;}

但是对于加红色的那句代码不明白是怎样得来的？
可以讲解一下吗？

[解决办法]
计算星期几的公式

日期格式 y-m-d，y为年份数(y>1582)，m为月份数（0<m<13），d为日数（0<d<28、29、30、31）。y、m、d为整数。例如2008-8-1，各变量分别是y=2008，m=8，d=1。

1、常用公式

W = [y-1] + [(y-1)/4] - [(y-1)/100] + [(y-1)/400] + D

式中变量说明：W为星期数，y为年份数，D为该日期在该年中的排序数；[X]为对X取整，下同。

2、蔡勒（Zeller）公式

W=Y+[Y/4]+[C/4]-2C+[26(M+1)/10]+d-1

公式中的符号含义如下：

W为星期数；C为世纪；Y为年（两位数）； M为月数（M=m（当m>2）；M=m+12（m<3））；d为日。

相比于通用通用计算公式而言，蔡勒（Zeller）公式大大降低了计算的复杂度。

3、基姆拉尔森计算公式

W= (d+2*m+3*(m+1)/5+y+y/4-y/100+y/400) mod 7

在公式中d表示日期中的日数，m表示月份数，y表示年份数。

注意：在公式中有个与其他公式不同的地方：

把一月和二月看成是上一年的十三月和十四月，例：如果是2004-1-10则换算成：2003-13-10来代入公式计算。

4、蔡勒公式一种改进

相比于另外一个通用通用计算公式而言，蔡勒（Zeller）公式大大降低了计算的复杂度。不过，另外有一个似乎更加简洁更简单的改进公式，提出这个公式的人是冯思琮[1] [2] ：

W=[y/4]+r(y/7)-2r(c/4)+m’+d

下，其他符号与蔡勒公式中含义相同。r(X)为对表达式X取余；
m’是m的修正数。
1至12月的修正数1’至12’如下：
（1’，10’）=6；
（2’，3’，11’）=2；
（4’，7’）=5；
（5’）=0；
（6’）=3；
（8’）=1；
（9’，12’）=4
特别地：在笔者给出的公式中，y为润年时（1’）=5；（2’）=1。
-----------------------------
[注] 以上的公式都只适合于1582年10月15日之后的情形，即我国明朝万历十年间。罗马教皇格里高利十三世在1582年组织了一批天文学家，根据哥白尼日心说计算出来的数据，对儒略历作了修改。将1582年10月5日到14日之间的10天宣布撤销，继10月4日之后为10月15日。
后来人们将这一新的历法称为“格里高利历”，也就是今天世界上所通用的历法，简称格里历或公历。
------------------------------------