谁能用mathematica写个校验身份证的子函数？

nyy · 发表于 2025-3-5 13:55:00

nyy 发表于 2025-3-5 13:31
代码写的是好，但是有bug。

(*
函数功能：
该函数用于全面检验中国身份证号码的有效性，包括校验码是否正确、出生年份是否在合理范围内（1900至2100年）、
月份和日期是否符合实际情况。中国身份证号码由17位数字本体码和1位校验码组成。
校验码的计算方法是：将前17位数字分别乘以对应的加权因子（7, 9, 10, 5, 8, 4, 2, 1, 6, 3, 7, 9, 10, 5, 8, 4, 2），
然后将乘积相加，再对结果取模11，根据模值得到对应的校验码字符（模值为0对应X，模值为1对应1，以此类推），
最后与输入的身份证号码的最后一位进行比较，判断校验码是否正确。
函数用法：
IsValidIDCard[cardID]，传入一个字符串类型的身份证号码，函数将返回一个布尔值，
表示该身份证号码是否有效。
输入参数：
- cardID：类型为字符串（String,或者18位整数），意义是输入的中国身份证号码，长度应为18位。
返回值：
- 类型为布尔值（Boolean），意义是如果输入的身份证号码完全有效，返回True；否则返回False。
示例：
1. IsValidIDCard["11010519491231002X"]，返回True，因为这是一个完全有效的身份证号码。
2. IsValidIDCard["11010521011231002X"]，返回False，因为出生年份超出合理范围。
3. IsValidIDCard["11010519491331002X"]，返回False，因为月份不符合实际。
4. IsValidIDCard["11010519491232002X"]，返回False，因为日期不符合实际。
5. IsValidIDCard["110105194912310021"]，返回False，因为这是一个校验码错误的身份证号码。
*)
IsValidIDCard[cardID_] :=
Module[{weights = {7, 9, 10, 5, 8, 4, 2, 1, 6, 3, 7, 9, 10, 5, 8, 4, 2},(*前17位权重*)
checkCodes = {"1", "0", "X", "9", "8", "7", "6", "5", "4", "3", "2"},(*0 1 2 3等余数所对应的校验码*)
sum, remainder, checkDigit, year, month, day, dateValid,cardNumber},
If[IntegerQ[cardID],cardNumber=ToString[cardID],cardNumber=cardID];(*如果身份证号码是18位整数,则转化为字符串*)
If[StringLength[cardNumber] != 18,
Return[False]];
(* 计算前17位数字与加权因子的乘积之和 *)
sum = 0;
For[i = 1, i <= 17, i++,
digit = FromDigits[StringTake[cardNumber, {i}]];(*此处有bug,原本是StringTake[cardNumber,i],表示提取前i个字符,而此处需要是第i个字符*)
sum = sum + digit * weights[[i]];
];
remainder = Mod[sum, 11];(*求余数*)
checkDigit = StringTake[cardNumber, -1];(*提取最后一位校验码*)
(* 提取出生年份、月份和日期 *)
year = FromDigits[StringTake[cardNumber, {7, 10}]];
month = FromDigits[StringTake[cardNumber, {11, 12}]];
day = FromDigits[StringTake[cardNumber, {13, 14}]];
(* 初始化日期有效性为True，然后根据条件修改 *)
dateValid = True;
If[year < 1900 || year > 2100, dateValid = False];
If[month < 1 || month > 12, dateValid = False];
If[(month == 1 || month == 3 || month == 5 || month == 7 || month == 8 || month == 10 || month == 12) && (day < 1 || day > 31), dateValid = False];
If[(month == 4 || month == 6 || month == 9 || month == 11) && (day < 1 || day > 30), dateValid = False];
If[month == 2,
If[(Mod[year, 4] == 0 && Mod[year, 100] != 0) || Mod[year, 400] == 0,
If[(day < 1 || day > 29), dateValid = False],
If[(day < 1 || day > 28), dateValid = False]
]
];
(* 综合校验码和日期有效性判断身份证是否有效 *)
dateValid && (checkDigit === checkCodes[[remainder + 1]])
];

复制代码

根除身份证号码是整数的bug

nyy · 发表于 2025-3-5 16:18:43

" 函数功能：
" 该函数用于检验身份证号码的校验码是否正确，并且检查身份证号码中包含的出生日期是否合法。
" 合法的年份范围在1900年到2500年之间，同时会检查每个月的天数是否符合实际情况（如2月在平年有28天，闰年有29天等）。
" 函数用法：
" 调用函数时，传入一个字符串类型的身份证号码作为参数，函数会返回一个布尔值，
" 如果身份证号码校验码正确且日期合法则返回 1，否则返回 0。
" 输入参数：
" id_card_number：字符串类型，代表输入的身份证号码，长度应为18位。
" 返回值：
" 返回值为数值类型（0 或 1）。1 表示身份证号码校验码正确且日期合法，0 表示校验码错误或日期不合法。
" 输入值返回值例子：
" 例子1：输入一个正确的身份证号码（校验码正确且日期合法），函数返回 1。
" 例子2：输入一个校验码错误的身份证号码，函数返回 0。
" 例子3：输入一个日期不合法（年份不在1900到2500之间）的身份证号码，函数返回 0。
" 例子4：输入一个日期不合法（如2月有30天）的身份证号码，函数返回 0。
function! CheckIDCard(id_card_number)
" 定义权重数组，用于计算校验码
let weights = [7, 9, 10, 5, 8, 4, 2, 1, 6, 3, 7, 9, 10, 5, 8, 4, 2]
" 定义校验码字符数组，对应不同的校验码值，兼容x和X
let check_codes = ['1', '0', 'X', '9', '8', '7', '6', '5', '4', '3', '2']
" 检查身份证号码长度是否为18位
if strlen(a:id_card_number) != 18
return 0
endif
" 计算校验码
let sum = 0
for i in range(0, 16)
let num = str2nr(substitute(a:id_card_number[i], '\D', '', ''))
let sum += num * weights[i]
endfor
let check_index = sum % 11
let check_code = check_codes[check_index]
" 转换输入身份证号码最后一位为大写，以便和校验码比较
let input_check_code = toupper(a:id_card_number[17])
" 检查校验码是否正确
if check_code != input_check_code
return 0
endif
" 提取身份证号码中的年份、月份、日期信息
let year_str = a:id_card_number[6:9]
let year = str2nr(year_str)
let month_str = a:id_card_number[10:11]
let month = str2nr(month_str)
let day_str = a:id_card_number[12:13]
let day = str2nr(day_str)
" 检查年份是否在合法范围内
if year < 1900 || year > 2500
return 0
endif
" 检查月份是否在1到12之间
if month < 1 || month > 12
return 0
endif
" 定义每个月的天数数组，2月先按平年算
let days_in_month = [31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31]
" 判断是否为闰年，如果是，2月有29天
if (year % 4 == 0 && year % 100 != 0) || (year % 400 == 0)
let days_in_month[1] = 29
endif
" 检查日期是否在合法范围内
if day < 1 || day > days_in_month[month - 1]
return 0
endif
" 如果校验码正确且日期合法，返回 1
return 1
endfunction

复制代码

nyy · 发表于 2025-3-5 22:03:23

本帖最后由 nyy 于 2025-3-5 22:04 编辑

nyy 发表于 2025-3-5 16:18

idCardVerify[card_String] :=
Module[{weights = {7, 9, 10, 5, 8, 4, 2, 1, 6, 3, 7, 9, 10, 5, 8, 4, 2},
checkCodes = {"1", "0", "X", "9", "8", "7", "6", "5", "4", "3", "2"}},
If[StringLength[card] != 18, False,
Total[MapThread[Times, {StringTake[card, -17], weights}]] //
Mod[#, 11] & // (checkCodes[[# + 1]] == StringTake[card, -1]) &
]
]

复制代码

人工智能写的代码真短，但是我不知道他写的对不对

idCardVerify[card_String] :=
Module[{weights = {7, 9, 10, 5, 8, 4, 2, 1, 6, 3, 7, 9, 10, 5, 8, 4, 2},
checkCodes = {"1", "0", "X", "9", "8", "7", "6", "5", "4", "3", "2"}},
If[StringLength[card]!= 18, False,
Total[MapThread[Times, {StringTake[card, {1, 17}], weights}]] //
Mod[#, 11] & // (checkCodes[[# + 1]] == StringTake[card, -1]) &
]
]

复制代码

nyy · 发表于 2025-3-5 22:13:34

IDCheck[id_String]:=With[{check=Mod[11-Mod[Total[ToExpression[Characters[id[[;;17]]]]*{7,9,10,5,8,4,2,1,6,3,7,9,10,5,8,4,2},11],11]},check==Switch[id[[18]],"X",10,_,ToExpression[id[[18]]]]]

人工智能写的代码都让人讨厌
这个是deepseek写的

nyy · 发表于 2025-3-5 22:27:02

nyy 发表于 2025-3-5 22:13
IDCheck[id_String]:=With[{check=Mod[11-Mod[Total[ToExpression[Characters[id[[;;17]]]]*{7,9,10,5,8,4, ...

第1行应该是12-，而不是11-，人工智能就喜欢制造bug

nyy · 发表于 2025-3-5 22:37:30

nyy 发表于 2025-3-5 22:27
第1行应该是12-，而不是11-，人工智能就喜欢制造bug

人工智能真的有些智能，
我基本上每天都用人工智能
哪怕是和人工智能聊聊天

nyy · 发表于 2025-3-6 09:02:03

nyy 发表于 2025-3-5 22:13
IDCheck[id_String]:=With[{check=Mod[11-Mod[Total[ToExpression[Characters[id[[;;17]]]]*{7,9,10,5,8,4, ...

IDCheck[id_String]:=With[{check=Mod[12-Total[ToExpression@Characters[id][[1;;17]]*{7,9,10,5,8,4,2,1,6,3,7,9,10,5,8,4,2}],11]},check==Switch[Characters[id][[18]],"X",10,_,ToExpression[Characters[id][[18]]]]]

复制代码

这个是根除代码后的代码，还优化了一下

nyy · 发表于 2025-3-6 10:55:18

nyy 发表于 2025-3-6 09:02
这个是根除代码后的代码，还优化了一下

IDCheck[id_String] := Module[
{weights, checkCode, sum, remainder, calculatedCheck,idlist},
(* 定义权重系数 *)
weights = {7, 9, 10, 5, 8, 4, 2, 1, 6, 3, 7, 9, 10, 5, 8, 4, 2};
(*形成18位字符列表*)
idlist=Characters[id];
(* 提取前17位并转换为数字列表 *)
sum = Total[ToExpression[idlist[[1;;17]]]*weights];
(* 计算余数 *)
remainder = Mod[sum,11];
(* 计算校验码 *)
calculatedCheck = Mod[12-remainder, 11];
(* 处理最后一位校验码（如果是X，则转换为10） *)
checkCode=Switch[idlist[[18]],
"X", 10,
"x", 10,(*小写字母也加上*)
_, ToExpression[idlist[[18]]]
];
(* 比较计算值与实际校验码 *)
calculatedCheck == checkCode
]

复制代码

deepseek写的代码，被我根除bug，以及优化后的代码！

nyy · 发表于 2025-3-6 15:16:12

人工智能写的代码，经过我的稍微修改与美化与完善，加上生成的测试用例（人工智能生成的测试用例，居然也用错误！）

" 函数功能：
" 该函数用于检验身份证号码的校验码是否正确，并且检查身份证号码中包含的出生日期是否合法。
" 合法的年份范围在1900年到2500年之间，同时会检查每个月的天数是否符合实际情况（如2月在平年有28天，闰年有29天等）。
" 函数用法：
" 调用函数时，传入一个字符串类型的身份证号码作为参数，函数会返回一个布尔值，
" 如果身份证号码校验码正确且日期合法则返回 1，否则返回 0。
" 输入参数：
" id_card_number：字符串类型，代表输入的身份证号码，长度应为18位。
" 返回值：
" 返回值为数值类型（0 或 1）。1 表示身份证号码校验码正确且日期合法，0 表示校验码错误或日期不合法。
" 输入值返回值例子：
" 例子1：输入一个正确的身份证号码（校验码正确且日期合法），函数返回 1。
" 例子2：输入一个校验码错误的身份证号码，函数返回 0。
" 例子3：输入一个日期不合法（年份不在1900到2500之间）的身份证号码，函数返回 0。
" 例子4：输入一个日期不合法（如2月有30天）的身份证号码，函数返回 0。
function! CheckIDCard(id_card_number)
"默认的信息输出间隔符号
echo "-------------------------------------------------\n"
"先给出默认返回值1,如果有错误,则修改成0
let out=1
" 定义权重数组，用于计算校验码
let weights = [7, 9, 10, 5, 8, 4, 2, 1, 6, 3, 7, 9, 10, 5, 8, 4, 2]
" 定义校验码字符数组，对应不同的校验码值，兼容x和X
let check_codes = ['1', '0', 'X', '9', '8', '7', '6', '5', '4', '3', '2']
" 检查身份证号码长度是否为18位
if strlen(a:id_card_number) != 18
echo "身份证号码必须18位字符串\n"
let out=0
return out
endif
" 计算校验码
let sum = 0
for i in range(0, 16)
let num = str2nr(a:id_card_number[i])
let sum += num * weights[i]
endfor
let check_index = sum % 11
let check_code = check_codes[check_index]
" 转换输入身份证号码最后一位为大写，以便和校验码比较
let input_check_code = toupper(a:id_card_number[17])
" 检查校验码是否正确
if check_code != input_check_code
echo "第18位校验码应该是".check_code."\n"
let out=0
endif
" 提取身份证号码中的年份、月份、日期信息
let year = str2nr(a:id_card_number[6:9])
let month = str2nr(a:id_card_number[10:11])
let day = str2nr(a:id_card_number[12:13])
" 检查年份是否在合法范围内
if year < 1900 || year > 2500
echo "年份需要在1900-2500年之间\n"
let out=0
endif
" 检查月份是否在1到12之间
if month < 1 || month > 12
echo "月份不合法!\n"
let out=0
endif
" 定义每个月的天数数组，2月先按平年算
let days_in_month = [31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31]
" 判断是否为闰年，如果是，2月有29天
if (year % 4 == 0 && year % 100 != 0) || (year % 400 == 0)
let days_in_month[1] = 29
endif
" 检查日期是否在合法范围内
if day < 1 || day > days_in_month[month - 1]
echo "日期不合法!\n"
let out=0
endif
" 如果校验码正确且日期合法，返回 1
return out
endfunction
" 测试用例 1：正确的身份证号码预期输出: 1
let test_id1 = '11010519491231002X'
echo CheckIDCard(test_id1)
" 测试用例 2：校验码错误的身份证号码预期输出: 0
let test_id2 = '110105194912310021'
echo CheckIDCard(test_id2)
" 测试用例 3：年份小于 1900 的身份证号码预期输出: 0
let test_id3 = '11010518991231002X'
echo CheckIDCard(test_id3)
" 测试用例 4：年份大于 2500 的身份证号码预期输出: 0
let test_id4 = '11010525011231002X'
echo CheckIDCard(test_id4)
" 测试用例 5：身份证号码长度错误预期输出: 0
let test_id5 = '11010519491231002'
echo CheckIDCard(test_id5)
" 测试用例 6：2月有29天的闰年身份证号码预期输出: 0
let test_id6 = '310109202002290011'
echo CheckIDCard(test_id6)
" 测试用例 7：2月有28天的平年身份证号码预期输出: 0
let test_id7 = '310109202102280011'
echo CheckIDCard(test_id7)
" 测试用例 8：2月有30天的非法日期身份证号码预期输出: 0
let test_id8 = '310109202102300011'
echo CheckIDCard(test_id8)
" 测试用例 9：月份为0的非法日期身份证号码预期输出: 0
let test_id9 = '310109202100300011'
echo CheckIDCard(test_id9)
" 测试用例 10：日期为0的非法日期身份证号码预期输出: 0
let test_id10 = '310109202101000011'
echo CheckIDCard(test_id10)

复制代码

nyy · 发表于 2025-3-8 13:18:20

nyy 发表于 2025-3-6 15:16
人工智能写的代码，经过我的稍微修改与美化与完善，加上生成的测试用例（人工智能生成的测试用例，居然也用 ...

还可以继续优化！把所有的错误信息连接成一个字符串，这样方便调试测试！

账号		自动登录	找回密码
密码			欢迎注册

[求助] 谁能用mathematica写个校验身份证的子函数？

点评

点评

点评

点评