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
56
57
58
59
60
61
|
module template_add_01_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
end template
contains
real function func_arg_real(x, y) result(z)
real, intent(in) :: x, y
z = x + y
end function
integer function func_arg_int(x, y) result(z)
integer, intent(in) :: x, y
z = x + y
end function
subroutine test_template()
instantiate add_t(real, func_arg_real), only: add_real => 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
instantiate add_t(integer, func_arg_int), only: add_integer => add_generic
a = 5
b = 9
print*, "The result is ", add_integer(a, b)
if (add_integer(a, b) /= 14) error stop
end subroutine
end module
program template_add_01
use template_add_01_m
implicit none
call test_template()
end program
|
