如果函数返回的指针永远都不会“别名指向(alias)[1]”已有内存——几乎是确定的,因为函数已经分配了新的内存,并返回指向它的指针——编程人员可以通过malloc关键字来标识该函数,从而编译器可以执行合适的优化: