基本形式
std::atomic<T*>
概念含义
原子指针类型,可以使用内置类型或自定义类型T,通过特化 std::atomic<T*> 进行定义,操作是针对于相关类型的指针。虽然既不能拷贝构造,也不能拷贝赋值,但是可以通过合适的类型指针进行构造和赋值。 std::atomic<T*> 也有load(), store(), exchange(), compare_exchange_weak()和
compare_exchage_strong()成员函数,获取与返回的类型都是T*。
fetch_add()和fetch_sub()
如果x是 std::atomic<Foo*> 类型
的数组的首地址,然后x+=3让其偏移到第四个元素的地址,并返回一个普通的 Foo* 类型值,这个指针值是指
向数组中第四个元素。fetch_add()和fetch_sub()的返回值略有不同(所以x.ftech_add(3)让x指向第四个元素,
并且函数返回指向第一个元素的地址)。这种操作也被称为“交换-相加”,并且这是一个原子的“读-改-写”操作
示例代码段
#include <iostream>
#include <atomic>
#include <thread>
void thread_func(std::atomic<int*>& atomicPtr, int* basePtr, int offset) {
for (int i = 0; i < 10000; ++i) {
int* oldPtr = atomicPtr.fetch_add(offset);
std::cout << "Thread " << std::this_thread::get_id() << " - Old Ptr: " << (oldPtr - basePtr) << ", New Ptr: " << (oldPtr + offset - basePtr) << std::endl;
}
}
void thread_func2(int** normalPtr, int* basePtr) {
for (int i = 0; i < 10000; ++i) {
std::cout << "Thread " << std::this_thread::get_id() << " - Old Ptr: " << (*normalPtr - basePtr);
(*normalPtr)++;
std::cout << ", New Ptr: " << (*normalPtr - basePtr) << std::endl;
}
}
int main() {
int arr[10000] = {0, 11, 22, 33, 44, 55, 66, 77, 88, 99};
std::atomic<int*> atomicPtr(arr);
int* oldPtr = arr;
int* arrFirst = arr;
int offset = 1;
//原子操作指针移动
// std::thread t1(thread_func, std::ref(atomicPtr), arr, offset);
// std::thread t2(thread_func, std::ref(atomicPtr), arr, offset);
//传统方式指针移动
std::thread t1(thread_func2, &arrFirst, oldPtr);
std::thread t2(thread_func2, &arrFirst, oldPtr);
t1.join();
t2.join();
return 0;
}
输出结果:
....省略前面打印内容
Thread 139790607288064 - Old Ptr: 19977, New Ptr: 19978
Thread 139790607288064 - Old Ptr: 19978, New Ptr: 19979
Thread 139790607288064 - Old Ptr: 19979, New Ptr: 19980
Thread 139790607288064 - Old Ptr: 19980, New Ptr: 19981
Thread 139790607288064 - Old Ptr: 19981, New Ptr: 19982
因为竞争的存在,最后newptr不是20000