C++: sử dụng lớp làm đối số mẫu trước khi lớp học được xác định đầy đủ

Question

Tôi đang gặp khó khăn trong việc hiểu lý do đoạn mã sau biên dịch. Tôi có một lớp mẫu ptr_to_member<T> lưu trữ con trỏ tới chức năng thành viên của T. Sau đó tôi tạo một lớp mới my_class có một số ptr_to_member<my_class>. Tôi mong đợi sau này gây ra một lỗi biên dịch cho rằng my_class vẫn đang được xác định. Bất kỳ trợ giúp được đánh giá cao. Cảm ơn bạn.

#include <iostream> 

// this class simply stores a pointer to a member function of T 
template <class T> 
struct ptr_to_member { 

    using ptr_type = void (T::*)(); 
    ptr_type m_ptr; 

    ptr_to_member() 
    : m_ptr(&T::f){} 

    auto get_ptr() const { 
     return m_ptr; 
    } 
}; 

// my_class has a ptr_to_member<my_class> 
class my_class { 

    ptr_to_member<my_class> m_ptr_to_member; // why does this compile? 

public: 

    void g() { 
     auto ptr = m_ptr_to_member.get_ptr(); 
     (this->*ptr)(); 
    } 

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

int main() { 

    my_class x; 
    x.g(); 

} 

Answer 1

Khi xác định một lớp, lớp đó có thể được sử dụng như thể nó được chuyển tiếp khai báo. Vì ptr_to_member chỉ sử dụng con trỏ đến T cho đến khi bạn khởi tạo một trong các phương pháp của nó, nó không khiếu nại. Hãy thử thêm một thành viên T thay vì một con trỏ và bạn sẽ thấy rằng nó không thành công. Cách trực quan để nhìn thấy nó là bạn không cần phải biết những gì T là sử dụng một con trỏ của T, chỉ có T là một loại. Con trỏ hành xử theo cùng một cách bất kể những gì họ trỏ đến cho đến khi bạn dereference chúng.

template <class T> 
struct ptr_to_member { 

    using ptr_type = void (T::*)(); 
    ptr_type m_ptr; 

    ptr_to_member() 
     : m_ptr(&T::f) {} 

    auto get_ptr() const { 
     return m_ptr; 
    } 

    T member; // Add this and see that it fails to compile 
}; 

Xem this answer để biết thêm thông tin về thời điểm bạn có thể và không thể sử dụng các loại được khai báo chuyển tiếp.