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
|
module template_add_01b_m
implicit none
private
public :: add_t
requirement R(T, F)
type, deferred :: T
interface operator (+)
procedure F
end interface
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
!print*, "x, y, z, x+y+z =", x, y, z, x+y+z
z = x + y
end function
function add_generic2(x, y, z) result(s)
type(T), intent(in) :: x, y, z
type(T) :: s
s = x + y + z
end function
end template
contains
integer function func_arg_int(x, y) result(z)
integer, intent(in) :: x, y
z = x + y
end function
subroutine test_template()
integer :: n1, n2
instantiate add_t(integer, func_arg_int), only: add_integer => add_generic, add_integer2 => add_generic2
n1 = add_integer(5, 9)
n2 = add_integer2(5, 9, 10)
print*, "The result is", n1
print*, "The result is", n2
end subroutine
end module
program template_add_01b
use template_add_01b_m
implicit none
call test_template()
end program
|
