Возвращающийся полиморфный класс

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