Why Does Declaring a Class Member of the Same Type Cause an \'Incomplete Type\' Error in C ?

Understanding Incomplete Types in Classes

In C , declaring a class member of the same type as the class itself can lead to the "incomplete type" error. Consider the following example:

class A {
    private:
        A member;
};

Why does this code fail to compile?

The reason lies in the order of declaration and definition. When the member A member is declared within the class, the compiler has not yet fully defined the A class. As a result, the type A is incomplete.

However, if a pointer to the class is used instead, the compiler can recognize A* as "pointer to type A" even if A is not fully defined. That's because the compiler knows that a pointer is a valid type.

To resolve the "incomplete type" error, one solution is to use a smart pointer, such as boost::shared_ptr member, to represent the member's reference. Smart pointers can automatically manage memory and avoid the complexity of manual pointer handling.

class A;

class A {
    private:
        A* member;
};