从花式swap引出的pointer aliasing问题

上次,一个同学问我,你知不知道可以不用引入中间变量就可以实现swap?

我说,我知道,可以用加减法或者异或实现,像是这样

void mySwap(int &x,int &y) {
    x=x+y;
    y=x-y;
    x=x-y;
}

或者这样

void mySwap(int &x,int &y) {
    x=x^y;
    y=x^y;
    x=x^y;
}

但这种花式swap没什么意义,而且具有风险,那就是如果参数引用的是同一个变量,将产生错误的结果0。

这种问题叫pointer aliasing

另外C++中也有类似于C语言的restrict关键字,当为参数加上__restrict修饰时,编译器可以据此作出一些编译优化,但是是基于这些指针都是引用不同变量的。如果程序员引用了同样的变量,是undefined behavior(未定义行为)。

来看下面所示的代码片段

int sum(int* __restrict x,int* __restrict y) {
    *x=3;
    *y=4;
    return *x+*y;// return 7
}
int main () {
    int x=1,y=2;
    printf("%d\n",sum(&x,&y));
    return 0;
}

这代码片段在开不开启编译优化的情况下,都能正确地返回7。

当我们不使用变量y,只使用x,并且不开启任何编译优化的情况下,下面的代码片段能够正确地返回8

int sum(int* __restrict x,int* __restrict y) {
    *x=3;
    *y=4;
    return *x+*y;// return 8
}
int main () {
    int x=1;
    printf("%d\n",sum(&x,&x));
    return 0;
}

但是当我们在上述代码片段基础上,一旦开启了编译优化(只需-O级),下面的代码片段将错误地返回7

int sum(int* __restrict x,int* __restrict y) {
    *x=3;
    *y=4;
    return *x+*y;// return 7
}
int main () {
    int x=1;
    printf("%d\n",sum(&x,&x));
    return 0;
}

原因很简单,因为编译器根据restrict假设了两个指针指向不同变量,作出了编译优化,在编译阶段便已经知道应当返回7。而我们在实际过程仍然令两个指针指向同一变量,这是未定义行为导致的结果错误。

时间: 2024-10-14 04:10:13

从花式swap引出的pointer aliasing问题的相关文章

由swap引出的局部变量,形参和指针的小问题

1.第一种实现swap函数的方法是: swap(int a,int b) { Int c = a;a = b;b =c; } 这表面一看确实是实现了整数a,b的交换,当拿来用时发现,结果并不是我们想要的.分析一下原因:在main中int x=1,y=2;然后调用swap(x,y):这相当于int a = x ; int b = y;这样完成了赋值操作(对形参赋值),在swap函数内部对a和b的替换和main中的x,y没有任何关系了,所以当然不能完成x,y的互换了. 2.现在呢,来看一下第二种实现

使用freerdp远程连接Windows桌面

之前使用的是rdesktop,但是由于其不支持NLA认证,便不能登录公司的电脑.为此,现在使用freerdp——这是package的名字,实际的可执行程序是xfreerdp.使用如下的命令行即可实现远程桌面: xfreerdp -u user_name -d domain_name -a 32 -g 1920x1030 -x 0 --fonts --sec nla ip_address 参数解释如下: -u:用户名 -d:域名 -a:使用32位颜色 -g:窗口大小 -x 0:使用LAN模式获得最

LeetCode 75. Sort Colors(排序颜色)

Given an array with n objects colored red, white or blue, sort them so that objects of the same color are adjacent, with the colors in the order red, white and blue. Here, we will use the integers 0, 1, and 2 to represent the color red, white, and bl

c99标准的restrict关键字

参考自restrict restrict关键字出现于C99标准,wiki上的解释restrict from wiki. In the C programming language, as of the C99 standard, restrict is a keyword that can be used in pointer declarations. The restrict keyword is a declaration of intent given by the programmer

Swap Nodes in Pairs; Data Structure; Linked List; Pointer;

注意用指针记录节点的前一个节点位置. 代码: /** * Definition for singly-linked list. * public class ListNode { * int val; * ListNode next; * ListNode(int x) { val = x; } * } */ public class Solution { public ListNode swapPairs(ListNode head) { if(head == null || head.nex

Linux内存机制以及手动释放swap和内存

哇,感觉好久没更新了,今天我们来谈谈Linux的内存机制. 首先我们理一下概念 一.什么是linux的内存机制? 我们知道,直接从物理内存读写数据要比从硬盘读写数据要快的多,因此,我们希望所有数据的读取和写入都在内存完成,而内存是有限的,这样就引出了物理内存与虚拟内存的概念. 物理内存就是系统硬件提供的内存大小,是真正的内存,相对于物理内存,在linux下还有一个虚拟内存的概念,虚拟内存就是为了满足物理内存的不足而提出的策略,它是利用磁盘空间虚拟出的一块逻辑内存,用作虚拟内存的磁盘空间被称为交换

Compare And Swap(CAS)实现无锁多生产者

1.CAS 原理 compare and swap,解决多线程并行情况下使用锁造成性能损耗的一种机制,CAS操作包含三个操作数--内存位置(V).预期原值(A)和新值(B).如果内存位置的值与预期原值相匹配,那么处理器会自动将该位置值更新为新值.否则,处理器不做任何操作.无论哪种情况,它都会在CAS指令之前返回该位置的值.CAS有效地说明了"我认为位置V应该包含值A:如果包含该值,则将B放到这个位置:否则,不要更改该位置,只告诉我这个位置现在的值即可. 当同时存在读写线程时,默认情况下是不保证线

《Effective C 》资源管理:条款25--考虑写出一个不抛出异常的swap函数

条款25考虑写出一个不抛出异常的swap函数 条款25:考虑写出一个不抛出异常的swap函数 swap是STL中的标准函数,用于交换两个对象的数值.后来swap成为异常安全编程(exception-safe programming,条款29)的脊柱,也是实现自我赋值(条款11)的一个常见机制.swap的实现如下: namespace std{ template<typename T> void swap(T& a, T& b) { T temp(a); a=b; b=temp;

实战c++中的智能指针unique_ptr系列-- unique_ptr的operator=、operator bool、reset、swap、get等介绍

既然打算把unique_ptr写一个系列,就要详尽一点,有些内容也许在vector的时候有个涉及,但是现在还是再谈论一番. 我们要把unique_ptr看做一个类,废话了,它当然是一个类.所以这个类肯定也重载了赋值运算符,即operator=.现在就开始看看operator=在unique_ptr中的使用: 官方描述如下: move assignment (1) unique_ptr& operator= (unique_ptr&& x) noexcept; assign null