Cú pháp ngôn ngữ C++

Cú pháp ngôn ngữ C++ là tập hợp các quy tắc nhằm xác định cách thức viết và dịch trong ngôn ngữ lập trình C++.

Vì C++ là ngôn ngữ được thiết kế để có thể hoạt động tương thích với ngôn ngữ C nên hai ngôn ngữ này chia sẻ nhau nhiều điểm chung trong cú pháp. Đối với các cấu trúc câu lệnh thông thường, các hàm, biến, và kiểu dữ liệu cơ bản xin xem thêm bài cú pháp C. Bài này chỉ tập trung vào các chủ đề căn bản mà ngôn ngữ C không có trong đó bao gồm việc hỗ trợ các mẫu hình lập trình tiêu bản và lập trình hướng đối tượng của C++.

==Chức năng Hướng đối tượng==
===Lớp===
====Định nghĩa lớp cơ bản====
Việc sử dụng lớp trong một chương trình C++ có hai phần chính là phần định nghĩa lớp và phần khai báo và truy cập các thành viên của một đối tượng có kiểu là một lớp cho trước.

- Định nghĩa thông thường của một lớp cơ bản không kế thừa từ bất kì lớp nào khác:
 class MyClass // tên lớp

Lưu ý: khi các từ khoá đặc tính codice_1 và codice_2 không có mặt thì toàn bộ các thành viên của lớp sẽ được hiểu mặc định là có đặc tính riêng tư ("private").
- Dùng khai báo biến codice_3 làm một thực thể ("instance") của lớp MyClass:

====Định nghĩa lớp con====
- Định nghĩa thông thường của một lớp con kế thừa từ lớp codice_4. Trong thí dụ dưới đây thì codice_5 có thể thay bằng một trong ba từ khoá đặc tính codice_6 và codice_2 hoặc nếu bỏ qua không viết ra thì đặc tính kế thừa mặc định của lớp con sẽ là "riêng tư".

- Định nghĩa thông thường của một lớp con kế thừa từ hai lớp codice_8 và codice_9. Tương tự trên, codice_5 có thể thay bằng một trong ba từ khoá đặc tính codice_1 và codice_2 hoặc nếu bỏ qua không viết ra thì đặc tính kế thưà mặc định của lớp con sẽ là "riêng tư".

class MySubClass: [đăc_tính] MyClass1, [đăc_tính] MyClass2

====Khai báo một biến đối tượng====
=====Biến đối tượng thông thường=====
Biến đối tượng có thể khai báo hay đôi khi còn gọi là "thực thể hoá" tùy theo cách xây dựng lớp của người lập trình. Thường quá trình xác lập này được tiến hành thông qua các hàm dựng. Dĩ nhiên, người ta có thể dùng ngay cả các phương thức thường dùng như là dùng tham chiếu (tức là dùng định nghĩa con trỏ), dùng mảng, dùng cấu trúc, hay phức tạp hơn (mảng tham chiếu chẳng hạn) để khai báo một biến đối tượng. (Xem thêm Cú pháp ngôn ngữ C.) Trong mọi trường hợp này thì kiểu của biến đối tượng được xem là lớp mà nó khai báo. Thí dụ:

Lưu ý: người lập trình hoàn toàn có thể thực thể hoá một biến đối tượng mà không cần phải xây dựng một hàm dựng, trình dịch sẽ tự tạo ra một "hàm dựng mặc định". Tuy nhiên, một khi đã xây dựng bất kì một hàm dựng nào thì cách khai báo mặc định này sẽ không còn được trình dịch chấp thuận và sẽ báo lỗi. Thí dụ sau đây thể hiện cách tạo một lớp mà không cần hàm dựng:

=====Biến đối tượng là một hằng=====
Trường hợp khi thành lập một đối tượng hằng thì việc điều chỉnh trạng thái nội tại của nó là không hợp lệ do đó, chỉ có một cách duy nhất là gán cho nó một bộ giá trị (hay một trạng thái) ban đầu. Trong trường hợp này thì sau khi đã thực thể hóa, biến đối tượng chỉ có thể cho phép đọc các giá trị nào mà lớp tạo ra nó cho phép. (xem thí dụ)

===Các thành viên của lớp===
====Thành viên dữ liệu====
Ngoài các khai cáo thành viên có kiểu dữ liệu như thông thường trong C, thì người lập trình còn có thể khai báo nó như một hằng, hay như một biến tĩnh, hay có cả hai đặc tính:
- Thành viên dữ liệu là một hằng: Trương tự như trong C, một thành viên là dữ liệu có thể được khai báo như là một hằng bởi từ khóa codice_13 đứng trước tên kiểu dữ liệu. Một khi đã khai báo là hằng thì không thể gán giá trị mới hay thay đổi nội dung của kiểu dữ liệu đó nữa (Lưu ý: trong C++ thì kiểu dữ liệu có thể là một lớp đã được định nghĩa). Do đó, dữ liệu là hằng sẽ được gán giá trị ban đầu ngay trong dòng lệnh khai báo tên của nó:
 const int x; 

- Thành viên dữ liệu có kiểu codice_14: Một khi thành viên của một lớp có kiểu là <code>static<code> thì nó sẽ có giá trị tĩnh cho mọi thực thể của cùng một lớp. Nghĩa là sự thay đổi giá trị của thành viên tĩnh này trong một thực thể bất kì sẽ có hiệu quả thay đổi của cùng thành viên đó trong các thực thể khác của cùng một lớp. Thực tế, khi một thành viên của một lớp được khai báo tĩnh thì phần bộ nhớ chứa giá trị của thành viên này sẽ được chia sẻ cho mọi thực thể về sau. Nói cách khác, ứng với mỗi thành viên tĩnh, chỉ có duy nhất một giá trị chia sẻ chung cho cả lớp.

- Thành viên dữ liệu có thể có cả hai đặc tính trên tức là vừa có kiểu tĩnh vừa là hằng số. Thường từ khóa codice_14 được viết trước sau đó là từ khóa codice_16. Thí dụ dưới đây minh họa các cú pháp khai báo. việc sử dụng một biến hằng có kiểu tĩnh rất tiện lợi cho nhiều đối tượng thực thể hóa có cùng một lớp chia sẻ chung một hằng số (thí dụ: hằng số Pi dùng chung cho các đối tượng cung tròn, đường tròn, và elipse). Ngược lại, khi có các hằng số đặc thù cho từng thực thể của một lớp thì một cách là dùng hằng số thông thường (chẳng hạn như cùng một lớp "chiết tính tiền lời cho vay" nhưng thực thể ngắn hạn có "hằng số lãi kép" cao hơn nhiều so với hằng số lãi kép dài hạn). Thí dụ dưới đây minh họa cú pháp khai báo

Kết quả sau khi dịch và chạy chương trình trên là:

Lưu ý: bạn sẽ không thể gán giá trị nào khác ngoài các giá trị ban đầu khi khai báo cho các hằng. Trong thí dụ trên hàm setValue sẽ cho phép bạn gán lại giá trị tĩnh codice_17 của lớp A và nó ảnh hưởng đến mọi thực thể cùng lớp A. Trong khi hàm setNormal cho phép gán lại giá trị cho biến codice_18 thông thường trong một thực thể của lớp A sẽ chỉ hiệu lực cho riêng thực thể đó mà thôi.

====Hàm thành viên====
Các khai báo một thành viên là hàm trong một lớp có thể dùng hai dạng chính sau:
- Mô tả trực tiếp trong định nghĩa của lớp mà hàm là thành viên
[virtual] int
- Mô tả sau bên ngoài sau định nghĩa của lớp mà hàm là thành viên

====Hàm dựng (còn gọi là cấu tử, Constructor)====
Cấu tử là hàm thành viên đặc biệt, có tên trùng với tên của lớp, làm nhiệm vụ tạo lập đối tượng theo yêu cầu. Khi một đối tượng được khai báo thì cấu tử sẽ tự động thực hiện để tạo lập đối tượng trong bộ nhớ. Một lớp có thể có nhiều cấu tử (tải bội), cấu tử không có tham số là cấu tử mặc định. Nếu ta không định nghĩa một cấu tử nào thì cấu tử mặc định sẽ được sử dụng, trái lại sẽ không được sử dụng.
1. include <iostream.h>
 class Point 
int main()
Đối tượng a được tạo lập bởi cấu tử thứ nhất. Các đối tượng b và c được tạo lập bởi cấu tử thứ hai. Cấu tử thứ hai có một tham số mặc định, nếu ta đặt mặc định cho cả hai tham số thì phải bỏ đi cấu tử thứ nhất, vì nếu không, sẽ dẫn đến sự nhập nhằng khi khai báo Point a; (Ambiguity between 'Point::Point()' and 'Point::Point(int,int)').

====Hàm hủy (còn gọi là huỷ tử, destructor)====
Khi đối tượng không còn được sử dụng thì nên giải phóng nó khỏi bộ nhớ. Các hủy tử được sử dụng để làm việc này. Hủy tử cũng là hàm thành viên có tên trùng với tên của lớp, nhưng có thêm ký tự ~ ở trước. Nếu ta không định nghĩa, thì sử dụng hủy tử mặc định.Tất cả các hủy tử đều không có tham số. Trong ví dụ trên, ta có thể định nghĩa hủy tử như sau:

====Hàm hằng====
Một hàm thành viên có thể được khai báo đẻ trở thành hàm hằng. Với khai báo này thì thành viên đó sẽ chỉ có giá trị đọc được mà không có hiệu lực thay đổi giá trị nội tại của một thực thể. Để khai báo thì từ khóa codice_13 phải được đặt ngay sau khai báo hàm và đứng trước khối mã xác lập hàm số đó nếu có.

Lưu ý: Trong trường hợp này thì hàm hằng được hiểu với ý nghĩa khác với ý nghĩa trong toán học (khi một hàm số là có giá trị không đổi)

// hàm hằng 

Lưu ý: Việc khai báo một kiểu dữ liệu nói chung hay một thành viên của một lớp nói riêng là một hằng có thể có nhiều điểm phức tạp khi kết hợp với các kiểu tham chiếu hay con trỏ. (xem thêm Const Correctness in C++, The C++ 'const' Declaration: Why & How và Const correctness về cách sử dụng từ khóa codice_13 cho có hiệu quả)

====Hàm ảo (virtual function)====
Hàm ảo thường được định nghĩa ở lớp cơ sở và cho phép các lớp dẫn xuất từ nó được định nghĩa lại hàm ảo này. Giả sử FIGURE là lớp cơ sở, có sẵn phương thức Draw(). Lớp SQUARE và lớp CIRCLE cùng được dẫn xuất từ lớp FIGURE. Tất nhiên ta sẽ phải định nghĩa lại hai phương thức là SQUARE::Draw() và CIRCLE::Draw() của từng lớp cho phù hợp. Giả sử ptr là con trỏ trỏ đối tượng thuộc lớp FIGURE, s và c tương ứng là hai đối tượng thuộc lớp SQUARE và CIRCLE. Ta muốn rằng, khi cho ptr trỏ tới s thì lời gọi prt->Draw() sẽ vẽ ra hình vuông, còn khi cho ptr trỏ tới c thì lời gọi prt->Draw() sẽ vẽ ra hình tròn. Cách giải quyết của C++ là định nghĩa FIGURE::Draw() là hàm ảo. Ta xem ví dụ sau:

1. include <iostream.h>
2. include <conio.h>
class FIGURE 
class CIRCLE:public FIGURE
class SQUARE:public FIGURE
int main()

Không thể định nghĩa cấu tử là hàm ảo, vì chính cấu tử làm nhiệm vụ khởi tạo bảng phương thức ảo VMT (Virtual Methods Table). 
Tuy nhiên các hủy tử có thể là hàm ảo.

====Hàm cơ bản trừu tượng (pure virtual function)====
Hàm cơ bản trừu tượng được giới thiệu trong lớp nhưng không được định nghĩa; hàm này bắt buộc phải được định nghĩa lại trong lớp con (derived class).

Nguyên tắc viết một hàm cơ bản trừu tượng là thêm =0 khi giới thiệu hàm.

Thí du:

==Chức năng đặc biệt trên các hàm trong C++==
===codice_22===
Hàm bạn không phải là hàm thành viên của lớp nhưng có thể thay đổi giá trị thành viên của lớp. Thí dụ:

=== Nạp chồng hàm (function overloading) ===
Trong C++ có thể định nghĩa nhiều hàm trùng tên nhau, nhưng những hàm này phải có parameter khác nhau.

Thí dụ:
// Hàm này nhận 1 tham số là: "ia"
int ham (int ia)

// Hàm này cùng tên với hàm trên và nhận 2 tham số là: "ia" và "ib"
int ham (int ia, int ib)

===Nạp chồng toán tử (operator overloading)===
Nạp chồng toán tử cho phép định nghĩa lại một toán tử (thí dụ định nghĩa lại +, -, *, /, vân vân) cho một type định nghĩa bởi người dùng.

Thí dụ:

==Xem thêm==
- Lập trình hướng đối tượng
- C++
- Cú pháp ngôn ngữ C
- Thư viện chuẩn C++
- Thư viện chuẩn C
- Const correctness

==Tham khảo==
- Const Correctness in C++
- MSDN2 Library
- Trình dịch GNU g++ của các hệ điều hành SUSE SLES Linux 9.2 và RedHat Linux 7.3 --dùng trong việc kiểm nghiệm lại các cấu trúc văn phong theo các tiêu chuẩn.