K＆amp; R在其功能之外访问局部变量的例子？

Question

从this question我了解到你确实不应该导出本地变量的地址，并在声明它的函数之外使用它。

然而，在我看来，K＆amp; R在以下所示的程序中违反了这条规则，取自their book，p。 108。

我正在查看函数lineptr[nlines++] = p;中的行readlines。为什么在这里出口＆＃34;导出＆＃34; p并稍后在readlines之外使用它？

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define MAXLINES 5000

char *lineptr[MAXLINES];

int readlines(char *lineptr[], int nlines);
void writelines(char *lineptr[], int nlines);

void qsort(char *lineptr[], int left, int right);

int main(int argc, char *argv[])
{
     int nlines;

     if((nlines = readlines(lineptr, MAXLINES)) >= 0) {
          qsort(lineptr, 0, nlines-1);
          writelines(lineptr, nlines);
          return 0;
     } 
     else {
          printf("error: input too big to sort\n");
          return 1;
     }
}


#define MAXLEN 1000
int getline(char *, int);
char *alloc(int);

int readlines(char *lineptr[], int maxlines)
{
    int len, nlines;
    char *p, line[MAXLEN];

    nlines = 0;
    while((len = getline(line, MAXLEN)) > 0)
       if(nlines >= maxlines || (p = alloc(len)) == NULL)
          return -1;
       else {
            line[len-1] = '\0';
            strcpy(p, line);
            lineptr[nlines++] = p;
       }
    return nlines;
}

void writelines(char *lineptr[], int nlines)
{
     while(nlines -- > 0)
         printf("%s\n", *lineptr++);
}

int getline(char s[], int lim)
{
  int c, i;

  for (i = 0; i < lim - 1 && (c = getchar()) != EOF && c != '\n'; i++)
    s[i] = c;                                                         
  if (c == '\n') {
    s[i++] = c;   
  }
  s[i] = '\0';
  return i;
}

#define ALLOCSIZE 10000

static char allocbuf[ALLOCSIZE];
static char *allocp = allocbuf;

char *alloc(int n)
{
     if(allocbuf + ALLOCSIZE - allocp >= n) {
          allocp +=n;
          return allocp - n;
     }
     else 
          return 0;
}

void swap(char *v[], int i, int j)
{
     char *temp;

     temp = v[i];
     v[i] = v[j];
     v[j] = temp;
}

void qsort(char *v[], int left, int right) {

    int i, last;

    if(left >= right) 
       return;

    swap(v, left, (left+right)/2);
    last = left;

    for(i = left + 1; i <= right; i++)
      if(strcmp(v[i], v[left]) < 0)
         swap(v, ++last, i);

    swap(v, left, last);
    qsort(v, left, last-1);
    qsort(v, last+1, right);
}

Answer 1

在：

lineptr[nlines++] = p;

存储p的值，而不是其地址。地址为&p。当然，p的值恰好是一个地址，因为p是一个指针，而指针的值代表一个地址。但这没有任何后果。该规则仍在遵循;没有任何局部变量的地址存储在函数外的任何地方，p的值不是局部变量的地址。

如果您按照调用链进行操作，则可以确定p的值可以为0，或者是allocbuf内的某个地址。 allocbuf不是局部变量。它是文件范围内的static变量。