c++ - 在 C++ 中使用 std::vector 进行转义分析
问题描述
我想知道 Clang 或 GCC 中是否有任何优化选项可用于std::vector
C++ 中的转义分析。因为std::vector<int>
在下面的示例中,不需要v
在堆或堆栈中分配实际数据。编译器实际上可以在堆栈上分配v.data()
以获得更好的性能。
假设 Clang/GCC 不做逃逸分析,是否有什么特别的动机不使用逃逸分析?
假设 Clang/GCC 进行了逃逸分析,为什么 value of
v.data()
和&x
这么不同?
#include<cstdio>
#include<vector>
int main() {
int x = 0;
std::vector<int> v(3, 0);
std::printf("&x: %p\n", &x);
//std::printf("&v: %p\n", &v); // we intentionally don't print the pointer to v here.
std::printf("v.data(): %p\n", v.data());
return x + v[0]; // we want compiler not to optimize everything out
}
预期结果
&x: <some address>
v.data(): <some address> + 4
Clang 和 GCC 的实际结果
[*****@localhost test]$ g++ test.cc -O3
[khanh@localhost test]$ ./a.out
&x: 0x7ffe2af5a59c
v.data(): 0xadde70
[*****@localhost test]$ clang++ test.cc -O3
[*****@localhost test]$ ./a.out
&x: 0x7fff66ce1ab4
v.data(): 0xfeee70
谢谢!
解决方案
Clang 编译器存在逃逸分析。
示例代码:来自@geza https://godbolt.org/z/N1GLUI
int fn(int a, int b, int c) {
int *t = new int[3];
t[0] = a;
t[1] = b;
t[2] = c;
int r = t[0]+t[1]+t[2];
delete[] t;
return r;
}
海合会
fn(int, int, int):
push r12
mov r12d, edx
push rbp
mov ebp, esi
push rbx
mov ebx, edi
mov edi, 12
call operator new[](unsigned long)
mov DWORD PTR [rax], ebx
add ebx, ebp
mov rdi, rax
mov DWORD PTR [rax+4], ebp
mov DWORD PTR [rax+8], r12d
add r12d, ebx
call operator delete[](void*)
mov eax, r12d
pop rbx
pop rbp
pop r12
ret
铛
fn(int, int, int): # @fn(int, int, int)
lea eax, [rdi + rsi]
add eax, edx
ret
推荐阅读
- slick-2.0 - 等待 CockroachDB 命令完成
- sql - SQL 嵌套和/或语句
- c# - 在线程中调用多个方法的最佳方法
- coldfusion - 指定 JDBC 数据库驱动程序最大线程数
- python-3.x - 如何动态知道 pySpark DF 对于给定列是否具有空值/空值?
- postgresql - 在 Okteto Cloud 上创建 PersistentVolume
- php - Apple Pay - authorize.net 仅在直播时返回错误 153,沙盒有效
- python - How to get all dimension values in MetricDataResults in CloudWatch
- c - 内存泄漏 C -Valgrind
- kotlin - 可变映射
返回可为空的布尔值?使用键进行值访问