Fortran泛型区分与非1索引数组传参相关技术问询

我完全理解你想要保留数组原始上下界的需求，尤其是在处理非1起始索引的数组和子数组时。让我逐个解答你的问题：

1. 指针哑元方案的安全性与适用性 #

你通过指针实参/哑元（f_deferred_ptr）来传递子数组并保留边界的方案完全符合Fortran标准，没有被弃用，也不存在本质风险，需要注意几个细节：

• Fortran的指针机制是语言标准的核心特性之一，从Fortran 90引入至今一直在更新完善（比如Fortran 2003的指针关联检查、Fortran 2018的指针数组增强），不存在被废弃的可能。
• 风险点主要在于指针关联的有效性：如果指针指向了临时数组，临时数组的生命周期只在当前表达式或过程调用范围内。不过在你的使用场景中，pntr(v1(:))作为实参直接传入f，临时数组会在f调用结束后才销毁，过程内部使用指针是安全的。
• 这种方案的核心优势就是能完整保留数组的原始上下界，而普通假定形状数组（f_assumed）做不到这一点——标准规定，普通假定形状数组的默认下界是1，会丢失实参的原始边界信息。

2. pntr函数与临时数组的疑问 #

关于pntr函数是否会生成临时数组，分两种情况：

情况1：实参没有TARGET属性（比如你的v1） #

当你调用pntr(v1(:))时，编译器必须生成临时数组。原因是：pntr的哑元声明带有TARGET属性，而v1本身没有TARGET，它的子数组v1(:)也不具备TARGET属性。为了满足哑元的TARGET要求，编译器会创建一个与v1(:)内容相同的临时数组，并让指针指向这个临时数组。

情况2：实参带有TARGET属性 #

如果修改v1的声明为：

integer, dimension(-5:5), target :: v1

此时调用pntr(v1(:))就不会生成临时数组，因为v1是TARGET，其子数组也继承了TARGET属性，指针可以直接关联到原数组的切片。

至于“主程序显式定义并关联指针”的情况：

integer, pointer, dimension(:) :: vp
vp => v1(:)

这和调用pntr函数的行为完全一致——如果v1没有TARGET，同样会生成临时数组；如果v1有TARGET，则直接关联。本质上pntr函数只是把这个关联过程封装了起来，没有区别。

3. Fortran标准修改的可能性与建议途径 #

标准修改的可能性 #

目前Fortran标准（包括最新的Fortran 2023）确实不允许仅通过“数组是否为子数组/完整数组”来区分泛型过程，泛型区分的依据只有：类型、种类、秩，以及是否为POINTER/ALLOCATABLE属性。

不过，你的需求非常合理——很多Fortran开发者都希望能更灵活地保留数组边界信息，尤其是在处理非1起始索引的场景下。J3（Fortran标准委员会）一直在关注社区的需求，未来的标准版本（比如Fortran 202X）有可能引入相关改进，比如允许假定形状数组保留原始下界的选项，或者扩展泛型区分的规则。

提交建议的途径 #

如果你想推动这个需求的实现，可以通过以下方式：

• J3邮件列表：发送详细的需求描述和使用场景到j3@mailman.j3-fortran.org，这是标准委员会接收社区反馈的官方渠道。
• Fortran社区论坛：在Fortran技术社区发起讨论，获得其他开发者的支持，形成更完善的提案后再提交给J3。
• 官方提案流程：参考J3官网的提案指南，撰写正式的提案文档，包含需求背景、解决方案示例、兼容性分析等内容，提交给J3审议。

补充：关于泛型接口的小提示 #

你之前提到“无法将f_deferred_all和f_assumed放入同一泛型接口”，其实这是一个误解——二者的参数属性不同（一个带ALLOCATABLE，一个不带），完全符合泛型区分的规则，编译器应该能正确匹配：

• 当实参是ALLOCATABLE数组时，匹配f_deferred_all；
• 当实参是普通数组（非ALLOCATABLE）时，匹配f_assumed。

但如你所说，f_assumed无法保留原始下界，所以这个方案对你的需求没有帮助，而指针方案才是解决子数组边界保留的有效方法。

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