C++ đa hình và mặc định luận

Question

Tôi có các lớp:

class Base 
{ 
    public: 
     virtual void foo(int x = 0) 
     { 
      printf("X = %d", x); 
     } 
}; 

class Derived : public Base 
{ 
    public: 
     virtual void foo(int x = 1) 
     { 
      printf("X = %d", x); 
     } 
};

Khi tôi có:

Base* bar = new Derived(); 
bar->foo();

đầu ra của tôi là "X = 0", ngay cả khi foo được gọi là từ nguồn gốc, nhưng khi Tôi có:

Derived* bar = new Derived(); 
bar->foo();

Kết quả của tôi là "X = 1". Hành vi này có đúng không? (Để chọn giá trị tham số mặc định từ kiểu khai báo, thay vì chọn nó từ kiểu đối tượng thực tế). Điều này có phá vỡ sự đa hình C++ không?

Có thể gây ra nhiều sự cố nếu ai đó sử dụng các chức năng ảo mà không chỉ định tham số chức năng thực tế và sử dụng thông số mặc định của hàm.

Answer 1

Đối số mặc định được giữ lại ngay cả khi bạn ghi đè hàm! Và hành vi này là chính xác. Hãy để tôi tìm kiếm tham chiếu từ tiêu chuẩn C++.

§8.3.6/10 [Mặc định lập luận] từ ++ Chuẩn C nói,

Một cuộc gọi chức năng ảo (10,3) sử dụng các đối số mặc định trong khai báo của hàm ảo xác định bởi loại tĩnh của con trỏ hoặc tham chiếu biểu thị đối tượng . Chức năng ghi đè trong lớp học bắt buộc không nhận được các đối số mặc định từ hàm này ghi đè.

Ví dụ từ Standard tự

struct A { 
    virtual void f(int a = 7); 
}; 
struct B : public A { 
    void f(int a); 
}; 
void m() 
{ 
    B* pb = new B; 
    A* pa = pb; 
    pa->f(); //OK, calls pa->B::f(7) 
    pb->f(); //error: wrong number of arguments for B::f() 
} 

Ngoài ra, không chỉ nó giữ lại, nó được đánh giá mọi chức năng được gọi là:

§8.3.6/9 cho biết,

Đối số mặc định được đánh giá mỗi khi hàm được gọi là

Answer 2

Hành vi là chính xác. Kiểm tra các câu trả lời cho câu hỏi này cho một lời giải thích:

Can virtual functions have default parameters?

đạo đức: điều trị các giá trị tham số mặc định như là một phần của chữ ký chức năng và không thay đổi chúng khi trọng chức năng ảo!

Answer 3

Đây là những gì C++ thiết kế, tôi nghĩ vậy.

Đa hình được hoàn thành bởi bảng ảo, trong đó phát nội bộ bằng con trỏ đến hàm, nhưng giá trị mặc định của thông số không được lưu với con trỏ hàm, nó được liên kết trong giai đoạn biên dịch, vì vậy nó chỉ có thể nhận giá trị mặc định trước tiên nhìn vào kiểu của nó, trong trường hợp đầu tiên của bạn, nó là Base, sau đó nó sử dụng 0 làm giá trị mặc định.