C 使用指针意味着什么？
我是C和旋风的新手。我正在努力阅读迈克尔·希克斯的论文 他们说：我们使用一种过程内、流量敏感、路径不敏感的分析来跟踪唯一指针何时出现 被消耗，在这种情况下，分析拒绝使用指针的后续尝试。我们 选择过程内分析以确保模块化检查，选择路径不敏感分析以确保 可伸缩性。为了简化分析，请提供 唯一的指针，例如在赋值或函数中 调用被视为使用指针 他们使用指针是什么意思？这是标准术语吗C 使用指针意味着什么？,c,terminology,C,Terminology,我是C和旋风的新手。我正在努力阅读迈克尔·希克斯的论文 他们说：我们使用一种过程内、流量敏感、路径不敏感的分析来跟踪唯一指针何时出现 被消耗，在这种情况下，分析拒绝使用指针的后续尝试。我们 选择过程内分析以确保模块化检查，选择路径不敏感分析以确保 可伸缩性。为了简化分析，请提供 唯一的指针，例如在赋值或函数中 调用被视为使用指针 他们使用指针是什么意思？这是标准术语吗 e.g., in an assignment or function call 指针作为参数分配或传递给函数时会被使用 指针作
e.g., in an assignment or function call
指针作为参数分配或传递给函数时被使用。他们正在实现一个C变量，其中某些指针是唯一的；也就是说，不能同时拥有同一指针的两个副本。因此，每当您复制一个指针，将其分配给另一个变量，并将其传递给函数时，新副本被视为有效副本，旧副本被视为无效副本。他们称之为指针 在你在原稿中引用的那一节中，希克斯将这个词的意思用斜体表示，表明这个用法就是他定义含义的用法。使用指针的定义是跟踪指针被复制的时间，并拒绝进一步使用它
此用法基于以前的用法；例如，如果您检查了之前关于线性类型、别名类型和功能类型的工作中列出的引用，您会发现它们使用了类似意义上的单词consume。From：在线性类型系统中，混叠将受到很小的控制；区域名称的任何使用都将使用该名称，从而确保该名称不能在其他地方使用。因此，这个术语是基于现有的用法，但确切的定义仍需要在本文中阐明，因为希克斯将其应用于C变体中的指针，而不是类型化lambda演算中的名称。他们正在实现一个C变体，其中某些指针是唯一的；也就是说，不能同时拥有同一指针的两个副本。因此，每当您复制一个指针，将其分配给另一个变量，并将其传递给函数时，新副本被视为有效副本，旧副本被视为无效副本。他们称之为指针 在你在原稿中引用的那一节中，希克斯将这个词的意思用斜体表示，表明这个用法就是他定义含义的用法。使用指针的定义是跟踪指针被复制的时间，并拒绝进一步使用它
此用法基于以前的用法；例如，如果您检查了之前关于线性类型、别名类型和功能类型的工作中列出的引用，您会发现它们使用了类似意义上的单词consume。From：在线性类型系统中，混叠将受到很小的控制；区域名称的任何使用都将使用该名称，从而确保该名称不能在其他地方使用。因此，这个术语是基于现有的用法，但确切的定义仍需要在本文中阐明，因为希克斯将其应用于C变体中的指针，而不是类型化lambda演算中的名称。我认为关键是单词“后续”，因此，使用指针可能意味着任何使用指针的尝试我认为关键是后续一词，因此使用指针可能意味着任何使用指针的尝试引用的最后一句话说，唯一指针的副本（例如，在赋值或函数调用中）被视为使用指针。这不是你要问的吗？@JamesMcNellis所以这是他们在论文中定义的一个术语。它不是一个标准术语？@akh2103它在C语言中不是一个标准术语，它是线性类型和类似系统理论中的一个标准术语，该理论禁止对同一对象的两个名称使用别名，但考虑到正在引入一个与现有系统不同的新系统，本文给出了在这种特殊情况下的定义。我还想指出，如果你是C语言的新手，跳进一个相当模糊的基于研究的衍生工具，而这个衍生工具已经6年没有被触及过，这可能不是最好的起点。@BrianCampbell，我听到了！但我正以神风的方式潜水class@akh2103啊，这是有道理的。祝你好运引文的最后一句说，在赋值或函数调用中，唯一指针的副本被视为使用指针。这不是你要问的吗？@JamesMcNellis所以这是他们在论文中定义的一个术语。它不是一个标准术语？@akh2103它在C中不是一个标准术语，它是线性类型和类似系统理论中的一个标准术语，该理论禁止对同一对象的两个名称使用别名，但考虑到正在引入一个新系统，即n
与现有的定义相同，本文给出了这一特定情况下的定义。我还想指出，如果你是C语言的新手，跳进一个相当模糊的基于研究的衍生工具，而这个衍生工具已经6年没有被触及过，这可能不是最好的起点。@BrianCampbell，我听到了！但我正以神风的方式潜水class@akh2103啊，这是有道理的。祝你好运