Carbon语言指针算术如何实现？是否支持该操作？

Carbon不支持C风格的直接指针算术（比如你尝试的p = p + 1写法），这是语言刻意的安全设计，用来避免指针越界这类常见的内存安全问题。你碰到的编译错误，本质是i32*类型没有实现AddWith(U = i32)接口，因此无法直接和整数执行加法运算。

要实现类似指针偏移的效果，Carbon提供了两种安全的替代方式：

• 使用指针的Offset方法：这是官方推荐的底层内存偏移方式，接收整数偏移量后返回偏移后的新指针：

  var arr: [5]i32 = {1, 2, 3, 4, 5};
  var p: i32* = &arr[0];
  // 偏移1个元素位置，指向arr[1]
  p = p.Offset(1);
  Print(p.*); // 输出2
  

• 数组索引语法：如果指针指向数组元素，直接用索引操作更直观，Carbon也支持对指针使用[]语法：

  var arr: [5]i32 = {1, 2, 3, 4, 5};
  var p: i32* = &arr[0];
  // 直接获取偏移1位的元素值
  var next_val = p[1]; // 等于arr[1]的值2
  

Carbon的设计核心之一是在保留C级性能的同时提升安全性，禁用直接指针算术就是为了降低内存错误风险，Offset方法是官方给出的安全替代方案。

内容的提问来源于stack exchange，提问作者D.R.