Fortran派生类型赋值

Question

假设我有一个Fortran派生类型

type :: atype
    integer :: n
    integer :: a(10)
    integer, allocatable :: b(:)
 end type

我有两个这种类型的实例

type(atype) :: t1, t2

当我做以下任务时到底发生了什么？

t2 = t1

我对此感兴趣因为我想正确地创建派生类型变量的副本意味着，标量组件应该相等，数组组件的每个元素应该相等，并且可分配的数组应该具有相同的分配大小，并且元素应该相等。 目前我只想写一个子程序，它正确地复制和分配组件。

subroutine copy_atype(from, to)
    type(atype) :: from, to
    to%n = from%n
    to%a = from%a
    if (allocated(to%b)) deallocate(to%b)
    if (allocated(from%b) then
        allocate(to%b(size(from%b)))
        to%b = from%b
    end if
end subroutine

我希望指导标准中的相应部分。

我正在使用gfortran 4.7。

Answer 1

如果没有合适的定义的赋值过程可以将一个类型赋值给另一个类型，则会发生内在派生类型赋值。 这在F2008 7.2.1.3中描述。 对于您的类型定义，内部派生类型赋值基本上执行您的过程所做的事情：

• 不可分配的组件（它们本身没有类型绑定定义的赋值）使用内部赋值进行分配。 如果它们确实具有类型绑定分配，则使用该分配。

• 如果已分配，则分配给的对象中的可分配组件将被释放，使用相同类型，类型参数和要分配的表达式的边界重新分配，然后键入绑定定义的赋值（如果适用）或使用内部赋值来传输值。

也：

• 指针组件是指定的指针;

• coarray组件必须在变量和表达式之间的分配状态中匹配，并使用内部赋值进行传输。

Answer 2

这与几天前提出的问题非常相似： 具有重载分配的嵌套派生类型 。 请参阅那里接受的答案以获得详细说明。

您可以直接使用子程序copy_atype来形成assignment运算符：

type :: atype
    integer :: n
    integer :: a(10)
    integer, allocatable :: b(:)
contains
    procedure :: copy_atype
    generic :: assignment(=) => copy_atype
end type

这样，您可以直接将相同类型的值分配给类型atype的变量。 您甚至可以通过给出以逗号分隔的适当子例程列表来将赋值扩展到其他类型的变量。