Khai báo (khoa học máy tính)

Trong lập trình máy tính, khai báo (tiếng Anh: declaration) là một cấu trúc ngôn ngữ đặc tả các đặc tính của một định danh: nó công bố một từ (định danh) "có nghĩa là gì.^[1] Các khai báo thường được sử dụng cho hàm, biến, hằng số, và lớp, nhưng cũng có thể được dùng cho các thực thể khác như kiểu liệt kê và định nghĩa kiểu.^[1] Ngoài tên (chính là định danh) và kiểu thực thể (hàm, biến,...), khai báo thường đặc tả kiểu dữ liệu (cho biến và hằng số), hay chữ ký kiểu (cho hàm); kiểu có thể kèm theo kích thước, ví dụ như cho mảng. Một khai báo được sử dụng để thông báo về sự tồn tại của thực thể tới trình biên dịch; điều này rất quan trọng trong các ngôn ngữ kiểu chặt vốn yêu cầu hàm, biến và hằng số và các kiểu của nó phải được đặc tả trước khi sử dụng, và được sử dụng trong tiền khai báo.^[2] Thuật ngữ "khai báo" (declaration) thường tương phản với thuật ngữ "định nghĩa" (definition),^[1] nhưng nghĩa và cách dùng thay đổi đáng kể tùy theo ngôn ngữ; xem thêm chi tiết ở bên dưới.

Xem thêm[sửa | sửa mã nguồn]

Nguyên mẫu hàm (function prototype)
Tầm vực (khoa học máy tính) (scope)

Ghi chú[sửa | sửa mã nguồn]

Tham khảo[sửa | sửa mã nguồn]

^ ^a ^b ^c
"A declaration specifies the interpretation and attributes of a set of identifiers. A definition of an identifier is a declaration for that identifier that:
- for an object [variable or constant], causes storage to be reserved for that object;
- for a function, includes the function body;
- for an enumeration constant, is the (only) declaration of the identifier;
- for a typedef name, is the first (or only) declaration of the identifier."
C11 specification, 6.7: Declarations, paragraph 5.
^ Mike Banahan. “2.5. Declaration of variables”. http://publications.gbdirect.co.uk/c_book/: GBdirect. Truy cập ngày 8 tháng 6 năm 2011. [A] declaration [...] introduces just the name and type of something but allocates no storage[...].

Liên kết ngoài[sửa | sửa mã nguồn]

Declare vs Define in C and C++, Alex Allain
8.2. Declarations, Definitions and Accessibility, The C Book, GBdirect
Declarations and Definitions (C++), MSDN
"Declarations tell the compiler that a program element or name exists. Definitions specify what code or data the name describes."

[c11-1] "A declaration specifies the interpretation and attributes of a set of identifiers. A definition of an identifier is a declaration for that identifier that:
for an object [variable or constant], causes storage to be reserved for that object;

for a function, includes the function body;

for an enumeration constant, is the (only) declaration of the identifier;

for a typedef name, is the first (or only) declaration of the identifier."
C11 specification, 6.7: Declarations, paragraph 5.

[2] r an object [variable or constant], causes storage to be reserved for that object;

[3] r a function, includes the function body;

[4] r an enumeration constant, is the (only) declaration of the identifier;

[5] r a typedef name, is the first (or only) declaration of the identifier."

[2] Mike Banahan. “2.5. Declaration of variables”. http://publications.gbdirect.co.uk/c_book/: GBdirect. Truy cập ngày 8 tháng 6 năm 2011. [A] declaration [...] introduces just the name and type of something but allocates no storage[...].

[1]

[2]