C++: bối rối tuyên bố ngữ nghĩa

Question

Sau khi thử tay của tôi tại Perl và một chút C, tôi đang cố gắng để tìm hiểu C + + và tôi đã bị sa lầy bởi các chi tiết và cạm bẫy. Hãy xem xét điều này: -

int x = 1; 
{ 
    int x = x; // garbage value of x 
} 
int const arr = 3; 
{ 
    int arr[arr]; // i am told this is perfectly valid and declares an array of 3 ints !! 
} 

Huh, Tại sao sự khác biệt?

Để làm rõ: Sử dụng cùng tên hợp lệ trong một trường hợp và không hợp lệ trong một trường hợp khác và không hợp lệ trong một trường hợp khác.

Answer 1

Chào mừng bạn đến với vũ trụ của C++! Đối với câu hỏi của bạn, câu trả lời nằm trong một khái niệm gọi là 'Point-of-declaration'.

>>int x = 1; 
>>{ int x = x; } // garbage value of x 

Từ Mục: -3.3.1.1 (C++ Dự thảo Tiêu chuẩn) Điểm kê khai cho một tên là ngay sau khi declarator hoàn chỉnh của nó và trước khi khởi tạo của nó (nếu có), ngoại trừ được nêu dưới đây.

int x = 12; 
{ int x = x; } 

Ở đây; 'operator =' là trình khởi tạo. Bạn có thể nói rằng điểm khai báo cho 'x' chưa được đạt tới, vì vậy giá trị của 'x' không xác định.

>>int const arr = 3; 
>>{ int arr[arr]; } // i am told this is perfectly valid and declares an array of 3 ints !! 

Tại sao? Từ phần: -3.3.1.4 (Bản nháp chuẩn C++) Tên không phải địa phương vẫn hiển thị cho đến điểm khai báo tên địa phương ẩn nó. Ở đây, điểm tuyên bố đạt được tại ';' tính cách. Vì vậy, giá trị có thể nhìn thấy trước của 'arr' được sử dụng tức là = 3.

Ngoài ra, bạn có thể muốn biết rằng sau đây là hợp lệ: -

const int e = 2; 
{ enum { e = e }; } // enum e = 2 

Từ Mục: -Chapter-3.3.1.4 (Bản thảo chuẩn C++): - Điểm khai báo cho điều tra viên ngay sau định nghĩa của điều tra viên.

Nhưng, không làm điều này

const int Spades = 1, Clubs = 2, Hearts = 3, Diamonds = 4; 
enum Suits 
{ 
    Spades = Spades,  // error 
    Clubs,    // error 
    Hearts,    // error 
    Diamonds    // error 
}; 

Tại sao? Bởi vì điều tra viên được xuất khẩu đến phạm vi kèm theo của điều tra. Trong ví dụ trên, các bảng liệt kê Spades, Clubs, Hearts, và Diamonds được khai báo. Bởi vì các điều tra viên được xuất khẩu đến phạm vi bao quanh, chúng được coi là có phạm vi toàn cầu. Các định danh trong ví dụ đã được định nghĩa trong phạm vi toàn cục. Vì vậy, nó là một lỗi.

Để biết thêm chi tiết và cạm bẫy (:-)), đọc trên phần 3.3 'Vùng khai báo và phạm vi' từ Dự thảo Tiêu chuẩn C++, nếu bạn quan tâm, bạn có thể giữ bản pdf từ here (http://www.research.att.com/~bs/SC22-N-4411.pdf).

Answer 2

Trước tiên, trong thế giới thực, bạn nên sử dụng không phải vì nó gây nhầm lẫn, và thậm chí một vài giây để hiểu điểm tốt này là quá nhiều chất thải.

Phế liệu phần còn lại của câu trả lời của tôi - Abhay đã hiểu đúng và chi tiết hơn nhiều :)