草庐IT

c++ - 静态数组与动态数组的 C/C++ 性能

coder 2023-06-01 原文

当性能对应用程序至关重要时,是否应该考虑是在堆栈上还是在堆上声明数组?请允许我概述一下为什么会想到这个问题。

由于 C/C++ 中的数组不是对象并且会衰减为指针,因此编译器使用提供的索引来执行指针运算以访问元素。我的理解是这个程序不同 当经过第一维时,从静态声明的数组到动态声明的数组。

如果我要在堆栈上声明一个数组,如下所示;

  int array[2][3] = { 0, 1, 2, 3, 4, 5 }
  //In memory        { row1 } { row2 }

该数组将存储在 行长 在内存中格式化,因为它存储在连续的内存块中。这意味着当我尝试访问数组中的元素时,编译器必须执行一些加法和乘法以确定正确的位置。

所以如果我要执行以下操作
  int x = array[1][2]; // x = 5

然后编译器将使用这个公式,其中:

i = 行索引 j = 列索引 n = 单行的大小(这里 n = 2)
数组 = 指向第一个元素的指针
  *(array + (i*n) + j)
  *(array + (1*2) + 2)  

这意味着如果我要循环访问这个数组来访问它的每个元素,那么每个索引访问都会执行一个额外的乘法步骤。

现在,在堆上声明的数组中,范式不同,需要多阶段解决方案。注意:我也可以在这里使用 C++ new 运算符,但我相信数据的表示方式没有区别。
  int ** array;
  int rowSize = 2;
  // Create a 2 by 3 2d array on the heap
  array = malloc(2 * sizeof(int*));
  for (int i = 0; i < 2; i++) {
      array[i] = malloc(3 * sizeof(int));
  }

  // Populating the array
  int number = 0;
  for (int i = 0; i < 2; i++) {
      for (int j = 0l j < 3; j++) {
          array[i][j] = number++;
      }
  }

由于数组现在是动态的,它的表示是一维数组的一维数组。我会试着画一个ascii图片......
              int *        int int int
int ** array-> [0]          0   1   2
               [1]          3   4   5

这意味着不再涉及乘法,对吗?如果我要执行以下操作
int x = array[1][1];

然后将在 array[1] 上执行间接/指针算术以访问指向第二行的指针,然后再次执行此操作以访问第二个元素。我这样说对吗?

现在有一些背景,回到问题。如果我正在为一个需要清晰性能的应用程序编写代码,比如一个需要大约 0.016 秒来渲染一个帧的游戏,我应该三思而后行在堆栈上使用数组还是在堆上使用数组?现在我意识到使用 malloc 或 new 运算符有一次性成本,但是在某个时刻(就像 Big O 分析一样)当数据集变大时,最好遍历动态数组以避免行主要索引?

最佳答案

这些将适用于“普通”C(不是 C++)。

首先让我们明确一些术语

"static"是 C 中的一个关键字,如果它应用于函数内声明的变量,它将彻底改变分配/访问变量的方式。

变量(包括数组)可以在 3 个地方(关于 C):

  • 堆栈:这些是没有 static 的函数局部变量.
  • 数据部分:程序启动时为这些分配空间。这些是任何全局变量(无论是否为 static,关键字与可见性相关),以及声明为 static 的任何函数局部变量。 .
  • 堆:由指针引用的动态分配的内存( malloc() & free() )。您只能通过指针访问此数据。

  • 现在让我们看看如何访问一维数组

    如果您访问具有常量索引的数组(可能是 #define d,但在普通 C 中不是 const),则该索引可以由编译器计算。如果在 Data 部分中有一个真正的数组,则无需任何间接访问即可访问它。如果堆栈上有指针(堆)或数组,则始终需要间接寻址。因此,具有这种访问类型的 Data 部分中的数组可能会快一点。但这不是一件非常有用的事情,可以改变世界。

    如果您访问一个带有索引变量的数组,它基本上总是衰减为一个指针,因为索引可能会改变(例如在 for 循环中递增)。对于此处的所有类型,生成的代码可能非常相似甚至相同。

    引入更多维度

    如果你声明一个二维或更多维数组,并通过常量部分或全部访问它,智能编译器很可能会像上面一样优化这些常量。

    如果按索引访问,请注意内存是线性的。如果真实数组的后面维度不是 2 的倍数,则编译器将需要生成乘法。例如在数组 int arr[4][12]; 中第二个维度是 12。如果您现在访问它为 arr[i][j]哪里ij是索引变量,线性内存必须被索引为 12 * i + j .所以编译器必须在这里生成与常数相乘的代码。复杂性取决于常量与 2 的幂的“远”。这里的结果代码可能看起来有点像计算 (i<<3) + (i<<2) + j访问数组中的元素。

    如果您从指针构建二维“数组”,则维度的大小无关紧要,因为您的结构中有引用指针。如果你可以在这里写arr[i][j] ,这意味着您将其声明为例如 int* arr[4] ,然后 malloc()编辑了四块内存为 12 int每一个都投入其中。请注意,您的四个指针(编译器现在可以用作基数)也会消耗内存,如果它是真正的数组,则不会占用这些内存。另请注意,此处生成的代码将包含双重间接寻址:首先,代码通过 i 加载一个指针。来自 arr ,然后它会加载一个 int从该指针 j .

    如果长度与 2 的幂“相距甚远”(因此必须生成复杂的“乘以常数”代码来访问元素),那么使用指针可能会生成更快的访问代码。

    James Kanze在他的回答中提到,在某些情况下,编译器可能能够优化对真正多维数组的访问。对于由指针组成的数组,这种优化是不可能的,因为在这种情况下,“数组”实际上不是线性内存块。

    地点很重要

    如果您正在为通常的台式机/移动架构(英特尔/ARM 32/64 位处理器)进行开发,则本地化也很重要。这就是缓存中可能存在的内容。如果您的变量由于某种原因已经在缓存中,它们将被更快地访问。

    就局部性而言,堆栈始终是赢家,因为堆栈是如此频繁地使用,以至于它很可能总是位于缓存中。所以小阵列最好放在那里。

    使用真正的多维数组而不是从指针组合一个也可能在这方面有所帮助,因为真正的数组始终是一块线性内存,因此它通常可能需要较少的缓存块来加载。分散的指针组合(即如果单独使用 malloc() ed 块)相反可能需要更多的缓存块,并且可能会增加缓存线冲突,具体取决于块在物理上最终在堆上的方式。

    关于c++ - 静态数组与动态数组的 C/C++ 性能,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/17775066/

    有关c++ - 静态数组与动态数组的 C/C++ 性能的更多相关文章

    1. ruby-on-rails - 在 Ruby 中循环遍历多个数组 - 2

      我有多个ActiveRecord子类Item的实例数组,我需要根据最早的事件循环打印。在这种情况下,我需要打印付款和维护日期,如下所示:ItemAmaintenancerequiredin5daysItemBpaymentrequiredin6daysItemApaymentrequiredin7daysItemBmaintenancerequiredin8days我目前有两个查询,用于查找maintenance和payment项目(非排他性查询),并输出如下内容:paymentrequiredin...maintenancerequiredin...有什么方法可以改善上述(丑陋的)代

    2. ruby - 多次弹出/移动 ruby​​ 数组 - 2

      我的代码目前看起来像这样numbers=[1,2,3,4,5]defpop_threepop=[]3.times{pop有没有办法在一行中完成pop_three方法中的内容?我基本上想做类似numbers.slice(0,3)的事情,但要删除切片中的数组项。嗯...嗯,我想我刚刚意识到我可以试试slice! 最佳答案 是numbers.pop(3)或者numbers.shift(3)如果你想要另一边。 关于ruby-多次弹出/移动ruby​​数组,我们在StackOverflow上找到一

    3. ruby - 将数组的内容转换为 int - 2

      我需要读入一个包含数字列表的文件。此代码读取文件并将其放入二维数组中。现在我需要获取数组中所有数字的平均值,但我需要将数组的内容更改为int。有什么想法可以将to_i方法放在哪里吗?ClassTerraindefinitializefile_name@input=IO.readlines(file_name)#readinfile@size=@input[0].to_i@land=[@size]x=1whilex 最佳答案 只需将数组映射为整数:@land边注如果你想得到一条线的平均值,你可以这样做:values=@input[x]

    4. ruby-on-rails - 如何优雅地重启 thin + nginx? - 2

      我的瘦服务器配置了nginx,我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例,但找不到好的解决方案。有没有人能做到这一点? 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器,例如server{listen80;server

    5. ruby - 通过 erb 模板输出 ruby​​ 数组 - 2

      我正在使用puppet为ruby​​程序提供一组常量。我需要提供一组主机名,我的程序将对其进行迭代。在我之前使用的bash脚本中,我只是将它作为一个puppet变量hosts=>"host1,host2"我将其提供给bash脚本作为HOSTS=显然这对ruby​​不太适用——我需要它的格式hosts=["host1","host2"]自从phosts和putsmy_array.inspect提供输出["host1","host2"]我希望使用其中之一。不幸的是,我终其一生都无法弄清楚如何让它发挥作用。我尝试了以下各项:我发现某处他们指出我需要在函数调用前放置“function_”……这

    6. ruby - 检查数组是否在增加 - 2

      这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加?这是我的解决方案,但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife

    7. ruby - 如果指定键的值在数组中相同,如何合并哈希 - 2

      我有一个这样的哈希数组:[{:foo=>2,:date=>Sat,01Sep2014},{:foo2=>2,:date=>Sat,02Sep2014},{:foo3=>3,:date=>Sat,01Sep2014},{:foo4=>4,:date=>Sat,03Sep2014},{:foo5=>5,:date=>Sat,02Sep2014}]如果:date相同,我想合并哈希值。我对上面数组的期望是:[{:foo=>2,:foo3=>3,:date=>Sat,01Sep2014},{:foo2=>2,:foo5=>5:date=>Sat,02Sep2014},{:foo4=>4,:dat

    8. ruby - 在 Ruby 中用键盘诅咒数组浏览 - 2

      我正在尝试在Ruby中制作一个cli应用程序,它接受一个给定的数组,然后将其显示为一个列表,我可以使用箭头键浏览它。我觉得我已经在Ruby中看到一个库已经这样做了,但我记不起它的名字了。我正在尝试对soundcloud2000中的代码进行逆向工程做类似的事情,但他的代码与SoundcloudAPI的使用紧密耦合。我知道cursesgem,我正在考虑更抽象的东西。广告有没有人见过可以做到这一点的库或一些概念证明的Ruby代码可以做到这一点? 最佳答案 我不知道这是否是您正在寻找的,但也许您可以使用我的想法。由于我没有关于您要完成的工作

    9. ruby - 如何在 Grape 中定义哈希数组? - 2

      我使用Ember作为我的前端和GrapeAPI来为我的API提供服务。前端发送类似:{"service"=>{"name"=>"Name","duration"=>"30","user"=>nil,"organization"=>"org","category"=>nil,"description"=>"description","disabled"=>true,"color"=>nil,"availabilities"=>[{"day"=>"Saturday","enabled"=>false,"timeSlots"=>[{"startAt"=>"09:00AM","endAt"=>

    10. ruby - 使用多个数组创建计数 - 2

      我正在尝试按0-9和a-z的顺序创建数字和字母列表。我有一组值value_array=['0','1','2','3','4','5','6','7','8','9','a','b','光盘','e','f','g','h','i','j','k','l','m','n','o','p','q','r','s','','u','v','w','x','y','z']和一个组合列表的数组,按顺序,这些数字可以产生x个字符,比方说三个list_array=[]和一个当前字母和数字组合的数组(在将它插入列表数组之前我会把它变成一个字符串,]current_combo['0','0','0']

    随机推荐