phân tích cú pháp gây nhiều tranh cãi nhất với truy cập mảng

Question

Trong khi nhìn vào một số mã C++ 03, tôi tìm thấy một thể hiện của các phân tích cú pháp gây nhiều tranh cãi nhất rằng nhầm lẫn tôi:

#include <sstream> 
#include <string> 

int main(int, char** argv) 
{ 
    std::stringstream ss(std::string(argv[0])); 
} 

live example on wandbox

Trong đoạn trên , ss là khai báo hàm có số std::string* và trả về std::stringstream.

Làm thế nào là std::string(argv[0]) được phân tích cú pháp là std::string*?

Trực giác Tôi nghĩ rằng argv[0] là truy cập rõ ràng vào argv.

Answer 1

Lý do là bởi vì trong bối cảnh của một khai báo hàm, trình biên dịch sẽ giải thích std::string(argv[0]) như std::string argv[0], tức là một tuyên bố của một mảng không có kích thước như các tham số chức năng tênargv (làm lu mờ các argv từ main, vì đây là phạm vi khác), sau đó tương đương với một con trỏ theo số mảng-to-con trỏ-phân rã.

Do đó, std::stringstream ss(std::string(argv[0])); nghĩa giống như std::stringstream ss(std::string* argv);

Edit: Vì nó đã annotaded một cách chính xác trong các ý kiến, tờ khai mảng zero-kích thước không hợp lệ trong C++, làm cho chương trình vô hình thành. Khi biên dịch mã này với -pedantic cờ (GCC và clang), cảnh báo sẽ được phát hành. Visual Studio thậm chí còn tạo ra một lỗi biên dịch. Đối với bất kỳ chỉ mục mảng nào khác là 0, thì đối số trên vẫn giữ nguyên.

Answer 2

Tôi tin rằng điều này tuân theo nguyên tắc "cú pháp khai báo giống như cú pháp biểu thức" và thực tế là các tham số "mảng" là con trỏ.

Các tờ khai mảng sau là tương đương:

int x[1]; 
int (x)[1]; 
int (x[1]); 

nhiều hơn hoặc ít hơn vì x[a], (x)[a], và (x[a]) là những biểu hiện tương đương.

Như vậy,

std::stringstream ss(std::string(argv[0])) 

       <=> 

std::stringstream ss(std::string argv[0]) 

       <=> 

std::stringstream ss(std::string* argv)