Trình biên dịch và template
Trong bài trước chúng ta thấy một điều hơi là lạ, đó là file header array.h có chỉ thị #include file source array.cpp. Tại sao như vậy ?
Khi trình biên dịch gặp template, nó kiểm tra cú pháp, nhưng không biên dịch ngay.
Ví dụ nó gặp template<class T> nó không thể biên dịch vì nó không biết kiểu dữ liệu của T.
Khi nó gặp instance đầu tiên của template, ví dụ template<int> nó biên dịch và chúng ta có phiên bản với kiểu dữ liệu int của template.
Khi nó gặp instance thứ hai của template, ví dụ template<double> nó cũng lại biên dịch và chúng ta có phiên bản thứ hai của template, phiên bản với kiểu dữ liệu double. Vân vân.
Thông thường chúng ta viết định nghĩa lớp và nguyên mẫu các hàm của lớp đó ở file header (đuôi .h) rồi mới viết thân cho các
hàm đó ở một file source (đuôi .cpp), mà file cpp này include luôn file header đó.
Template phải làm ngược lại. Vì lí do nói trên, cả định nghĩa lớp, nguyên mẫu các hàm lẫn thân của các hàm đó của một lớp template phải được biên dịch cùng nhau. Do đó khi tách rời định nghĩa của một lớp template ra chứa trong một file header riêng,
file header đó phải include file source chứa thân các hàm của lớp template đó, rồi một file nào khác muốn dùng template đó phải include cái file header đó.
Ở đây còn một phần nữa về export, tôi đã cắt đi. Có nhiều thứ sau này tôi cũng sẽ cắt đi, nhằm giảm tải cho chương trình xuống đến mức tối thiểu nhất có thể được. Nhưng an tâm là những thứ quan trọng nhất đều có đầy đủ.
Dùng từ khóa nào, class hay typename
Về cơ bản, sự khác biệt giữa chúng là không rõ ràng, cả 2 đều có cùng ý nghĩa và cùng cho kết quả như nhau, bạn muốn dùng từ khóa nào cũng được.
Nhưng có lúc bạn phải dùng từ khóa typename, ví dụ
CODE
template<typename T>class Thing {
T::SubType *ptr;
};
Chúng ta muốn khai báo 1 con trỏ thuộc kiểu SubType của T, nhưng C++ sẽ hiểu là chúng ta muốn nhân giá trị SubType của kiểu T với ptr Lúc này chúng ta bắt buộc phải dùng từ khóa typename
CODE
template<typename T>class Thing{
typename T::SubType *ptr;
};
Chuyên môn hóa template (template specialization)
Giả sử ta có một lớp template
template<class T>class pair{…}
Khi ta tạo một instance bằng cách khai báo cụ thể kiểu của T, ví dụ là int, tức là ta đã chuyên môn hóa (specialization) lớp template đó
pair<int> myobject(155,36);
Đôi khi ta muốn lớp template tạo ra những instance cụ thể để thực hiện những công việc cụ thể riêng đối với một loại dữ liệu cụ thể nào đó, ta dùng chuyên môn hóa cụ thể (explicit specialization)
Trong ví dụ dưới đây ta muốn riêng đối với kiểu dữ liệu cụ thể là int thì lớp template có một hàm trả về phần dư giữa hai số nguyên, còn với các kiểu dữ liệu khác thì nó trả về 0
CODE
template<class T>
class pair {
T value1, value2;
public:
pair(T first, T second) {
value1=first; value2=second;
}
T module() {return 0;}
};
//viết lại định nghĩa lớp chuyên môn hóa cho kiểu dữ liệu int
template<>
class pair<int> {
int value1, value2;
public:
pair(int first, int second) {
value1=first; value2=second;
}
int module ();
};
//hàm module dành riêng cho lớp chuyên môn hóa
template<>
int pair<int>::module() {
return value1%value2;
}
int main() {
pair<int> myints(100,75);
cout<<myints.module()<<endl;
pair<float> myfloats(100.0,75.0);
cout<<myfloats.module()<<endl;
return 0;
}
Ép kiểu dữ liệu (casting) trong C++
Trong C chúng ta ép kiểu dữ liệu như sau
int n=(int)45.87;
Trong C++ có 1 cách ép kiểu dữ liệu như sau
int i = static_cast<int>(45.87);
Cho ra kết quả như nhau (tạm chỉ cần biết thế)
Chúng ta sẽ còn quay trở lại với casting trong C++ sau
Diễn dịch đối số (argument deduction)
Xem lại hàm template dưới đây
template <typename T> T max(T a, T b)
Kiểu dữ liệu của 2 đối số (argument) a và b sẽ được quyết định bởi kiểu dữ liệu của 2 tham số (parameter) truyền vào hàm này.
Và 2 đối số này cùng là kiểu T, nên 2 tham số này phải cùng một kiểu. C++ không có tự động chuyển kiểu ở đây. Ví dụ
max(7, 5); //hợp lệ, T lúc này là kiểu int, 2 tham số cùng kiểu int
max(7, 5.2); //không hợp lệ, T lúc này là kiểu int (kiểu dữ liệu của tham số được truyền trước tiên, nhưng 2 tham số thì một cái kiểu int, một cái kiểu double
Có 2 cách xử lí chuyện này
Cách 1: casting (ép kiểu) tham số đầu tiên
max(static_cast<double>(7), 5.2); //lúc này T là kiểu double, 2 đối số đều cùng kiểu double
Cách 2: explicit specialization (chuyên môn hóa cụ thể) cho T thành double
max<double> (7, 5.2);
Đối số của template (template argument)
template thường có các đối số là typename T (với T là kiểu dữ liệu chưa biết) Nhưng thực ra template cũng có các đối số là các kiểu
dữ liệu đã biết
Đối số kiểu primitive, ví dụ kiểu int
CODE
template<typename T,int size>
class Array{
T* array;
public:
Array();
};
template<typename T,int size>Array<T,size>::Array(){
array = new T[size];
}
int main(){
Array<string,5> a;
return 0;
}
Đối số là một lớp template khác
CODE
#include <iostream>
#include <string>
using namespace std;
template<typename T>
class Array
{
T* array;
public:
Array();
};
template<typename T>Array<T>::Array()
{
array = new T;
}
template<typename T,typename U = Array<typename V>,int size>
class Stack
{
U* elems;
public:
Stack();
};
template<typename T,typename U = Array<typename V>,int size>
Stack<T,U,size>::Stack()
{
elems = new U[size];
}
int main()
{
Stack<string,Array<double>,5> a;
return 0;
}
Còn mấy phần nữa, nhưng rất cao và ít dùng về sau trong lập trình game, mà chủ yếu cho lập trình bậc thấp, phần cứng, hệ điều hành, nên tôi bỏ, như thế này đủ nhức đầu và khó nhớ rồi. Các bác học xong template rồi đó, nắm rõ tất cả các kĩ thuật về
template để chuẩn bị cho học STL về sau.
Làm cái bài tập chứ nhỉ. Đề đơn giản thôi: lập trình một danh sách liên kết đơn dùng template, đủ các phép thêm, xóa, sửa, truy xuất. Có sẵn cái chương trình mẫu ở dưới này. Chương trình này cực yếu, không có xóa, hủy … Chương trình cần các bác bổ sung đó.
CODE
template<typename T>class Node
{
T data;Node<T>* next;
public:
Node<T>(T data){(*this).data=data;(*this).next=0;}
T getData(){return data;}
void setData(T data){(*this).data=data;}
Node<T>* getNext(){return next;}
void setNext(Node<T>* next){(*this).next=next;}
};
template<typename T>class List
{
Node<T>* front;Node<T>* rear;Node<T>* current;
public:
List<T>(){(*this).front=(*this).rear=(*this).current=0;}
List<T>(const List<T>& l()){
(*this).front=(*this).rear=(*this).current=0;
Node<T>* temp=new (nothrow)Node<T>;if(temp==0) exit(1);
temp=l.front;
while(temp!=0){
insertRear(temp->getData());
temp = temp->getNext();
}
}
~List<T>(){
Node<T>* temp=new (nothrow)Node<T>;if(temp==0) exit(1);
while(front!=0){
temp=front;
front=(*front).next;
delete temp;
}
}
void insertFront(T data){
Node<T>* temp=new (nothrow)Node<T>;if(temp==0) exit(1);
(*temp)->setData(data);
if(front==0) rear=temp;
else temp->setNext(front);
front=temp;
}
void insertRear(T data){
Node<T>* temp=new (nothrow)Node<T>;if(temp==0) exit(1);
(*temp)->setData(data);
if(rear==0) front=temp;
else rear->setNext(temp);
rear=temp;
}
void reset(){if(front!=0) current=front;}
void next(){if(current!=0) current = current->getNext();}
T getCurrentData(){if(current!=0) return current->getData();}
bool endOfList(){return(current==0);}
};