用python写一个子程序判断输入的一串数字是否是中国大陆的手机号码

以下是一个判断中国大陆手机号码的Python子程序：

import re

def is_china_mobile_num(num):
    """
    判断输入的一串数字是否是中国大陆的手机号码
    :param num: 待判断的手机号码
    :return: 是则返回True，否则返回False
    """
    pattern = '^1[3456789]\d{9}$'
    if re.match(pattern, num):
        return True
    else:
        return False

使用示例：

num1 = '13812345678'
num2 = '12345678901'
num3 = '8613812345678'
num4 = '013812345678'

print(is_china_mobile_num(num1))  # True
print(is_china_mobile_num(num2))  # False
print(is_china_mobile_num(num3))  # False
print(is_china_mobile_num(num4))  # False

注意：

• 该子程序仅判断输入的数字是否符合中国大陆手机号码规则，不对其真实性进行验证。
• 该子程序使用正则表达式进行判断，需要先导入re模块