本文地址：http://www.cnblogs.com/archimedes/p/c-library-ctype.html，转载请注明源地址。

1.背景知识

ctype.h是C标准函数库中的头文件，定义了一批C语言字符分类函数（C character classification functions），用于测试字符是否属于特定的字符类别，如字母字符、控制字符等

我们经常将字符排序并分成不同的类别，为了识别一个字母，可以编写：

if('A' <= c && c <= 'Z' || 'a' <= c && c <= 'z')

    ......

当执行字符集是ASCII码的时候，可以得到正确的结果，但是这种惯用用法不适合其他字符集

同样，为了判断一个数字，可以这样编写：

if('' <= c && c <= '')

    ......

判断空白，可以编写代码：

if(c == ' ' || c == '\t' || c == '\n')

    ......

但是问题来了，我们很快就会厌倦代码中充斥着类似这样的判断语句而变长，最容易联想的解决办法是引入函数来替代这些判断语句，于是将出现如下的代码：

if(isalpha(c))

    ...

if(isdigit(c))

    ...

if(isspace(c))

    ...

貌似问题得到了解决，但是考虑一个典型的文本处理程序对输入流中的每一个字符会平均调用3次这样的函数，就会严重影响程序的执行效率

于是想到进一步的改进，考虑使用宏来替代这些函数，

#define isdigit(x) ((x) >= '0' && (x) <= '9')

这会产生问题，如宏参数x具有副作用；例如，如果调用isdigit(x++)或isdigit(run_some_program())，可能不是很显然，isdigit的参数将被求值两次。早期版本的Linux就使用了这种潜在犯错的方法。关于宏的缺点，本文就不赘述。

为保障安全和代码紧凑，进一步的改进，使用一个或多个转换表的宏集合，每个宏有如下形式：

#define _XXXMASK 0x...

#define isXXX(c) (_Ctytable[c] & _XXXMASK)

字符c编入以_Ctytable命名的转换表索引中，每个表项的不同位以索引字符为特征。如果任何一个和掩码_XXXXMASK相对应的位被设置了，那个字符就要在测试类别中，对所有正确的参数，宏展开成一个紧凑的非零表达式。

这种方法的弊端：当宏的参数不在它的定义域内，就会访问转换表外的存储空间

2.<ctype.h>的内容

<ctype.h>定义的宏如下表所示:

isalnum 是否为字母数字
isalpha 是否为字母
islower 受否为小写字母
isupper 是否为大写字母
isdigit 是否为数字
isxdigit 是否为16进制数字
iscntrl 是否为控制字符
isgraph 是否为图形字符（例如，空格、控制字符都不是）
isspace 是否为空格字符（包括制表符、回车符、换行符等）
isblank 是否为空白字符 (C99/C++11新增)（包括水平制表符）
isprint 是否为可打印字符
ispunct 是否为标点
tolower 转换为小写
toupper 转换为大写

下图来自Plauger和Brodie的Standard C：

3.<ctype.h>的实现

P.J.Plauger版本C标准库 Ctype 中判断字符是否属于某个类型，主要是通过转换表来实现的

以判断是否为小写字母为例：

/* ctype.h */

#ifndef _CTYPE

#define _CTYPE

/* _Ctype 转换位 */

#define _XA 0x200   /* extra alphabetic */

#define _XS 0x100   /* extra space */

#define _BB 0x80    /* BEL, BS, etc. */

#define _CN 0x40    /* CR, FF, HT, NL, VT */

#define _DI 0x20    /* '0' - '9' */

#define _LO 0x10    /* 'a' - 'z' */

#define _PU 0x08    /* punctuation */

#define _SP 0x04    /* space */

#define _UP 0x02    /* 'A' - 'Z' */

#define _XD 0x01    /* '0' - '9', 'A' - 'F', 'a' - 'f' */

/* 声明外部的 _Ctype 转换表 */

extern const short *_Ctype;

/* 判断是否为小写字母的带参数宏 islower */

#define islower(c) (_Ctype[(int)(c)] & _LO)

// 其余省略 ...

#endif

_Ctype 转换表：

/* xctype.c _Ctype 转换表 -- ASCII 版 */

#include <limits.h>

#include <stdio.h>

#include "ctype.h"

#if EOF != -1 || UCHAR_MAX != 255

#error WRONG CTYPE table

#endif

/* 组合位 */

#define XDI (_DI|_XD)

#define XLO (_LO|_XD)

#define XUP (_UP|_XD)

/* 转换表 */

static const short ctype_tab[] = { , /* EOF */

    _BB, _BB, _BB, _BB, _BB, _BB, _BB, _BB,

    _BB, _CN, _CN, _CN, _CN, _CN, _BB, _BB,

    _BB, _BB, _BB, _BB, _BB, _BB, _BB, _BB,

    _BB, _BB, _BB, _BB, _BB, _BB, _BB, _BB,

    _SP, _PU, _PU, _PU, _PU, _PU, _PU, _PU,

    _PU, _PU, _PU, _PU, _PU, _PU, _PU, _PU,

    XDI, XDI, XDI, XDI, XDI, XDI, XDI, XDI,

    XDI, XDI, _PU, _PU, _PU, _PU, _PU, _PU,

    _PU, XUP, XUP, XUP, XUP, XUP, XUP, _UP,

    _UP, _UP, _UP, _UP, _UP, _UP, _UP, _UP,

    _UP, _UP, _UP, _UP, _UP, _UP, _UP, _UP,

    _UP, _UP, _UP, _PU, _PU, _PU, _PU, _PU,

    _PU, XLO, XLO, XLO, XLO, XLO, XLO, _LO,

    _LO, _LO, _LO, _LO, _LO, _LO, _LO, _LO,

    _LO, _LO, _LO, _LO, _LO, _LO, _LO, _LO,

    _LO, _LO, _LO, _PU, _PU, _PU, _PU, _BB,

};

const short *_Ctype = &ctype_tab[];

举一个例子来说明：

当判断‘a’是否为小写字母的时候，使用宏islower，通过宏替换，也即执行(_Ctype[(int)(c)] & _LO)

预处理之后，假设当前的c是'a'那么变成了： (_Ctype[(int)('a')] & _LO)

字符'a'的值为97所以接下来便是： (_Ctype[97] & _LO)

_Ctype[97]的转换宏是 _LO ，通过查_Ctype 转换表, _LO 的值又是 0x10，所以最后是：

(_LO & _LO)   ---->    0x10 & 0x10    ---->    1， 说明当前字符为小写字母

其他的字符的判断都可以通过类似的替换与‘&’得到，不一一赘述。

附上linux内核中的ctype.h实现，基本原理相似

#ifndef _LINUX_CTYPE_H

#define _LINUX_CTYPE_H

/*

 * NOTE! This ctype does not handle EOF like the standard C

 * library is required to.

 */

#define _U    0x01    /* upper */

#define _L    0x02    /* lower */

#define _D    0x04    /* digit */

#define _C    0x08    /* cntrl */

#define _P    0x10    /* punct */

#define _S    0x20    /* white space (space/lf/tab) */

#define _X    0x40    /* hex digit */

#define _SP    0x80    /* hard space (0x20) */

extern const unsigned char _ctype[];

#define __ismask(x) (_ctype[(int)(unsigned char)(x)])

#define isalnum(c)    ((__ismask(c)&(_U|_L|_D)) != 0)

#define isalpha(c)    ((__ismask(c)&(_U|_L)) != 0)

#define iscntrl(c)    ((__ismask(c)&(_C)) != 0)

#define isdigit(c)    ((__ismask(c)&(_D)) != 0)

#define isgraph(c)    ((__ismask(c)&(_P|_U|_L|_D)) != 0)

#define islower(c)    ((__ismask(c)&(_L)) != 0)

#define isprint(c)    ((__ismask(c)&(_P|_U|_L|_D|_SP)) != 0)

#define ispunct(c)    ((__ismask(c)&(_P)) != 0)

/* Note: isspace() must return false for %NUL-terminator */

#define isspace(c)    ((__ismask(c)&(_S)) != 0)

#define isupper(c)    ((__ismask(c)&(_U)) != 0)

#define isxdigit(c)    ((__ismask(c)&(_D|_X)) != 0)

#define isascii(c) (((unsigned char)(c))<=0x7f)

#define toascii(c) (((unsigned char)(c))&0x7f)

static inline unsigned char __tolower(unsigned char c)

{

    if (isupper(c))

        c -= 'A'-'a';

    return c;

}

static inline unsigned char __toupper(unsigned char c)

{

    if (islower(c))

        c -= 'a'-'A';

    return c;

}

#define tolower(c) __tolower(c)

#define toupper(c) __toupper(c)

/*

 * Fast implementation of tolower() for internal usage. Do not use in your

 * code.

 */

static inline char _tolower(const char c)

{

    return c | 0x20;

}

#endif

ctype.h

/*

 *  linux/lib/ctype.c

 *

 *  Copyright (C) 1991, 1992  Linus Torvalds

 */

#include <linux/ctype.h>

#include <linux/compiler.h>

#include <linux/export.h>

const unsigned char _ctype[] = {

_C,_C,_C,_C,_C,_C,_C,_C,                /* 0-7 */

_C,_C|_S,_C|_S,_C|_S,_C|_S,_C|_S,_C,_C,            /* 8-15 */

_C,_C,_C,_C,_C,_C,_C,_C,                /* 16-23 */

_C,_C,_C,_C,_C,_C,_C,_C,                /* 24-31 */

_S|_SP,_P,_P,_P,_P,_P,_P,_P,                /* 32-39 */

_P,_P,_P,_P,_P,_P,_P,_P,                /* 40-47 */

_D,_D,_D,_D,_D,_D,_D,_D,                /* 48-55 */

_D,_D,_P,_P,_P,_P,_P,_P,                /* 56-63 */

_P,_U|_X,_U|_X,_U|_X,_U|_X,_U|_X,_U|_X,_U,        /* 64-71 */

_U,_U,_U,_U,_U,_U,_U,_U,                /* 72-79 */

_U,_U,_U,_U,_U,_U,_U,_U,                /* 80-87 */

_U,_U,_U,_P,_P,_P,_P,_P,                /* 88-95 */

_P,_L|_X,_L|_X,_L|_X,_L|_X,_L|_X,_L|_X,_L,        /* 96-103 */

_L,_L,_L,_L,_L,_L,_L,_L,                /* 104-111 */

_L,_L,_L,_L,_L,_L,_L,_L,                /* 112-119 */

_L,_L,_L,_P,_P,_P,_P,_C,                /* 120-127 */

,,,,,,,,,,,,,,,,            /* 128-143 */

,,,,,,,,,,,,,,,,            /* 144-159 */

_S|_SP,_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,    /* 160-175 */

_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,_P,    /* 176-191 */

_U,_U,_U,_U,_U,_U,_U,_U,_U,_U,_U,_U,_U,_U,_U,_U,    /* 192-207 */

_U,_U,_U,_U,_U,_U,_U,_P,_U,_U,_U,_U,_U,_U,_U,_L,    /* 208-223 */

_L,_L,_L,_L,_L,_L,_L,_L,_L,_L,_L,_L,_L,_L,_L,_L,    /* 224-239 */

_L,_L,_L,_L,_L,_L,_L,_P,_L,_L,_L,_L,_L,_L,_L,_L};    /* 240-255 */

EXPORT_SYMBOL(_ctype);

ctype.c

参考资料

《C标准库》

Plauger和Brodie的《Standard C》

C标准库<ctype.h>实现的更多相关文章

  1. C 标准库 - ctype.h

    C 标准库 - ctype.h This header declares a set of functions to classify and transform individual charact ...

  2. C 标准库 - ctype.h之iscntrl 使用

    iscntrl int iscntrl ( int c ); Check if character is a control character 检查给定字符是否为控制字符,即编码 0x00-0x1F ...

  3. C 标准库 - ctype.h之isalpha使用

    isalpha int isalpha ( int c ); Checks whether c is an alphabetic letter. 检查给定字符是否字母字符,即是大写字母( ABCDEF ...

  4. C 标准库 - ctype.h之isalnum使用

    isalnum int isalnum ( int c ); Checks whether c is either a decimal digit or an uppercase or lowerca ...

  5. C 标准库 - string.h

    C 标准库 - string.h This header file defines several functions to manipulate C strings and arrays. stri ...

  6. C 标准库 - <assert.h>

    C 标准库 - <assert.h> 简介 C 标准库的 assert.h头文件提供了一个名为 assert 的宏,它可用于验证程序做出的假设,并在假设为假时输出诊断消息. 已定义的宏 a ...

  7. C 标准库 - <stdarg.h>

    C 标准库 - <stdarg.h> 简介 stdarg.h 头文件定义了一个变量类型 va_list 和三个宏,这三个宏可用于在参数个数未知(即参数个数可变)时获取函数中的参数. 可变参 ...

  8. C 标准库 - <signal.h>

    C 标准库 - <signal.h> 简介 signal.h 头文件定义了一个变量类型 sig_atomic_t.两个函数调用和一些宏来处理程序执行期间报告的不同信号. 库变量 下面是头文 ...

  9. C 标准库 - <setjmp.h>

    C 标准库 - <setjmp.h> 简介 setjmp.h 头文件定义了宏 setjmp().函数 longjmp() 和变量类型 jmp_buf,该变量类型会绕过正常的函数调用和返回规 ...

随机推荐

  1. JS基础回顾，小练习（克隆对象，数组）

    对象的克隆: var srcObj = { a: 1, b: { b1: ["hello", "hi"], b2: "JavaScript" ...

  2. 企业云部署要如何选择IaaS PaaS和SaaS

    1为什么IaaS成了灵丹妙药   我非常惊讶,为什么很多传统企业已经接受了云计算,但接受的方式却往往不尽人意.对大多数企业来说,云计算的投入产出比相对较小,并且局限于基础设施层的环节. 就目前而言,大 ...

  3. 【转载】Unix Shell中用[-n]判断字符串不为NULL

    转载自:http://blog.sina.com.cn/s/blog_541086430100mosm.html 在Unix Shell中,可以使用-n来判断一个string不是NULL值,但是之前却 ...

  4. 【Java】一次SpringMVC+ Mybatis 配置多数据源经历

    需求 现在在维护的是学校的一款信息服务APP的后台,最近要开发一些新功能,其中一个就是加入学校电影院的在线购票.在线购票实际上已经有一套系统了,但是是外包给别人开发的,我们拿不到代码只能拿到数据库,并 ...

  5. python进阶学习笔记（四）--多线程thread

    在使用多线程之前,我们首页要理解什么是进程和线程. 什么是进程? 计算机程序只不过是磁盘中可执行的,二进制(或其它类型)的数据.它们只有在被读取到内存中,被操作系统调用的时候才开始它们的生命期.进程( ...

  6. SQL Server中的事务日志管理(2/9)：事务日志架构概述

    当一切正常时,没有必要特别留意什么是事务日志,它是如何工作的.你只要确保每个数据库都有正确的备份.当出现问题时,事务日志的理解对于采取修正操作是重要的,尤其在需要紧急恢复数据库到指定点时.这系列文章会 ...

  7. mysql获取插入时自增ID值的方法

    1.  LAST_INSERT_ID: LAST_INSERT_ID 是与table无关的,如果向表a插入数据后,再向表b插入数据,LAST_INSERT_ID会改变. LAST_INSERT_ID是 ...

  8. 一个让echarts中国地图包含省市轮廓的技巧

    背景知识及应用简介 本文主要介绍一个使用ECharts地图组件的取巧方法,该技巧源于实际需求中遇到的问题,一般没有该需求的话这个技巧也是用不到的.有前端基础和以及对ECharts有了解的人基本可以读懂 ...

  9. C#中部分方法返回值类型为什么只能是void？

    这个问题答案选至<C#入门经典> 如果方法具有返回类型,那就可以作为表达式的一部分: x=Manipulate(y,z); 如果没有给部分方法提供实现代码,编译器就会在使用该方法的所有地方 ...

  10. iostat命令

    http://www.orczhou.com/index.php/2010/03/iostat-detail/ Linux系统出现了性能问题,一般我们可以通过top.iostat.free.vmsta ...