Tạo một thể hiện của một lớp trong lớp tự

Question

Tôi mới đến C++ và có một câu hỏi:

Hãy so sánh đoạn mã sau:

class Node { 
public: 
    int data; 
    Node* x; 
}; 

và

class Node { 
public: 
    int data; 
    Node x; 
}; 

Tôi biết thứ hai một phần của mã không thể vượt qua biên dịch. Nhưng tôi muốn biết lý do.

Có liên quan đến phân bổ bộ nhớ hoặc quy định cú pháp không?

Tôi sẽ đánh giá cao nếu ai đó có thể giải quyết câu hỏi của tôi.

Answer 1

Mã trong đoạn thứ hai của bạn không thể biên dịch được, vì lớp Node không được xác định hoàn toàn tại thời điểm bạn khai báo thành viên dữ liệu x của loại Node.

Vì lợi ích của sự hiểu biết, hãy tưởng tượng nếu nó có thể biên dịch, nó sẽ dẫn đến một số loại "cấu trúc đệ quy vô hạn", sẽ mất một lượng bộ nhớ vô hạn. Dưới đây là cách bố trí giả của một đối tượng lớp như:

{ 
    data: int 
    x: Node 
    { 
    data: int 
    x: Node 
    { 
     data: int 
     x: Node 
     { 
     ... 
     } 
    } 
    } 
} 

Các trường hợp đầu tiên làm việc bởi vì bạn không cần một lớp học để được xác định đầy đủ để khai báo một con trỏ đến nó.
Tôi thấy rằng suy nghĩ của "hoàn toàn xác định" là "trình biên dịch biết lớp lớn này" giúp lý do về các vấn đề như thế này: trình biên dịch cần biết lớp lớn là khai báo một cá thể của nó, nhưng không khai báo một con trỏ đến nó, có cùng kích thước bất kể lớp đó.

Answer 2

Nó liên quan nhiều hơn đến logic cơ bản. Để cho Node chứa một đối tượng có cùng kích thước với chính nó và một thứ khác, nó sẽ phải lớn hơn chính nó hoặc kích thước vô hạn.

Ngôn ngữ cũng ngăn không cho nó vì loại không đầy đủ trong định nghĩa riêng của nó (vì vậy bạn thậm chí không thể có trường hợp thoái hóa của một lớp trống khác có chứa chính nó). Nhưng điều đó khá ngẫu nhiên đối với sự bất khả thi logic cơ bản hơn.

Answer 3

Nếu bạn có thể, sau đó một Node sẽ chứa một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node , trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, trong đó có một Node, tiếp theo ains a Node, có chứa Node, có chứa Node ... và cứ thế cho đến khi vũ trụ đầy Nodes và implodes.

Answer 4

Để khắc phục sự cố như vậy, bạn cũng có thể đưa ra tuyên bố chuyển tiếp. Nhưng vấn đề nằm trong những gì Martin J đã nói.

class Node; 

class Node { 
public: 
    int data; 
    Node* x; 
}; 

gấu trong tâm trí này không được kiểm tra

Answer 5

Trình biên dịch cần phải biết loại hoàn toàn của A khi nó sáng lập nó bên trong lớp A. Vì A là không đầy đủ, nó không thể xác định kích thước của nó, nó không thể xác định bao nhiêu không gian biến thành viên một sẽ mất, do đó nó sẽ không biên dịch nó.