Một phương thức thể hiện đặc biệt trong một lớp là gì?

Các mệnh đề khác ngoài val và phương thức có thể được sử dụng trong khai báo lớp. chúng tôi sẽ giới thiệu chúng khi cần thiết

Ví dụ lớp học đầu tiên của chúng tôi

• các trường dữ liệu x và y chứa tọa độ của điểm,
• hai phương pháp cung cấp quyền truy cập vào các trường dữ liệu (get_x và get_y),
• hai phương pháp dịch chuyển (moveto. chuyển vị tuyệt đối) và (rmoveto. chuyển vị tương đối),
• một phương thức trình bày dữ liệu dưới dạng một chuỗi (to_string),
• một phương pháp tính toán khoảng cách đến điểm từ điểm gốc (khoảng cách)

# class point (x_init,y_init) =
   object
     val mutable x = x_init
     val mutable y = y_init
     method get_x = x
     method get_y = y
     method moveto (a,b) =  x <- a ; y <- b 
     method rmoveto (dx,dy) =  x <- x + dx ; y <- y + dy 
     method to_string () =  
         "( " ^ (string_of_int x) ^ ", " ^ (string_of_int y) ^")"
     method distance () = sqrt (float(x*x + y*y))
   end ;;

Sau khi chúng ta khai báo điểm lớp, hệ thống in ra văn bản sau

class point :
  int * int ->
  object
    val mutable x : int
    val mutable y : int
    method distance : unit -> float
    method get_x : int
    method get_y : int
    method moveto : int * int -> unit
    method rmoveto : int * int -> unit
    method to_string : unit -> string
  end

Văn bản này chứa hai mẩu thông tin. Đầu tiên, loại cho các đối tượng của lớp; . Loại đối tượng là danh sách tên và loại phương thức trong lớp của nó. Trong ví dụ của chúng tôi, điểm là viết tắt của

  
  < distance : unit -> unit; get_x : int; get_y : int;
    moveto : int * int -> unit; rmoveto : int * int -> unit;
    to_string : unit -> unit >

Có thể định nghĩa các loại lớp

# type simple_point = < get_x : int; get_y : int; to_string : unit -> unit > ;;
type simple_point = < get_x : int; get_y : int; to_string : unit -> unit >

Ghi chú

Cảnh báo

Chúng ta sẽ quay lại điểm này sau khi xử lý các ràng buộc kiểu (page ) và các lớp được tham số hóa (page )

Một ký hiệu đồ họa cho các lớp học

• phần trên cùng hiển thị tên của lớp,
• phần giữa liệt kê các thuộc tính (trường dữ liệu) của một thể hiện lớp,
• phần dưới cùng hiển thị các phương thức của một thể hiện của lớp

Hình 15. 1. Biểu diễn đồ họa của một lớp

Tạo phiên bản

cú pháp

# let p1 = new point (0,0);;
val p1 : point = 
# let p2 = new point (3,4);;
val p2 : point = 
# let coord = (3,0);;
val coord : int * int = 3, 0
# let p3 = new point coord;;
val p3 : point = 

Trong CAML mục tiêu, hàm tạo của một lớp là duy nhất, nhưng bạn có thể xác định hàm make_point cụ thể của riêng mình để tạo điểm

# let make_point x = new point (x,x) ;;
val make_point : int -> point = 
# make_point 1 ;;
- : point = 

gửi tin nhắn

cú pháp

# p1#get_x;;
- : int = 0
# p2#get_y;;
- : int = 4
# p1#to_string();;
- : string = "( 0, 0)"
# p2#to_string();;
- : string = "( 3, 4)"
# if (p1#distance()) = (p2#distance())
 then print_string ("That's just chance\n")
 else print_string ("We could bet on it\n");;    
We could bet on it
- : unit = ()

Từ quan điểm loại, các đối tượng của điểm loại có thể được sử dụng bởi các hàm đa hình của CAML Mục tiêu, giống như bất kỳ giá trị nào khác trong ngôn ngữ

Một thể hiện cụ thể của một lớp là gì?

Phương thức nào sau đây là phương thức thể hiện đặc biệt của một lớp?

Phương pháp đặc biệt là gì?

Các phương pháp thể hiện là gì?