Chức năng ảo thuần túy với việc thực hiện

Hiểu biết cơ bản của tôi là không có triển khai cho một chức năng ảo thuần túy, tuy nhiên, tôi được cho biết có thể có triển khai cho chức năng ảo thuần túy.

class A {
public:
    virtual void f() = 0;
};

void A::f() {
    cout<<"Test"<<endl;
}

Mã ở trên có ổn không?

Mục đích để làm cho nó trở thành một chức năng ảo thuần túy với việc triển khai là gì?

Một virtualhàm thuần túy phải được thực hiện theo kiểu dẫn xuất sẽ được khởi tạo trực tiếp, tuy nhiên kiểu cơ sở vẫn có thể định nghĩa một triển khai. Một lớp dẫn xuất có thể gọi một cách rõ ràng việc thực hiện lớp cơ sở (nếu quyền truy cập cho phép nó) bằng cách sử dụng một tên có phạm vi đầy đủ (bằng cách gọi A::f()trong ví dụ của bạn - nếu A::f()là publichoặc protected). Cái gì đó như:

class B : public A {

    virtual void f() {
        // class B doesn't have anything special to do for f()
        //  so we'll call A's

        // note that A's declaration of f() would have to be public 
        //  or protected to avoid a compile time problem

        A::f();
    }

};

Trường hợp sử dụng mà tôi có thể nghĩ ra khỏi đỉnh đầu là khi có một hành vi mặc định hợp lý ít nhiều hợp lý, nhưng người thiết kế lớp muốn hành vi sắp xếp mặc định đó chỉ được gọi một cách rõ ràng. Nó cũng có thể là trường hợp bạn muốn các lớp dẫn xuất luôn thực hiện công việc của riêng chúng nhưng cũng có thể gọi một bộ chức năng chung.

Lưu ý rằng mặc dù ngôn ngữ cho phép, nhưng đó không phải là thứ mà tôi thấy thường được sử dụng (và thực tế là nó có thể được thực hiện dường như gây ngạc nhiên cho hầu hết các lập trình viên C ++, ngay cả những người có kinh nghiệm).

Để rõ ràng, bạn đang hiểu nhầm what = 0; sau một chức năng ảo có nghĩa là.

= 0 có nghĩa là các lớp dẫn xuất phải cung cấp một triển khai, không phải là lớp cơ sở không thể cung cấp một triển khai.

Trong thực tế, khi bạn đánh dấu một hàm ảo là thuần (= 0), có rất ít điểm trong việc cung cấp một định nghĩa, bởi vì nó sẽ không bao giờ được gọi trừ khi có ai đó làm như vậy thông qua Base :: Function (...) hoặc nếu Trình xây dựng lớp cơ sở gọi hàm ảo trong câu hỏi.

Ưu điểm của nó là nó buộc các kiểu dẫn xuất vẫn ghi đè phương thức nhưng cũng cung cấp một triển khai mặc định hoặc phụ gia.

Nếu bạn có mã nên được thực hiện bởi lớp phái sinh, nhưng bạn không muốn nó được thực thi trực tiếp - và bạn muốn buộc nó bị ghi đè.

Mã của bạn là chính xác, mặc dù tất cả trong tất cả điều này không phải là một tính năng thường được sử dụng và thường chỉ thấy khi cố gắng xác định một hàm hủy ảo thuần túy - trong trường hợp đó bạn phải cung cấp một triển khai. Điều buồn cười là một khi bạn xuất phát từ lớp đó, bạn không cần phải ghi đè lên hàm hủy.

Do đó, việc sử dụng hợp lý các hàm ảo thuần là xác định một hàm hủy ảo thuần là một từ khóa "không phải là cuối cùng".

Các mã sau đây là chính xác đáng ngạc nhiên:

class Base {
public:
  virtual ~Base() = 0;
};

Base::~Base() {}

class Derived : public Base {};

int main() { 
  // Base b; -- compile error
  Derived d; 
}

Bạn sẽ phải cung cấp một cơ thể cho một kẻ hủy diệt ảo thuần túy, ví dụ :)

Đọc: http://cplusplus.co.il/2009/08/22/pure-virtual-destructor/

(Liên kết bị hỏng, sử dụng kho lưu trữ)

Vâng cái này đúng rồi. Trong ví dụ của bạn, các lớp xuất phát từ A kế thừa cả giao diện f () và cách triển khai mặc định. Nhưng bạn buộc các lớp dẫn xuất thực hiện phương thức f () (ngay cả khi nó chỉ gọi cách thực hiện mặc định do A cung cấp).

Scott Meyers thảo luận về vấn đề này trong Hiệu quả C ++ (Phiên bản 2) Mục 36 Phân biệt giữa kế thừa giao diện và kế thừa thực hiện. Số mặt hàng có thể đã thay đổi trong phiên bản mới nhất.

Các hàm ảo thuần có hoặc không có phần thân đơn giản có nghĩa là các kiểu dẫn xuất phải cung cấp việc thực hiện riêng của chúng.

Các cơ quan chức năng ảo thuần túy trong lớp cơ sở rất hữu ích nếu các lớp dẫn xuất của bạn muốn gọi thực hiện lớp cơ sở của bạn.

'Khoảng trống ảo foo () = 0;' cú pháp không có nghĩa là bạn không thể triển khai foo () trong lớp hiện tại, bạn có thể. Nó cũng không có nghĩa là bạn phải thực hiện nó trong các lớp dẫn xuất . Trước khi bạn tát tôi, hãy quan sát vấn đề kim cương: (Mã ngầm định, để ý bạn).

class A
{
public: 
    virtual void foo()=0;
    virtual void bar();
}

class B : public virtual A
{
public:
    void foo() { bar(); }
}

class C : public virtual A
{
public:
    void bar();
}

class D : public B, public C
{}

int main(int argc, const char* argv[])
{
    A* obj = new D();
    **obj->foo();**
    return 0;
}

Bây giờ, lời gọi obj-> foo () sẽ dẫn đến B :: foo () và sau đó là C :: bar ().

Bạn thấy ... các phương thức ảo thuần túy không phải được triển khai trong các lớp dẫn xuất (foo () không có triển khai trong lớp C - trình biên dịch sẽ biên dịch) Trong C ++ có rất nhiều sơ hở.

Hy vọng tôi có thể giúp :-)

Một trường hợp sử dụng quan trọng của việc có một phương thức ảo thuần túy với một cơ quan triển khai , là khi bạn muốn có một lớp trừu tượng, nhưng bạn không có bất kỳ phương thức thích hợp nào trong lớp để biến nó thành ảo thuần. Trong trường hợp này, bạn có thể làm cho hàm hủy của lớp thuần ảo và đặt triển khai mong muốn của bạn (thậm chí là một phần thân trống) cho điều đó. Ví dụ:

class Foo
{
   virtual ~Foo() = 0;
   void bar1() {}
   void bar2(int x) {}
   // other methods
};

Foo::~Foo()
{
}

Kỹ thuật này, làm cho Foolớp trừu tượng và kết quả là không thể khởi tạo lớp trực tiếp. Đồng thời, bạn chưa thêm một phương thức ảo thuần túy nào để làm cho Foolớp trừu tượng.