để đánh giá các đối số chức năng và đối số mặc định

Question

Gần đây tôi đã chạy băng qua tình huống sau đây:

#include <iostream> 

int *p = 0; 

int f() { 
    p = new int(10); 
    return 0; 
} 

void g(int x, int *y = p) { 
    std::cout << y << std::endl; 
} 

int main() { 
    g(f()); 
} 

này khá tinh tế, vì bạn thường không mong đợi các đối số mặc định để thay đổi trong đánh giá của họ đối với cuộc gọi chức năng . Tôi đã phải nhìn vào hội đồng để phát hiện lỗi này.

Bây giờ câu hỏi của tôi là: Hành vi này có thực sự không xác định, vì không có bất kỳ đảm bảo nào liên quan đến thứ tự đánh giá các đối số hàm?

Answer 1

Thứ tự đánh giá (tức là xác định giá trị) của đối số hàm không được chỉ định. Trình biên dịch là miễn phí để thực hiện chúng theo thứ tự bất kỳ, và thậm chí xen kẽ nếu không có yếu tố khác ngăn chặn nó làm như vậy.

Đánh giá các đối số mặc định xảy ra trong ngữ cảnh của người gọi, không phải là callee. Vì vậy, các cuộc gọi đến f() là cần thiết cho một đối số, và đọc biến toàn cầu p cho khác. Thứ tự này xảy ra trong không được chỉ định, vì vậy toàn cầu có thể được đọc trước hoặc sau cuộc gọi đến f().

Answer 2

Nếu tôi hiểu nó một cách chính xác, cuộc gọi của bạn

g(f()); 

tương đương với

g(f(), p); 

do việc kê khai

void g(int x, int *y = p); 

Và đối số cho các g chức năng, f() và p , có thể được đánh giá theo bất kỳ thứ tự nào, vì vậy bạn có thể nhận được g được gọi là y được gán cho số không (nếu p được đánh giá trước, sau đó trả về giá trị ban đầu) hoặc con trỏ mảng mới được phân bổ (nếu f() được đánh giá đầu tiên và gán giá trị mới cho p làm hiệu ứng phụ).