iOS MetalKit：如何在MSL中实现数组遍历？

• 你遇到的sizeof(array)/sizeof(int2)失效的原因很明确：MSL内核中数组参数会退化为指针，sizeof(array)得到的是指针本身的大小（64位系统下为8字节），而非整个数组的总字节数，所以计算结果必然错误。

下面是几种可行的实现方案：

1. 传入数组长度缓冲区（推荐的动态数组方案） #

这是MSL中处理动态数组最常用且可靠的方式，也就是你当前采用的思路——将数组长度单独作为缓冲区传入内核。这种方式适配所有地址空间的数组，兼容性拉满。

优化后的代码示例：

constant const int& arrayCount [[ buffer(1) ]],
                       device half4* result [[ buffer(2) ]],
                       uint2 pos [[thread_position_in_grid]]) {
  // 线程范围合法性检查
  if (pos.x >= target_width || pos.y >= target_height) return;

  for(ulong i = 0; i < (ulong)arrayCount; i += 1 ) {
    // 对array[i]执行你的操作逻辑
  }
}

2. 使用固定大小数组（仅适用于编译期已知长度的场景） #

如果数组长度在编译时就确定，可以直接声明固定大小的数组参数，此时sizeof能正确计算总字节数：

device half4* result [[ buffer(2) ]],
                       uint2 pos [[thread_position_in_grid]]) {
  const ulong arrayCount = sizeof(array)/sizeof(int2); // 此处会正确得到100
  for(ulong i = 0; i < arrayCount; i += 1 ) {
    // 执行操作
  }
}

这种方式灵活性差，仅适合长度固定的静态数组场景。

3. 利用MSL的metal::array类型（MSL 1.2及以上版本） #

从MSL 1.2开始支持metal::array模板，用它包装数组后可直接调用size()方法获取长度：

device half4* result [[ buffer(2) ]],
                       uint2 pos [[thread_position_in_grid]]) {
  const ulong arrayCount = array->size(); // 直接获取编译期确定的长度100
  for(ulong i = 0; i < arrayCount; i += 1 ) {
    auto elem = (*array)[i];
    // 执行操作
  }
}

同样，这种方式仅支持编译期确定长度的数组，动态数组仍需依赖传入长度的方案。

关于范围for循环：MSL确实不支持用C++11的范围for循环遍历指针类型的数组，因为无法自动推导数组范围。只有固定大小数组或metal::array包装的数组才有可能使用类似语法，但动态数组场景下，传入长度的方式依然是最优解。

内容的提问来源于stack exchange，提问作者Son Nguyen