Templates (mẫu)

Chia sẻ: Danh Ngoc | Ngày: | Loại File: PDF | Số trang:9

Thêm vào BST

Báo xấu

112
lượt xem 24
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Templates Templates (mẫu) là một tính năng mới được giới thiệu bởi chuẩn ANSI-C++. Nếu bạn sử dụng một trình biên dịch C++ chưa tương thích với chuẩn này thì bạn không thể sử dụng mẫu. Các mẫu hàm Các mẫu cho phép tạo các hàm có thể chấp nhận bất kì kiểu dữ liệu nào làm tham số và trả về giá trị mà không phải làm quá tải hàm với tất cả các kiểu dữ liệu có thể. Khai báo mẫu của nó có thể là một trong hai kiểu sau: template function_declaration; template function_declaration; sự khác...

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Templates (mẫu)

Templates Templates (mẫu) là một tính năng mới được giới thiệu bởi chuẩn ANSI-C++. Nếu bạn sử dụng một trình biên dịch C++ chưa tương thích với chuẩn này thì bạn không thể sử dụng mẫu. Các mẫu hàm Các mẫu cho phép tạo các hàm có thể chấp nhận bất kì kiểu dữ liệu nào làm tham số và trả về giá trị mà không phải làm quá tải hàm với tất cả các kiểu dữ liệu có thể. Khai báo mẫu của nó có thể là một trong hai kiểu sau: template function_declaration; template function_declaration; sự khác biệt duy nhất giữa hai kiểu khai báo mẫu này là việc sử dụng từ khoá class hay typename, sự khác nhau giữa chúng là không rõ ràng vì cả hai đều có cùng một ý nghĩa và đều cho một kết quả như nhau. Ví dụ, để tạo một hàm mẫu trả về giá trị lớn hơn của hai đối tượng chúng ta có thể sử dụng: template GenericType GetMax (GenericType a, GenericType b) { return (a>b?a:b); } Ở dòng đầu tiên, chúng ta đã tạo một mẫu cho một kiểu dữ liệu tổng quát với tên GenericType. Vì vậy trong hàm sau đó, GenericType trở thành một kiểu dữ liệu hợp lệ và nó được sử dụng như là một kiểu dữ liệu cho hai tham số a, b và giá trị trả về của hàm GetMax. GenericType thực sự không biểu diễn một kiểu dữ liệu cụ thể nào, chúng ta có thể gọi hàm với bất kì kiểu dữ liệu hợp lệ nào. Kiểu dữ liệu này sẽ đáp ứng như là pattern(mẫu) và sẽ thay thế GenericType bên trong hàm. Cách thức để gọi một lớp mẫu với một kiểu dữ liệu mẫu như sau: function (parameters);
Ví dụ, để gọi hàm GetMax và so sánh hai giá trị nguyên kiểu int chúng ta có thể viết: int x,y; GetMax (x,y); Ok, dưới đây là ví dụ đầy đủ: // mẫu hàm 6 #include 10 template T GetMax (T a, T b) { T result; result = (a>b)? a : b; return (result); } int main () { int i=5, j=6, k; long l=10, m=5, n; k=GetMax(i,j); n=GetMax(l,m); cout
Trong trường hợp cụ thể này kiểu dữ liệu tổng quát T được sử dụng như là tham số chao hàm GetMax, trình biên dịch có thể tự động tìm thấy kiểu dữ liệu nào phải truyền cho nó mà không cần bạn phải chỉ định hay . Bởi vậy chúng ta có thể viết: int i,j; GetMax (i,j); Cách này được sử dụng phổ biến hơn và cũng cho kết quả như vậy: // mẫu hàm II 6 #include 10 template T GetMax (T a, T b) { return (a>b?a:b); } int main () { int i=5, j=6, k; long l=10, m=5, n; k=GetMax(i,j); n=GetMax(l,m); cout
template T GetMin (T a, U b) { return (a
template class pair { T value1, value2; public: pair (T first, T second) {value1=first; value2=second;} T getmax (); }; template T pair::getmax () { T retval; retval = value1>value2? value1 : value2; return retval; } int main () { pair myobject (100, 75); cout
nhưng chúng ta chỉ muốn nó làm việc khi kiểu dữ liệu là int còn những kiểu còn lại thì hàm luôn trả về 0. Nó có thể được làm theo cách sau: // Chuyên môn hoá mẫu 25 #include 0 template class pair { T value1, value2; public: pair (T first, T second) {value1=first; value2=second;} T module () {return 0;} }; template class pair { int value1, value2; public: pair (int first, int second) {value1=first; value2=second;} int module (); }; template int pair::module() { return value1%value2; } int main () { pair myints (100,75); pair myfloats (100.0,75.0); cout
return 0; } Như bạn có thể thấy sự chuyên môn hoá được định nghĩa theo cách sau: template class class_name Sự chuyên môn hoá này là một phần của một mẫu, vì vậy chúng ta phải bắt đầu phần khai báo với template . Và rõ ràng rằng đó là sự chuyên môn hoá cho một kiểu dữ liệu cụ thể nên chúng ta không thể dùng một kiểu dữ liệu tổng quát, cặp ngoặc nhọn cũng phải để trống. Sau phần tên lớp chúng ta phải viết thêm tên kiểu dữ liệu muốn dùng ở giữa cặp ngoặc nhọn . Khi chúng ta chuyên biệt hoá một kiểu dữ liệu cho một mẫu chúng ta cũng phải định nghĩa tất cả các thành viên tương xứng với sự chuyên môn hoá đó (nếu bạn thấy chưa rõ lắm, hãy xem lại ví dụ trên trong đó chúng ta đã phải viết lại constructor cho chính nó mặc dù cái này hoàn toàn giống như constructor ở trong lớp tổng quát. Nguyên nhân là do không có thành viên nào được "thừa kế" từ lớp tổng quát cho lớp chuyên môn hoá. Các giá trị tham số cho mẫu Bên cạnh các tham số của mẫu là kiểu dữ liệu (được đứng trước bởi từ khoá class hay typename), các hàm mẫu và các lớp mẫu còn có thể có các tham số khác không phải là kiểu mà chúng có thể là các giá trị hằng. Trong ví dụ dưới đây lớp mẫu được dùng để lưu trữ mảng: // array template 100 #include 3.1416 template class array { T memblock [N]; public: setmember (int x, T value); T getmember (int x); }; template array::setmember (int
x, T value) { memblock[x]=value; } template T array::getmember (int x) { return memblock[x]; } int main () { array myints; array myfloats; myints.setmember (0,100); myfloats.setmember (3.0,3.1416); cout
Theo quan điểm của trình biên dịch, các mẫu không phải là các hàm hay lớp thông thường. Chúng được dịch theo nhu cầu. Điều đó có nghĩa là mã của một hàm mẫu không được dịch cho đến khi cần dùng đến. Với các trình dịch ở thời điểm thực hiện bài viết, trình dịch sẽ tạo ra từ mẫu một hàm cụ thể cho kiểu dữ liệu được yêu cầu. Khi các dự án phát triển lên, nó thường chi mã của một chương trình thành nhiều file khác nhau. Trong những trường hợp đó, nói chúng phần giao tiếp và phần thực hiện là tách biệt. Lấy ví dụ một thư viện hàm nào đó, phần giao tiếp thường gồm tất cả những khai báo mẫu của các hàm có thể được gọi, chúng thường được khai báo trong một "header file"với phần mở rộng .h, và phần thực hiện (phần định nghĩa cả các hàm đó) được đặt trong các file mã C++ riêng. Đối với mẫu, chúng ta có một điều bắt buộc khi thực hiện các dự án nhiều file: phần thực hiện (phần định nghĩa) của một lớp mẫu hay hàm mẫu phải nằm trong cùng một file với phần khai báo. Điều này có nghĩa là chúng ta không thể tách phần giao tiếp thành một file riêng mà phải gộp cả phần giao tiếp và phần thực thi vào bất kì fiel nào sử dụng mẫu. Trở lại với trường hợp thư viện hàm, nếu chúng ta muốn tạo một thư viện hàm mẫu, thay vì việc tạo một header file (.h) chúng ta nên tạo một "template file" chứa cả phần giao tiếp và phần thực thi của các hàm mẫu (không có một quy định nào về phần mở rộng của những file này, bạn thích dùng thế nào cũng được hoặc cứ để là .h cho tiện). Một điều cuối cùng nữa là việc một "template file" được dùng nhiều lần trong một dự án sẽ không gây ra lỗi liên kết vì chúng được dịch theo nhu cầu và những trình biên dịch hỗ trợ templates sẽ biết phải làm thế nào để không sinh mã lặp trong các trường hợp đó.