Question

以下代码，其中嵌套类Info将外部类Impl的两个成员函数指定为朋友，使用Visual C ++和g ++很好地编译，代码如下所示。

但是，如果成员函数未在Info之前声明，那么g ++会抱怨不完整的类而不是缺少声明：

In file included from ../console_io.hpp:6:0,
                 from console_io.cpp:1:
../console_io.impl.windows.hpp:69:47: error: invalid use of incomplete type 'class console::Display::Impl'
         friend auto Impl::api_info() const -> Ref_<const Api_info>;
                                               ^
../console_io.impl.windows.hpp:62:20: note: definition of 'class console::Display::Impl' is not complete until the closing brace
     class Display::Impl
                    ^
../console_io.impl.windows.hpp:70:47: error: invalid use of incomplete type 'class console::Display::Impl'

最小例子：

struct Foo
{
    class Bar
    {
        friend void Foo::m();
    };

    void m(){}
};

foo.cpp:5:28: error: invalid use of incomplete type 'struct Foo'
         friend void Foo::m();
                            ^
foo.cpp:1:8: note: definition of 'struct Foo' is not complete until the closing brace
 struct Foo
        ^

因此，通过关联，我想知道T friend成员函数的正式有效性，T尚未完成。

我提供了编译的实际原始代码，因此，如果它正式无效，则可以建议该用例的合理替代方案。我认为，作为提出要求的人，我可能是最无能力决定什么是相关的答案。表示法：Ref_<T>表示T&。

class Display::Impl
{
private:
    using Api_info = impl::winapi::Console_screen_buffer_info;

    inline auto api_info() const -> Ref_<const Api_info>;   // Def. after class.
    inline void invalidate_api_info();                      // Def. after class.

    class Info
    {
    friend auto Impl::api_info() const -> Ref_<const Api_info>;
    friend void Impl::invalidate_api_info();
    private:
        bool        is_valid_   = false;
        Api_info    api_info_   = {};
    };

    // State:
    impl::winapi::Handle    text_buffer_;
    mutable Info            info_;

    Impl( Ref_<const Impl> ) = delete;
    auto operator=( Ref_<const Impl> ) -> Ref_<Impl> = delete;

public:
    auto size() const
        -> Point
    {
        auto const api_size = api_info().dwSize;
        return Point{ api_size.x, api_size.y };
    }

    ~Impl()
    {}      // TODO:

    Impl( const Point size )
        : text_buffer_( impl::winapi::CreateConsoleScreenBuffer(
            impl::winapi::flag_GENERIC_READ | impl::winapi::flag_GENERIC_WRITE,
            0,              // No sharing
            nullptr,        // Default security.
            impl::winapi::flag_CONSOLE_TEXTMODE_BUFFER, // The allowed value.
            nullptr         // Reserved.
            ) )
    {
        hopefully( text_buffer_ != impl::winapi::invalid_handle_value )
            || fail( "console::Display: CreateConsoleScreenBuffer failed" );
    }
};

auto Display::Impl::api_info() const
    -> Ref_<const Api_info>
{
    if( not info_.is_valid_ )
    {
        impl::winapi::GetConsoleScreenBufferInfo( text_buffer_, &info_.api_info_ )
            || fail( "GetConsoleScreenBufferInfo failed" );
        info_.is_valid_ = true;
    }
    return info_.api_info_;
}

void Display::Impl::invalidate_api_info()
{ info_.is_valid_ = false; }

Answer 1

经过一番挖掘，我认为这就是你要找的东西：

§9.3[class.mfct]：

⁷以前声明的成员函数可以在朋友声明中提及。

所以（就我所理解的标准而言），当你在嵌套类之前声明成员函数时，你的代码是有效的。

Answer 2

这是一个精简版的例子，即使使用Debian 7中的gcc-4.7也能完美编译：

class B;

class C {
    inline auto f() const -> B&;
    class In {
        friend auto C::f() const -> B&;
        int i;
    };
};

class B {
    int b;
};

auto C::f() const -> B& {
    static B b;
    return b;
};

所以我猜问题是嵌套类。

作为朋友的不完整类的成员函数=正式有效吗？

2 个答案: