Tính ưu tiên của toán tử trong C++ có khác nhau đối với con trỏ và vòng lặp không?

Question

Đoạn code dưới đây cho thấy sự khác biệt này:

#include <iostream> 
#include <string> 

int main() 
{ 
     char s[] = "ABCD"; 
     std::string str(s); 

     char *p = s; 
     while(*p) { 
       *p++ = tolower(*p);   // <-- incr after assignment 
     } 
     std::cout << s << std::endl; 

     std::string::iterator it = str.begin(), end = str.end(); 
     while(it != end) { 
       *it++ = tolower(*it);  // <-- incr before assignment ? 
     } 
     std::cout << str << std::endl; 

     return 0; 
} 

nó tạo ra:

abcd 
bcd 

nếu chúng ta tách hoạt động phân công và điều hành increment:

while(it != end) { 
    *it = tolower(*it);  // <-- incr before assignment ? 
    it++; 
} 

đầu ra sẽ được như mong đợi.

Có gì sai với mã gốc?

$ g++ --version 
g++ (GCC) 3.4.4 (cygming special, gdc 0.12, using dmd 0.125) 
Copyright (C) 2004 Free Software Foundation, Inc. 

Answer 1

Vấn đề là thứ tự đánh giá đối số của operator= không được chỉ định. Đây là tiêu chuẩn C++ 5.2.2/8. Hãy xem xét những điều sau đây:

*it++ = tolower(*it); 

bằng

operator=(*it++, tolower(*it)); 

Bây giờ *it++ có thể được tính toán trước khi tolower(*it) và ngược lại.

Answer 2

*it++ = tolower(*it); 
*p++ = tolower(*p); 

Cả hai dòng gọi hành vi không xác định. Bạn không thể sửa đổi giá trị của một biến nhiều hơn một lần trong một câu lệnh đơn (++ sửa đổi một lần, toán tử = sửa đổi hai lần).

Vì vậy, thực tế là bạn nhận được các giá trị khác nhau là không đáng ngạc nhiên.

Answer 3

Ngữ pháp hoạt động chính xác như nhau đối với con trỏ và trình lặp. Các thao tác được ngụ ý bởi các toán tử được chuyển thành các cuộc gọi hàm cho các đối tượng kiểu lớp (chẳng hạn như hầu hết các trình vòng lặp).

Vấn đề với mã của bạn không phải là ưu tiên của nhà điều hành, trong cả hai dòng này không có trình tự giữa hoạt động gia tăng và lần đọc thứ hai của cùng một biến được tăng lên ở đâu đó trong câu lệnh. Bởi vì điều này, bạn có hành vi không xác định để anh ta có thể thấy bất kỳ hành vi nào từ chương trình của bạn bao gồm các kết quả mà bạn đang thấy.

*p++ = tolower(*p); 

*it++ = tolower(*it); 

Bạn cần phải định nghĩa lại tuyên bố này theo cách xác định trình tự. Tôi đoán rằng bạn muốn một cái gì đó như thế này.

char c = tolower(*p); 
*p++ = c;