"Cuộc gọi chức năng ảo thuần túy" ở đâu xảy ra?

Question

Đôi khi tôi nhận thấy các chương trình gặp lỗi trên máy tính của tôi với lỗi: "gọi hàm ảo thuần túy".

Làm thế nào để các chương trình này thậm chí biên dịch khi một đối tượng không thể được tạo ra của một lớp trừu tượng?

Answer 1

Chúng có thể xảy ra nếu bạn cố thực hiện cuộc gọi hàm ảo từ một hàm tạo hoặc hàm hủy. Vì bạn không thể thực hiện cuộc gọi hàm ảo từ một hàm tạo hoặc hàm hủy (đối tượng lớp dẫn xuất chưa được xây dựng hoặc đã bị hủy), nó gọi phiên bản lớp cơ sở, trong trường hợp của hàm ảo thuần túy, không không tồn tại.

(Xem demo sống here)

class Base 
{ 
public: 
    Base() { doIt(); } // DON'T DO THIS 
    virtual void doIt() = 0; 
}; 

void Base::doIt() 
{ 
    std::cout<<"Is it fine to call pure virtual function from constructor?"; 
} 

class Derived : public Base 
{ 
    void doIt() {} 
}; 

int main(void) 
{ 
    Derived d; // This will cause "pure virtual function call" error 
} 

Answer 2

Tôi đoán có một vtbl được tạo cho lớp trừu tượng vì một số lý do bên trong (có thể cần thiết cho một số loại thông tin thời gian chạy) và có sự cố và một đối tượng thực nhận được nó. Đó là một lỗi. Điều đó một mình nên nói rằng một cái gì đó mà không thể xảy ra được.

đầu cơ tinh khiết

chỉnh sửa: trông giống như tôi đã sai trong trường hợp trong câu hỏi. OTOH IIRC một số ngôn ngữ không cho phép các cuộc gọi vtbl ra khỏi trình phá hủy hàm tạo.

Answer 3

Thông thường khi bạn gọi một hàm ảo thông qua một con trỏ tòn ten - rất có thể các trường hợp đã bị phá hủy.

Cũng có thể có nhiều lý do "sáng tạo" hơn: có thể bạn đã quản lý để cắt bỏ phần đối tượng của bạn nơi chức năng ảo được triển khai. Nhưng thường chỉ là trường hợp đã bị phá hủy.

Answer 4

Đây là một cách lén lút để nó xảy ra. Tôi đã có điều này về cơ bản xảy ra với tôi ngày hôm nay.

class A 
{ 
    A *pThis; 
    public: 
    A() 
    : pThis(this) 
    { 
    } 

    void callFoo() 
    { 
    pThis->foo(); // call through the pThis ptr which was initialized in the constructor 
    } 

    virtual void foo() = 0; 
}; 

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

B b(); 
b.callFoo(); 

Answer 5

Cũng như trường hợp tiêu chuẩn gọi một hàm ảo từ các nhà xây dựng hoặc destructor của một đối tượng với chức năng ảo tinh khiết bạn cũng có thể có được một hàm ảo gọi tinh khiết (trên MSVC ít nhất) nếu bạn gọi một ảo chức năng sau khi đối tượng đã bị hủy. Rõ ràng đây là một điều khá xấu để thử và làm, nhưng nếu bạn đang làm việc với các lớp trừu tượng như các giao diện và bạn mess up thì đó là một cái gì đó mà bạn có thể nhìn thấy. Nó có thể có nhiều khả năng nếu bạn đang sử dụng giao diện tính tham chiếu và bạn có một lỗi đếm ref hoặc nếu bạn có một đối tượng sử dụng/đối tượng phá hủy cuộc đua điều kiện trong một chương trình đa luồng ... Điều về các loại purecall là nó thường ít dễ dàng để hiểu được những gì đang xảy ra như là một kiểm tra cho các 'nghi phạm thông thường' của các cuộc gọi ảo trong ctor và dtor sẽ đi lên sạch sẽ.

Để giúp gỡ lỗi các loại vấn đề này, bạn có thể, trong các phiên bản khác nhau của MSVC, thay thế trình xử lý trong suốt của thư viện thời gian chạy. Bạn thực hiện việc này bằng cách cung cấp chức năng của riêng bạn với chữ ký này:

int __cdecl _purecall(void) 

và liên kết nó trước khi bạn liên kết thư viện thời gian chạy. Điều này cho phép bạn kiểm soát những gì xảy ra khi một purecall được phát hiện. Một khi bạn có quyền kiểm soát, bạn có thể làm điều gì đó hữu ích hơn trình xử lý tiêu chuẩn. Tôi có một người xử lý có thể cung cấp một dấu vết ngăn xếp của nơi mà các purecall đã xảy ra; xem tại đây: http://www.lenholgate.com/blog/2006/01/purecall.html để biết thêm chi tiết.

(Lưu ý bạn cũng có thể gọi _set_purecall_handler() để cài đặt trình xử lý của bạn trong một số phiên bản của MSVC).

Answer 6

Tôi sử dụng VS2010 và bất cứ khi nào tôi thử gọi hàm hủy trực tiếp từ phương thức công khai, tôi nhận được lỗi "gọi hàm ảo thuần túy" trong thời gian chạy.

template <typename T> 
class Foo { 
public: 
    Foo<T>() {}; 
    ~Foo<T>() {}; 

public: 
    void SomeMethod1() { this->~Foo(); }; /* ERROR */ 
}; 

Vì vậy, tôi di chuyển những gì bên trong ~ Foo() để tách phương thức riêng tư, sau đó nó hoạt động như một sự quyến rũ.

template <typename T> 
class Foo { 
public: 
    Foo<T>() {}; 
    ~Foo<T>() {}; 

public: 
    void _MethodThatDestructs() {}; 
    void SomeMethod1() { this->_MethodThatDestructs(); }; /* OK */ 
};