- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在尝试重载自定义类型的赋值运算符,我希望它能够使用自动分配。我读了this线程,并写了以下内容:
module overload_op
implicit none
PUBLIC ASSIGNMENT(=)
TYPE, PUBLIC :: my_type
real :: real_member
END TYPE my_type
INTERFACE ASSIGNMENT (=)
MODULE PROCEDURE assign_my_type_my_type_elem
MODULE PROCEDURE assign_my_type_my_type
END INTERFACE
contains
ELEMENTAL SUBROUTINE assign_my_type_my_type_elem (var1, var2)
TYPE(my_type), INTENT(OUT) :: var1
TYPE(my_type), INTENT(IN) :: var2
var1%real_member = var2%real_member
END SUBROUTINE assign_my_type_my_type_elem
SUBROUTINE assign_my_type_my_type (var1, var2)
TYPE(my_type), ALLOCATABLE, INTENT(OUT) :: var1(:)
TYPE(my_type), ALLOCATABLE, INTENT(IN) :: var2(:)
if (.not.allocated(var1)) allocate(var1(size(var2)))
! Call the elemental assignment subroutine for gfortran, fail for Intel
var1(:) = var2(:)
END SUBROUTINE assign_my_type_my_type
end module overload_op
program main
use overload_op
implicit none
TYPE(my_type) :: a(3), b(3)
TYPE(my_type), allocatable :: c(:), d(:)
b = a
allocate(d(3))
c = d
end program main
在我的理解中,代码应该为可分配数组调用 assign_my_type_my_type
,为定义的形状数组(如带有 (:) 规范的数组)或简单的 my_type
变量调用元素。
这在 gfortran 版本 10.0.1(我有权访问的最新版本)中按照我的预期工作。但是,当我尝试使用 ifort(最高为 intel/2020.1)进行编译时,我首先遇到以下错误:
error #6437: A subroutine or function is calling itself recursively.[ASSIGN_MY_TYPE_MY_TYPE] var1(:) = var2(:)
当我更改代码时
call assign_my_type_my_type_elem(var1(:), var2(:))
主程序的变量 a、b 没有可分配属性时出现错误。
An allocatable dummy argument may only be argument associated with anallocatable actual argument.
所以我的问题是:我的实现是否完全错误,通过使用符号 (:) 我没有调用元素赋值运算符?换句话说,gfortran 是否存在错误,英特尔是正确的还是相反?
最佳答案
您的实现不正确,但不容易修复。
只要 a
和 b
是 rank-1 数组,子例程 assign_my_type_my_type
定义定义的赋值 a=b
类型(我的类型)
。 assign_my_type_my_type_elem
因此 never 为 rank-1 数组定义定义的赋值:如果没有其他子例程定义赋值,则元素子例程仅定义赋值。
确定子例程是否定义了特定的赋值 (Fortran 2018 10.2.1.4) 没有区分可分配参数或不可分配参数。 (正如我所说 elsewhere “没有要求声明定义的赋值要求所选择的子程序是可调用的!”)
在 assign_my_type_my_type
赋值中
var1(:) = var2(:)
仍然由 assign_my_type_my_type
本身定义,即使 var1(:)
不可分配。如果它可能发生,这将是递归的(它不可能发生,因为实际参数不可分配)。
您尝试使用
call assign_my_type_my_type_elem(var1(:), var2(:))
而不是定义的赋值在正确指向基本(非递归)子例程的意义上确实有效。正如您所注意到的,它失败了,因为在主程序的定义分配中
b = a
您尝试使用不可分配的参数调用子例程 assign_my_type_my_type
。您调用此子例程是因为,这又是定义该类型 rank-1 数组分配的子例程。是否可调用。
这导致了为什么这不容易修复:不可能创建一个泛型,其中两个具体的区别仅在于其中一个参数的可分配性质。并且无法选择“如果非元素不可调用则为元素”。
您必须选择支持可分配左侧或不可分配左侧。或者使用“包装器”类型。
assign_my_type_my_type
有一个很容易解决的问题:var2
是可分配的,这意味着永远不能通过定义的赋值直接调用子例程。无论如何,该参数在您的使用中不需要可分配,因此请删除该属性。
最后,关于这个“自动分配”实现的概念说明。对于第一个参数 allocatable, intent(out)
,左侧总是在赋值之前被释放。这与内部分配的自动分配情况不同。
在内部赋值中,只有在某些方面与右侧不匹配时,左侧才会被释放,最常见的是大小不匹配。如果您希望在定义的分配中保持一致的行为,您将需要 intent(inout)
并进行各种释放测试。
关于fortran - Fortran 中的重载赋值运算符和 ELEMENTAL 赋值运算符,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/68668546/
Or 运算符 对两个表达式进行逻辑“或”运算。 result = expression1 Or expression2 参数 result 任意数值变量。 expression1 任意
Not 运算符 对表达式执行逻辑非运算。 result = Not expression 参数 result 任意数值变量。 expression 任意表达式。 说明 下表显示如何
Is 运算符 比较两个对象引用变量。 result = object1 Is object2 参数 result 任意数值变量。 object1 任意对象名。 object2 任意
\ 运算符 两个数相除并返回以整数形式表示的结果。 result = number1\number2 参数 result 任意数值变量。 number1 任意数值表达式。 numbe
And 运算符 对两个表达式进行逻辑“与”运算。 result = expression1 And expression2 参数 result 任意数值变量。 expression1
运算符(+) 计算两个数之和。 result = expression1 + expression2 参数 result 任意数值变量。 expression1 任意表达式。 exp
我对此感到困惑snippet : var n1 = 5-"4"; var n2 = 5+"4"; alert(n1); alert(n2); 我知道 n1 是 1。那是因为减号运算符会将字符串“4”转
我想我会得到 12,而不是 7。 w++,那么w就是4,也就是100,而w++, w 将是 8,1000;所以 w++|z++ 将是 100|1000 = 1100 将是 12。 我怎么了? int
Xor 运算符 对两个表达式进行逻辑“异或”运算。 result = expression1 Xor expression2 参数 result 任意数值变量。 expression1
Mod 运算符 两个数值相除并返回其余数。 result = number1 Mod number2 参数 result 任意数值变量。 number1 任意数值表达式。 numbe
Imp 运算符 对两个表达式进行逻辑蕴涵运算。 result = expression1 Imp expression2 参数 result 任意数值变量。 expression1 任
Eqv 运算符 执行两个表达式的逻辑等价运算。 result = expression1 Eqv expression2 参数 result 任意数值变量。 expression1 任
我有一个运算符重载的简单数学 vector 类。我想为我的运算符(operator)获取一些计时结果。我可以通过计时以下代码轻松计时我的 +=、-=、*= 和/=: Vector sum; for(s
我是用户定义比较运算符的新手。我正在读一本书,其中提到了以下示例: struct P { int x, y; bool operator、运算符<等),我们
在 SQL 的维基百科页面上,有一些关于 SQL 中 bool 逻辑的真值表。 [1] 维基百科页面似乎来源于 SQL:2003 标准。 等号运算符 (=) 的真值表与 SQL:2003 草案中的 I
我遇到了一个奇怪的 C++ 运算符。 http://www.terralib.org/html/v410/classoracle_1_1occi_1_1_number.html#a0f2780081f
我正在阅读关于 SO 和 answers 中的一个问题,它被提到为: If no unambiguous matching deallocation function can be found, pr
我偶然发现了这个解决方案,但我无法理解其中到底发生了什么。谁能解释一下! 据我了解,它试图通过计算一半的单元格然后将其加倍来计算 a*b 网格中的单元格数量。但是我无法理解递归调用。 请不要建议其他解
Go的基本类型 布尔类型bool 长度:1字节 取值:布尔类型的取值只能是true或者false,不能用数字来表示 整型 通用整型 int / uint(有符号 / 无符号,下面也类似) 长度:根据运
在本教程中,您将学习JavaScript中可用的不同运算符,以及在示例的帮助下如何使用它们。 什么是运算符? 在JavaScript中,运算符是一种特殊符号,用于对运算数(值和变量)执行操作。例如,
我是一名优秀的程序员,十分优秀!