C语言中Slice类结构体应按值传递还是按引用传递？

先明确前提：你定义的MatrixSlice和VectorSlice都是轻量级视图结构体，仅持有数据指针和元信息，不负责内存管理。基于这个特性，传递和返回策略可以按以下场景区分：

一、函数参数：按值传递优先 #

这两个结构体的大小很小（几个整型+指针，通常不超过32字节），按值传递几乎没有性能开销，还能避免函数内部意外修改原结构体元信息的风险，安全性更高。

• 如果函数仅操作切片指向的数据，不需要修改rows/cols/stride这些元信息，直接传值即可。比如打印矩阵的函数：

  void matrix_print(struct MatrixSlice mat) {
      for (size_t i = 0; i < mat.rows; i++) {
          for (size_t j = 0; j < mat.cols; j++) {
              printf("%f ", mat.data[i * mat.row_stride + j * mat.col_stride]);
          }
          printf("\n");
      }
  }
  

• 如果函数需要修改切片的元信息（比如调整步长、重定义维度），必须传指针（引用传递），确保修改能同步到调用方的结构体。比如重塑矩阵维度的函数：

  void matrix_reshape(struct MatrixSlice *mat, size_t new_rows, size_t new_cols) {
      // 假设总元素数不变，这里省略校验逻辑
      mat->rows = new_rows;
      mat->cols = new_cols;
      mat->row_stride = new_cols;
      mat->col_stride = 1;
  }
  

二、输出切片与输出数据：分场景选择 #

1. 输出切片（仅生成新视图，不分配新数据） #

优先直接返回结构体值，代码可读性更强，调用更简洁。因为切片本身轻量，返回值的成本可以忽略。比如获取矩阵某一行的切片：

struct MatrixSlice matrix_get_row(struct MatrixSlice mat, size_t row_idx) {
    struct MatrixSlice row = {
        .rows = 1,
        .cols = mat.cols,
        .row_stride = mat.col_stride,
        .col_stride = mat.col_stride,
        .data = mat.data + row_idx * mat.row_stride
    };
    return row;
}

调用方直接接收返回值即可：struct MatrixSlice first_row = matrix_get_row(my_mat, 0);，比用输出参数的写法更直观。

2. 输出数据（需要分配新内存存储结果） #

这种情况必须用指针类型的输出参数，同时用返回值表示操作是否成功（比如内存分配失败）。因为函数需要把新分配的data指针、维度信息写入调用方提供的切片结构体中，传值的话只能修改副本，调用方无法获取有效结果。比如矩阵乘法函数：

bool matrix_multiply(struct MatrixSlice a, struct MatrixSlice b, struct MatrixSlice *out) {
    if (a.cols != b.rows) return false; // 维度不匹配，直接返回失败

    size_t total_elems = a.rows * b.cols;
    double *new_data = malloc(total_elems * sizeof(double));
    if (!new_data) return false; // 内存分配失败

    // 执行矩阵乘法逻辑，填充new_data
    for (size_t i = 0; i < a.rows; i++) {
        for (size_t j = 0; j < b.cols; j++) {
            double sum = 0.0;
            for (size_t k = 0; k < a.cols; k++) {
                sum += a.data[i * a.row_stride + k * a.col_stride] * b.data[k * b.row_stride + j * b.col_stride];
            }
            new_data[i * b.cols + j] = sum;
        }
    }

    // 填充输出切片的元信息
    out->rows = a.rows;
    out->cols = b.cols;
    out->row_stride = b.cols;
    out->col_stride = 1;
    out->data = new_data;
    return true;
}

调用方需要传入切片指针，并检查返回值：

struct MatrixSlice result;
if (matrix_multiply(mat_a, mat_b, &result)) {
    // 使用result
    // ...
    free(result.data); // 记得释放内存，因为函数分配了内存
}

三、输出数据的切片传递：必须用指针（引用传递） #

如果函数需要生成新数据并通过切片返回，绝对不能传值类型的切片——因为函数内部对切片的修改只会作用于副本，调用方的切片不会更新。必须传递struct MatrixSlice *或struct VectorSlice *，确保新分配的data指针和元信息能被调用方获取。

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