C语言标准库函数getenv的实现

C语言标准库函数getenv可获取环境参数（根据参数名称），
函数声明：char* getenv(char*name);
extern char **environ

其实现如下：


---------------glibc-1.09.1/sysdeps/generic/getenv.c

 /* Return the value of the environment variable NAME.  */
 char *
 DEFUN(getenv, (name), register CONST char *name)
 {
   register CONST size_t len = strlen(name);
   register char **ep;


   if (__environ == NULL)
     return NULL;


   for (ep = __environ; *ep != NULL; ++ep)
     if (!strncmp(*ep, name, len) && (*ep)[len] == '=')
       return &(*ep)[len + 1];


   return NULL;
 }

其中全局指针__environ指向环境参数串的指针数组，通过循环匹配找到指定的参数名称，获取=后的参数值并返回其指针。
那么__environ是在哪定义的呢？是在start.c中。


---------------glibc-1.09.1/sysdeps/unix/start.c
C程序链接时,这部分stub代码会链接到在程序开始处，_start是C程序真正的入口，_start调用start1,
而start1在调用初始化代码__libc_init后会调用main()。
从下面的代码看出，为什么main中末尾无需exit(),因为start1代劳了。至于堆栈中的argc,argv,envp
这些都是操作系统在调用系统调用execve执行程序时就安排好的，start1的形参可以去到这些进程参数和环境变量，
全局指针environ则等于envp（指向环境参数指针数组的指针）。

 …………
 #define __environ   environ
 …………
 static void start1();
 …………
 /* N.B.: It is important that this be the first function.
    This file is the first thing in the text section.  */
 void
 DEFUN_VOID(_start)
 {
   start1();
 }
 …………
 /* ARGSUSED */
 static void
 start1(ARG_DUMMIES argc, argp)
      DECL_DUMMIES
      int argc;
      char *argp;
 {
   char **argv = &argp;


   /* The environment starts just after ARGV.  */
   __environ = &argv[argc + 1];


   /* If the first thing after ARGV is the arguments
      themselves, there is no environment.  */
   if ((char *) __environ == *argv)
     /* The environment is empty.  Make __environ
        point at ARGV[ARGC], which is NULL.  */
     --__environ;


   /* Do C library initializations.  */
   __libc_init (argc, argv, __environ);


   /* Call the user program.  */
   exit(main(argc, argv, __environ));
 }

正常的内存堆栈布局是这样的

地址从低到高：
int argc 
char** argv(指针数组，0结尾)
char** envp(指针数组，0结尾)
string[] arg(顺序排列的参数串数组，每个参数串0结尾) 
string[] env(顺序排列的环境参数串数组，每个参数串0结尾) 
其中argv[0]指向arg[0],argv[1]指向arg[1]，……。
正常情况 &argv[argc+1]=envp,但是如果环境参数没有，那么堆栈中就没有envp指针数组和env串数组，那么argv后就直接是
arg的参数串数组了，此时堆栈布局如下：
int argc 
char** argv(指针数组，0结尾)
string[] arg(顺序排列的参数串数组，每个参数串0结尾) 


所以有&argv[argc+1]=*argv (第一个参数指针argv[0]是指向第一个参数串的)，这是上述代码中
if ((char *) __environ == *argv)
    /* The environment is empty.  Make __environ
       point at ARGV[ARGC], which is NULL.  */
    --__environ;

的由来。