在 Fortran 中，可以使用 C_LOC 和 C_F_POINTER 结合的方法来实现不同类型指针指向同一块内存区域。以下是具体方法和示例：
关键步骤：
- 获取内存地址：用
C_LOC获取原始数组的 C 地址。 - 类型转换：用
C_F_POINTER将地址转换为目标类型的 Fortran 指针。
示例代码
program type_punning_exampleuse, intrinsic :: iso_c_bindingimplicit none! 定义原始数组（例如整数类型）integer, target :: int_array(4)integer :: i! 定义目标类型的指针（例如实数类型）real, pointer :: real_ptr(:)! 初始化原始数组do i = 1, 4int_array(i) = iend do! 将整数数组的地址转换为实数指针call c_f_pointer(c_loc(int_array), real_ptr, [4])! 验证结果print *, "Original integers: ", int_arrayprint *, "Mapped as reals: ", real_ptrend program type_punning_example
注意事项：
- 内存对齐：确保两种类型的内存布局兼容（例如
integer和real可能占用相同字节数，但需确认具体编译器实现）。 - 字节顺序：跨类型访问时需注意大端/小端问题（尤其在异构平台间）。
- 标准符合性：此方法符合 Fortran 2003 及以后的标准（依赖
iso_c_binding）。 - 边界安全：确保目标指针的尺寸不超过原始缓冲区范围。
更通用的缓冲区映射
若需处理任意字节缓冲区，可结合 character 类型和 transfer 函数：
program raw_buffer_exampleuse, intrinsic :: iso_c_bindingimplicit nonecharacter(len=16), target :: buffer ! 16字节的原始缓冲区real, pointer :: float_view(:)integer, pointer :: int_view(:)! 将缓冲区映射为实数数组call c_f_pointer(c_loc(buffer), float_view, [4]) ! 假设 real 占4字节! 同一缓冲区映射为整数数组call c_f_pointer(c_loc(buffer), int_view, [4]) ! 假设 integer 占4字节! 操作其中一个视图会影响另一个float_view = [1.0, 2.0, 3.0, 4.0]print *, "As integers: ", int_viewend program raw_buffer_example
限制：
- Fortran 不允许直接对指针进行算术运算（需借助数组切片或临时变量）。
- 非连续数组（如带
stride的）需要更复杂的描述符处理。
如需进一步控制内存布局，可考虑与 C 语言的互操作（通过 bind(c) 接口）。
