用 C 构建 Pascal 编译器时的指针问题

Question

我的编译器在词法分析方面遇到一些问题 我声明了以下指针

char *words[29]={
        "program",
        "label",
        "integer",
        "word",
        "char",
        "byte",
        "shortint",
        "logint",
        "real",
        "single",
        "double",
        "string",
        "boolean",
        "var",
        "procedure",
        "function",
        "begin",
        "end",
        "if",
        "then",
        "else",
        "or",
        "and",
        "div",
        "not",
        "do",
        "while",
        "mod"
};
char message[30];

，然后尝试在函数中使用它，

for (handle = 0; (&words[handle] != NULL); handle++)
{
    message = &words[handle];
    if (!strcmp(token, message))
        message = 'words';
}

但在尝试执行时收到以下错误：

关于（行消息 = 
  &words[handle];) : 警告 C4047: '=' 
  : 'char [30]' 的级别不同 
  来自 'char ** ' 的间接寻址 

  关于（行消息 = 
  &words[handle];) : 错误 C2106: '=' : 
  左操作数必须是左值 

  关于 (line message='words';) ： 
  错误 C2015：字符过多 
  持续的 

  关于 (line message='words';) ： 
  错误 C2106: '=' : 左操作数必须 
  为左值 
  

我不能那样使用指针吗？ 你有什么建议吗？

Answer 1

三件事：

1. 与号 (&) 是无关的。 words[handle] 的类型是 char *，即字符串，因此您就拥有了所需的内容。 您不需要获取该 char * 的地址。

2. 您不能使用 = 直接分配给 message，因为它是一个数组。 C 并不是一门非常奇特的语言。 您可以将 message 更改为 char *message，因此它是一个指针而不是数组； 或者您可以使用 strcpy(dst, src) 函数复制到其中，如下所示：strcpy(message, "words")。

3. 您的 for 循环在 words 数组中查找 NULL 指针，以便它知道何时停止 - 但您没有数组中的NULL！ 您需要在末尾添加 NULL。 正如所写，只有常规字符串，因此循环永远不会找到它正在寻找的空指针，并且会进入未知的内存区域。

希望有帮助！

Answer 2

你有很多错误：

• 而不是 &words[handle]，使用
  words[handle]
• 你想通过 message = 'words' 做什么？ 这里至少有3处错误：字符串使用了双引号，而不是单引号； message 是一个常量，你无法改变它； 要复制字符串，您需要使用 strcpy()，而不仅仅是 = 运算符，
• 如果字符串相等，则 strcmp() 返回 0； 您需要反转您的逻辑，
• 您忘记在数组末尾包含 NULL

Answer 3

您的代码存在很多问题。 首先，您应该将关键字数组声明为 const char *words[]。 将字符串常量声明为 char * 而不使用 const 是一种不好的做法； 仅允许旧代码仍然可以编译。

您不应在声明中指定数组大小 29，因为它很脆弱。 您应该只使用空括号并让编译器计算出数组大小。 您可以通过执行 sizeof(words)/sizeof(words[0]) 来获取数组的大小，即使您从 words。

接下来，您的 for 循环永远不会终止（尽管它几乎肯定会在某个时刻出现段错误）。 获取值的地址永远不会产生空指针，因此 &words[handle] != NULL 将始终为 true。 迭代循环的正确方法是仅计算条目数：

for(handle = 0; handle < sizeof(words)/sizeof(words[0]); handle++)

message 被声明为字符数组。 数组不可分配，即它们不是左值。 如果要分配给数组，则必须使用诸如 strcpy() 之类的方法将数据显式复制到其中（不推荐，除非在某些情况下，因为可能存在缓冲区溢出）、strncpy ()、memcpy() 或 strncpy_s()（仅在 Windows 上可用）。

但在这种情况下，您根本不需要数组——您只想分配一个指针。 将 message 声明为 const char *。 正确声明 message 后，您可以这样做：

const char *message;
...
message = words[handle];
if(!strcmp(token, message))
    message = "words";

在最后的语句中，您应该在 words 周围使用双引号，使其成为字符串常量。 单引号用于单字符常量（例如'A'）。 尽管从技术上讲它们可以包含多个字符，但生成的整数常量的字节序是实现定义的，在这种情况下它们不是您想要的。

我也不太确定你想用 message = "words"; 行做什么。 如果您尝试使用 words 变量执行一些巧妙的操作，请立即停止，它不会起作用。 C 没有任何类型的反射。