Почему говорится "выражение не присваивается"?

Question

Прежде чем начать, я просто хочу уточнить, что я знаю, что означает ошибка, я просто не знаю, почему это произошло. Мало того, что это из известной книги, но я не уверен, почему указатель = указатель здесь недопустим. В любом случае, вот код из K&R с некоторыми небольшими изменениями в порядке объявлений и прочего, но в основном нетронутым:

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

#define MAXLINES 5000     /* max #lines to be sorted */
#define MAXLEN 1000  /* max length of any input line */

extern char *alloc(int);
int igetline(char *, int);
char *lineptr[MAXLINES];  /* pointers to text lines */
int readlines(char *lineptr[], int nlines);
void writelines(char *lineptr[], int nlines);
void qsort(char *lineptr[], int left, int right);

/* sort input lines */
int main(void)
{
    int nlines;     /* number of input lines read */

    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;
    }
}

/* readlines: read input lines */
int readlines(char *lineptr[], int maxlines)
{
    int len, nlines;
    char *p, line[MAXLEN];

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

/* writelines: write output lines */
void writelines(char *lineptr[], int nlines)
{
    int i;

    for (i = 0; i < nlines; i++)
        printf("%s\n", lineptr[i]);
}

/* igetline: read a line into s, return length */
int igetline(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;
        ++i;
    }
    s[i] = '\0';
    return i;
}

/* qsort: sort v[left]...v[right] into increasing order */
void qsort(char *v[], int left, int right)
{
    int i, last;
    void swap(char *v[], int i, int j);

    if (left >= right)  /* do nothing if array contains */
        return;         /* fewer than two elements */
    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);
}

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

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

Обратите внимание, что alloc() находится в другом файле. Я не думаю, что это как-то связано с этим, но вот код в любом случае:

#define ALLOCSIZE 10000 /* size of available space */

static char allocbuf[ALLOCSIZE]; /* storage for alloc */
static char *allocp = allocbuf;  /* next free position */

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

void afree(char *p)   /* free storage pointed to by p */
{
    if (p >= allocbuf && p < allocbuf + ALLOCSIZE)
        allocp = p;
}

Когда я попытался скомпилировать код выше, он дал мне эту ошибку:

cc sample5.6.c alloc.c
sample5.6.c:37:31: error: expression is not assignable
                if (nlines >= maxlines || p = alloc(len) == NULL)
                    ~~~~~~~~~~~~~~~~~~~~~~~ ^
1 error generated.

Answer 1

Попробуй это

 if ((nlines >= maxlines) || (p = alloc(len)) == NULL)

Группировка также имеет значение здесь!

Answer 2

if (nlines >= maxlines || p = alloc(len) == NULL)

Один краткий взгляд на синтаксис языка делает сразу очевидным, что материал внутри if () оператор является выражением присваивания. Другими словами, он анализируется как:

if ( (nlines >= maxlines || p) = (alloc(len) == NULL) )

То, что вы, вероятно, намеревались было:

if (nlines >= maxlines || (p = alloc(len)) == NULL)

который идентичен коду в моей копии K & R2.

Синтаксис языка

Далее следует выдержка из раздела синтаксиса языка n1570 (окончательный открытый вариант текущего стандарта C), стр. 467 и 472 (взначительной степени сокращенно). Синтаксис, подробно описанный в K & R2 ("Язык программирования C, второе издание" Кернигана и Ричи), идентичен.

выбор-утверждение:
      оператор if ( выражение )выражение:
      Назначение выражениевыражение присваивания:
      условно-выражение
      унарное выражение оператор присваивания выражение присваиванияусловное выражение:
      логическое ИЛИ-выражениелогическое ИЛИ-выражение:
      логическое ИЛИ-выражение || логическое И-выражение