我可以用分配的内存做我想做的事吗

标签 c pointers malloc strict-aliasing

我对已分配内存的操作是否有限制?(标准方式)

例如

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

struct str{
    long long a;
    long b;
};

int main(void) 
{
    long *x = calloc(4,sizeof(long));
    x[0] = 2;
    x[3] = 7;
//is anything beyond here legal( if you would exclude possible illegal operations)
    long long *y = x; 
    printf("%lld\n",y[0]); 
    y[0] = 2;
    memset (x,0,16);
    struct str *bar = x;
    bar->b =  4;
    printf("%lld\n",bar->a); 
    return 0;
}

总结:

  • 只要大小合适,我可以将指针重新转换为其他数据类型和结构吗?
  • 那么我可以先阅读再写作吗?
  • 如果不能,我写完了还能看吗?
  • 我可以将它用于小于分配内存的结构吗?

最佳答案

y[0] 读取违反了严格的别名规则。您使用 long long 类型的左值读取有效类型的对象 long .

假设您省略了该行;下一个麻烦的部分是memset(x,0,16); . This answer认为 memset不更新有效类型。标准不明确。

假设memset保持有效类型不变;下一期是阅读 bar->a .

C 标准对此也不清楚。有人说bar->a暗示(*bar).a这是一个严格的别名违规,因为我们没有写 bar首先反对该位置。

其他人(包括我)说没问题:用于访问的唯一左值是 bar->a ;这是 long long 类型的左值, 它访问一个有效类型的对象 long long (y[0] = 2; 写的那个)。

有一个 C2X 工作组正在致力于改进严格别名的规范以澄清这些问题。

关于我可以用分配的内存做我想做的事吗,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41872430/

相关文章:

c - malloc分配的大小如何取决于RAM?

c - sqlite3_open : "unable to open database file"

c - 在限制范围内分解数字的最佳方法

c++ - 高效的浮点比较

将 C 字符串转换为 Pascal 风格的字符串

c - 排序时出现段错误

c - 如何使用 malloc 从函数返回 char 数组

c - 将二维数组传递给常量参数的函数

c - 在 C 中复制字符串时遇到问题?

C --> malloc --> dlsym