1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
module template_nested_m
implicit none
private
public :: add_t
requirement R(T, F)
type, deferred :: T
function F(x, y) result(z)
type(T), intent(in) :: x, y
type(T) :: z
end function
end requirement
template add_t(T, F)
require :: R(T, F)
private
public :: add_generic
contains
function add_generic(x, y) result(z)
type(T), intent(in) :: x, y
type(T) :: z
z = F(x, y)
end function
function call_add_generic(x, y) result(z)
type(T), intent(in) :: x, y
type(T) :: z
z = add_generic(x, y)
end function
end template
contains
real function func_arg_real(x, y) result(z)
real, intent(in) :: x, y
z = x + y
end function
subroutine test_template()
instantiate add_t(real, func_arg_real), only: add_real => call_add_generic
real :: x, y
integer :: a, b
x = 5.1
y = 7.2
print*, "The result is ", add_real(x, y)
if (abs(add_real(x, y) - 12.3) > 1e-5) error stop
end subroutine
end module
program template_nested
use template_nested_m
implicit none
call test_template()
end program template_nested
|
