之所以有这个需求,还是处于隐藏派生类型数据成员和限制模块进程引用的考虑
还是以建立一个三维矢量的派生类型为例,如果只是重载算符的话,
经过版主的指点,我已经知道可以这样:
[Fortran] 纯文本查看 复制代码
TYPE :: Vect
REAL(8),Private :: x
REAL(8),Private :: y
REAL(8),Private :: z
Contains
Procedure,Pass(This),Private :: VectAddVect_Fn
Generic,Public :: Operator(+) => VectAddVect_Fn
End TYPE Vect
Private :: VectAddVect_Fn
Contains
Function VectAddVect_Fn(This,Another)Result(Ans)
CLASS(Vect), Intent(in) :: This,Another
TYPE(Vect) :: ans
ans%x=This%x+Another%x
ans%y=This%y+Another%y
ans%z=This%z+Another%z
End Function
这样的话,模块外只有通过“+”号才能操作Vect对象的数据成员,其他所有方法都是不可用的
实现了最大程度的保护,数据不会被以任何不希望的方式修改
但是如果不是定义算符,而是希望重载函数,比如重载内置函数abs,使得实现的效果是每个分量都去绝对值
能不能用类似的办法实现呢?
目前有一些其他的思路,但都难免会留下一些不希望留下的漏洞
比如可以设定一个绑定的Set进程,设为类型的私有方法,并在模块内也设为私有,
这样实质上就只能在模块内直接用这个进程而不能到处都将它作为一个成员方法引用
然后通过它用一个例如AbsVect_Fn的函数实现想要的重载abs函数功能,
然后用interface实现abs重载AbsVect_Fn的函数,看起来实现了目的
可是这是不是留下了一个AbsVect_Fn函数能被其他地方引用,这不是希望的结果……
|