返される多態性クラス

Question

私は以下のいずれかが標準で許可されているのに対し、他のものは許可されていない理由を理解しようとしています。彼らは私にとっては定型的なコードを除いて異なって見えません。私は何か誤解しているような気がしたり、より良いやり方があるように感じます。どんな助けもありがとう。

不可：

可

real :: x 
class(*) :: temp 

x = 4 

temp = genericAssignment(x) 

select type(temp) 
type is(real) 
    write(*,*) temp 
end select 

contains 

function genericAssignment(a) result(b) 
    class(*) :: a 
    class(*) :: b 

    allocate(b, source=a) 
end function genericAssignment 

：

Type GenericContainer 
    class(*), pointer :: gen 
End Type 

real :: x 
class(*) :: ptr 
type(GenericContainer) :: temp 

x = 4 

temp = genericAssignment(x) 

select type(ptr => temp%gen) 
type is(real) 
    write(*,*) ptr 
end select 

contains 

function genericAssignment(a) result(b) 
    class(*) :: a 
    type(GenericContainer) :: b 

    allocate(b%gen, source=a) 
end function genericAssignment 

Answer 1

現在の標準は、両方を可能にします。

"許可され​​た"コードブロックには、非多形性の結果を持つ関数があり、その結果は非多形性の変数に割り当てられていると評価されます。これは有効なFortran 2003です。

"許可され​​ていない"ブロックには、多形性の結果を持つ関数があり、その結果は多形性の変数に割り当てられていると評価されます。これは有効なFortran 2008です。

コンパイルされた完全なFortran 2008コンパイラの数は少ないことに注意してください。ブロックはやや無意味である「許されない」で

~~~

機能 - コードブロックが同等です：

real :: x 
class(*) :: temp 

x = 4 

temp = x 

select type(temp) 
type is(real) 
    write(*,*) temp 
end select