Re: Two-stage name lookup problem

[Jakub Pawlewicz <jakub dot pawlewicz at gmail dot com>]

> Your problem is not with templates.
>
> Here's your problem in a nutshell...
>
> struct A
> {
>     int x;
>
>     struct B
>     {
>         A a;
>     };
> };
>
>
> You cannot use A within B, because at that point A is incomplete.
>
> You can pull B out of A.  If you want B to be in the A namespace, change
> 'struct A' to 'namespace A', and make 'struct A_impl', fully declared, and
> then use that within 'struct B'.

But what about function f(), the member of struct A? I want to declare
variable with type B in the body of the function:

struct A {
    ...
    void f()
    {
        B b;
        ...
    }
};

I am aware that kind of code may be ill formed, but when using
templates, there should be something like deferred instantiation.
Struct B is a template and also function A::f() is a template. Struct
B is needed only when function A::f() is used. Struct B should be able
to construct member of type A and Struct B do not use function A::f().
I want all functions be inline. Any solutions?