Tại sao a +++++ b không hoạt động?

int main ()
{
   int a = 5,b = 2;
   printf("%d",a+++++b);
   return 0;
}

Mã này đưa ra lỗi sau:

error: lvalue bắt buộc như toán hạng tăng dần

Nhưng nếu tôi đặt khoảng trắng trong suốt a++ +và ++b, thì nó hoạt động tốt.

int main ()
{
   int a = 5,b = 2;
   printf("%d",a++ + ++b);
   return 0;
}

Lỗi trong ví dụ đầu tiên có nghĩa là gì?

printf("%d",a+++++b);được hiểu là (a++)++ + btheo Quy tắc Maximal Munch ^! .

++(postfix) không đánh giá thành một lvaluenhưng nó yêu cầu toán hạng của nó phải là một lvalue.

_{! 6.4 / 4 cho biết mã thông báo tiền xử lý tiếp theo là chuỗi ký tự dài nhất có thể tạo thành mã thông báo tiền xử lý "}

Các trình biên dịch được viết theo từng giai đoạn. Giai đoạn đầu tiên được gọi là lexer và biến các ký tự thành một cấu trúc biểu tượng. Vì vậy, "++" trở thành một cái gì đó giống như một enum SYMBOL_PLUSPLUS. Sau đó, giai đoạn phân tích cú pháp biến nó thành một cây cú pháp trừu tượng, nhưng nó không thể thay đổi các ký hiệu. Bạn có thể ảnh hưởng đến lexer bằng cách chèn dấu cách (các ký hiệu kết thúc trừ khi chúng nằm trong dấu ngoặc kép).

Lexers bình thường rất tham lam (với một số ngoại lệ), vì vậy mã của bạn đang được hiểu là

a++ ++ +b

Đầu vào cho trình phân tích cú pháp là một dòng ký hiệu, vì vậy mã của bạn sẽ giống như sau:

[ SYMBOL_NAME(name = "a"), 
  SYMBOL_PLUS_PLUS, 
  SYMBOL_PLUS_PLUS, 
  SYMBOL_PLUS, 
  SYMBOL_NAME(name = "b") 
]

Mà trình phân tích cú pháp cho rằng không chính xác về mặt cú pháp. (CHỈNH SỬA dựa trên nhận xét: Không chính xác về mặt ngữ nghĩa vì bạn không thể áp dụng ++ cho giá trị r, kết quả là a ++)

a+++b 

Là

a++ +b

Cái nào là ok. Các ví dụ khác của bạn cũng vậy.

Lexer sử dụng thuật toán thường được gọi là thuật toán "tối đa" để tạo mã thông báo. Điều đó có nghĩa là khi nó đang đọc các ký tự trong, nó sẽ tiếp tục đọc các ký tự cho đến khi nó gặp thứ gì đó không thể thuộc cùng một mã thông báo như những gì nó đã có (ví dụ: nếu nó đang đọc các chữ số thì những gì nó có là một số, nếu nó gặp phải an A, nó biết rằng đó không thể là một phần của số. vì vậy nó dừng lại và để lại Avùng đệm đầu vào để sử dụng làm phần đầu của mã thông báo tiếp theo). Sau đó, nó trả về mã thông báo đó cho trình phân tích cú pháp.

Trong trường hợp này, điều đó có nghĩa là +++++được viết bằng a ++ ++ + b. Vì bước tăng sau đầu tiên tạo ra một giá trị, nên không thể áp dụng giá trị thứ hai cho nó và trình biên dịch sẽ báo lỗi.

Chỉ cần FWIW, trong C ++, bạn có thể nạp chồng operator++để tạo ra một giá trị, cho phép điều này hoạt động. Ví dụ:

struct bad_code { 
    bad_code &operator++(int) { 
        return *this;
    }
    int operator+(bad_code const &other) { 
        return 1;
    }
};

int main() { 
    bad_code a, b;

    int c = a+++++b;
    return 0;
}

Các biên dịch và chạy (mặc dù nó không làm gì cả) với các trình biên dịch C ++ mà tôi có (VC ++, g ++, Comeau).

Ví dụ chính xác này được đề cập trong dự thảo tiêu chuẩn C99 ( cùng chi tiết trong C11 ) phần 6.4 Các yếu tố đơn giản, đoạn 4 có nội dung:

Nếu luồng đầu vào đã được phân tích cú pháp thành mã thông báo tiền xử lý lên đến một ký tự nhất định, mã thông báo tiền xử lý tiếp theo là chuỗi ký tự dài nhất có thể tạo thành mã thông báo tiền xử lý. [...]

còn được gọi là quy tắc tối đa munch được sử dụng trong phân tích từ vựng để tránh sự mơ hồ và hoạt động bằng cách lấy càng nhiều phần tử càng tốt để tạo thành một mã thông báo hợp lệ.

đoạn văn cũng có hai ví dụ, ví dụ thứ hai là một đối sánh chính xác cho câu hỏi của bạn và như sau:

VÍ DỤ 2: Đoạn chương trình x +++++ y được phân tích cú pháp là x ++ ++ + y, điều này vi phạm một ràng buộc đối với toán tử tăng, mặc dù việc phân tích cú pháp x ++ + ++ y có thể mang lại một biểu thức đúng.

cho chúng ta biết rằng:

a+++++b

sẽ được phân tích cú pháp thành:

a ++ ++ + b

điều này vi phạm các ràng buộc về tăng số bài đăng vì kết quả của số tăng bài đăng đầu tiên là một giá trị và số tăng bài đăng yêu cầu một giá trị. Điều này được đề cập trong phần Các 6.5.2.4 toán tử tăng và giảm Postfix cho biết ( mỏ nhấn mạnh ):

Toán hạng của toán tử tăng hoặc giảm hậu tố phải có kiểu thực hoặc con trỏ đủ điều kiện hoặc không đủ tiêu chuẩn và phải là giá trị có thể sửa đổi.

và

Kết quả của toán tử postfix ++ là giá trị của toán hạng.

Cuốn sách Gotchas C ++ cũng đề cập đến trường hợp này trong Gotcha #17 Maximal Munch Problems, nó cũng là vấn đề tương tự trong C ++ và nó cũng đưa ra một số ví dụ. Nó giải thích rằng khi xử lý nhóm ký tự sau:

->*

máy phân tích từ vựng có thể thực hiện một trong ba việc:

• Hãy đối xử với nó như ba thẻ: -, >và*
• Coi nó như hai mã thông báo: ->và*
• Coi nó như một mã thông báo: ->*

Các nhai tối đa quy định cho phép nó để tránh những sự mơ hồ. Tác giả chỉ ra rằng nó ( Trong ngữ cảnh C ++ ):

giải quyết nhiều vấn đề hơn nó gây ra, nhưng trong hai tình huống phổ biến, đó là một sự khó chịu.

Ví dụ đầu tiên sẽ là các mẫu có đối số mẫu cũng là mẫu ( đã được giải quyết trong C ++ 11 ), ví dụ:

list<vector<string>> lovos; // error!
                  ^^

Điều này diễn giải các dấu ngoặc nhọn đóng là toán tử shift , và do đó, cần có một khoảng trắng để phân biệt:

list< vector<string> > lovos;
                    ^

Trường hợp thứ hai liên quan đến các đối số mặc định cho con trỏ, ví dụ:

void process( const char *= 0 ); // error!
                         ^^

sẽ được hiểu là *=toán tử gán, giải pháp trong trường hợp này là đặt tên cho các tham số trong khai báo.

Trình biên dịch của bạn cố gắng phân tích cú pháp a+++++bvà diễn giải nó thành (a++)++ +b. Bây giờ, kết quả của post-increment ( a++) không phải là lvalue , tức là nó không thể được post-tăng thêm nữa.

Xin đừng bao giờ viết mã như vậy trong các chương trình chất lượng sản xuất. Hãy nghĩ về những người nghèo đang đuổi theo bạn, những người cần diễn giải mã của bạn.

(a++)++ +b

a ++ trả về giá trị trước đó, một rvalue. Bạn không thể tăng số này.

Bởi vì nó gây ra hành vi không xác định.

Đó là cái nào?

c = (a++)++ + b
c = (a) + ++(++b)
c = (a++) + (++b)

Vâng, cả bạn và trình biên dịch đều không biết điều đó.

BIÊN TẬP:

Lý do thực sự là một trong những lý do như những người khác đã nói:

Nó được hiểu là (a++)++ + b.

nhưng tăng số bài đăng yêu cầu một giá trị (là một biến có tên) nhưng (a ++) trả về một giá trị không thể tăng lên, do đó dẫn đến thông báo lỗi bạn nhận được.

Thx cho những người khác để chỉ ra điều này.

Tôi nghĩ rằng trình biên dịch coi nó là

c = ((a ++) ++) + b

++phải có dưới dạng toán hạng một giá trị có thể được sửa đổi. a là một giá trị có thể được sửa đổi. a++tuy nhiên là 'rvalue', nó không thể được sửa đổi.

Bằng cách này các lỗi tôi nhìn thấy trên GCC C là như nhau, nhưng khác nhau-worded: lvalue required as increment operand.

Thực hiện theo thứ tự sơ chế này

1. ++ (tăng trước)

2. + - (cộng hoặc trừ)

3. "x" + "y" thêm cả hai dãy

int a = 5,b = 2; printf("%d",a++ + ++b); //a is 5 since it is post increment b is 3 pre increment return 0; //it is 5+3=8