指针混淆

Question

编辑：队列是 2d 的原因是因为我需要一个 Command 指针，以便 cmd 可以等于 NULL。空==（无效*）。这就是我感到困惑的地方，也是我来这里的原因。 :)

为了帮助尝试找出我在 Python 中遇到的另一个问题，我正在用 C 语言实现一个小型测试程序。虽然我知道一点，但显然我很困惑。我正在尝试编写一个用于异步 USB 传输的简单队列。队列有问题，因为从队列中弹出的每个命令都是相同的。如果我将 queue[1024][0] 写为 queue[1024][1]，则该命令会在两个不同的命令之间交替，并且程序在 command_thread_main 中崩溃。显然它没有注意到 cmd 应该为 NULL。据我所知，将 [1] 更改得更高没有任何效果。有什么提示吗？

typedef struct Command {
    void (*cb) (char *data, int size);
    unsigned char *data;
    int size;
} Command;

struct Command queue[1024][0];

int queueEnd = 0;
int queueStart = 0;

static void queue_push(void (*cb), unsigned char *data, int size) {
    if (queueEnd >= 1024)
        return;
    queue[queueEnd]->cb = cb;
    queue[queueEnd]->data = data;
    queue[queueEnd]->size = size;
    queueEnd++;
}

struct Command * queue_pop(void) {
    if( queueStart > queueEnd )
        return NULL;
    return queue[queueStart++];
}

static void *command_thread_main(void *arg) {
    struct Command *cmd;
    while (!do_exit) {
        if(locked) continue;
        locked = 1;
        cmd = queue_pop();
        if(cmd != NULL)
            cmd->cb(cmd->data, cmd->size);
    }
}

Answer 1

我认为您有一个错误需要先修复。您有一个二维命令数组，并将其中一个维度设置为零！

struct Command queue[1024][0];

当您访问队列时，您似乎将其视为一维结构。您是否应该将其声明为：

struct Command queue[1024];

Answer 2

• 你不是说struct Command queue[1024];吗？ （也就是说，没有 [0] 或 [1] 或其他。）
• 在queue_pop 我认为你应该测试queueStart >= queueEnd。
• 你应该实现一个循环数组。

现在您将结构本身存储在一个数组中，而不是指向它的指针。这是明智的。不过，您需要将 -> 更改为 .：

queue[queueEnd].cb = cb;
queue[queueEnd].data = data;
queue[queueEnd].size = size;

（因此queue_pop 应该返回一个struct Command 类型的变量（而不是struct Command *），并且主代码也应该相应地更新。）

当然，您也可以传递指针，但是对于这么小的结构/队列，实际上并没有必要。

Answer 3

正如其他人所指出的，2D 队列绝对是错误的。你需要一个一维队列，我怀疑你想要的是一个指针数组：

Command * queue[1024];

我建议你去思考一下这个问题，画一些图表，然后带着更清晰的代码和问题回来。

Answer 4

另一个问题是您已将队列声明为structs 的数组，但您通过使用取消引用-> 运算符而不是成员资格. 将其用作指向结构的指针数组.

我的意思不是听起来刻薄，但编译器警告标志（-Wall 用于 gcc）是你的朋友。