C中数字字符的数值

我刚开始通读 The C Programming Language 我很难理解其中的一部分。以下是第24页的摘录:

#include<stdio.h>

/*countdigits,whitespace,others*/

main()
{
  intc,i,nwhite,nother;
  intndigit[10];
  
  nwhite=nother=0;
  for(i=0;i<10;++i)
      ndigit[i]=0;
      
  while((c=getchar())!=EOF)
      if(c>='0'&&c<='9')
          ++ndigit[c-'0']; //THIS IS THE LINE I AM WONDERING ABOUT
      else if(c==''||c=='\n'||c=='\t')
          ++nwhite;
      else
          ++nother;
          
  printf("digits=");
  for(i=0;i<10;++i)
      printf("%d",ndigit[i]);
  printf(",whitespace=%d,other=%d\n",
      nwhite,nother);
}

此程序在自身上运行的输出是

digits=9300000001,whitespace=123,other=345

intndigit[10];

ndigit[0], ndigit[ 1], ..., ndigit[9]

这反映在初始化和打印数组的for循环中。下标可以是任何整数表达式,其中包括整数变量(如i)和整数常量。这个特殊的程序依赖于数字的字符表示的属性。例如,测试

if(c>='0'&&c<='9')

确定c中的字符是否为数字。如果是,则该数字的数值为

c-'0'`

仅当“0”、“1”、“…”和“9”具有连续递增的值时,此操作才有效。幸运的是,这适用于所有角色集。根据定义,char只是小整数,所以char变量和常量与算术表达式中的int相同。这是自然和方便的;例如

c-'0'

是一个整数表达式,其值介于0和9之间,对应于存储在c中的字符“0”到“9”,因此是数组ndigit的有效下标。

-'0' 部分在表达式中是必需的 c-'0' . 如果一个字符如作者所说是一个小整数,并且数字字符对应于它们的数值,那么是什么呢