定义未命名的类成员函数？

Question

我目前在 Foo.h 中定义了两个未命名的类：

class Foo {
public:
    Foo();

    class {
    private:
        int x;
        int y;
    public:
        int GetX() { return x; }
        int GetY() { return y; }
    } Sub1;

    class {
    private:
        int x;
    public:
        int GetX() { return x; }
    } Sub2;
}

这段代码编译得很好，它是这样使用的：

 Foo temp;
 int Ax, Ay, Bx;
 Ax = temp.Sub1.GetX();
 Ay = temp.Sub1.GetY();
 Bx = temp.Sub2.GetX();

但是，现在我想将成员函数定义移动到源文件中。我知道将此类拆分为头文件和源文件的唯一方法是命名这些类：

福.h：

class Foo {

private:    
    class A {
    private:
        int x;
        int y;
    public:
        int GetX();
        int GetY();
    };

    class B {
    private:
        int x;
    public:
        int GetX();
    };

public:
    Foo();
    A Sub1;
    B Sub2;

}

文件.cpp：

int Foo::A::GetX() { return x; }
int Foo::A::GetY() { return y; }
int Foo::B::GetX() { return x; }

然而，这段代码不是我想要的，因为它很丑，而且我一开始并不想要一个命名类。

是否可以将类拆分为头文件和源文件？ 或者这只是糟糕的代码设计？

Answer 1

不幸的是，这是不可能的。 §9.3/5：

如果成员函数的定义在词法上超出其类定义，则成员函数名称应使用::运算符由其类名称限定。

由于不存在类名，因此成员函数的类外定义是不可能的。 GCC 在此上下文中允许 decltype-specifiers 的事实是一个错误。

Answer 2

至少使用gcc ，您可以使用decltype ：

int decltype(Foo::Sub1)::GetX() { return x; }

但是，正如 Columbo 已经指出的那样，它不符合标准。 所以不要怪我，如果gcc的未来版本拒绝编译它。 但是现在我们都知道， gcc在标准合规性方面从来没有教条过，而且gcc团队有保留语言扩展的强烈倾向，如果它们都是明确的（这里显然就是这种情况）并且至少对一些程序员有用。 随着时间的推移，许多这些gcc扩展最终成为标准的一部分。

尽管如此， clang和可能大多数其他编译器都拒绝此构造并显示错误消息：

'decltype' cannot be used to name a declaration

但即使是clang也可以被欺骗接受decltype技巧。 我们只需要做一个typedef ：

typedef decltype(Foo::Sub1) Sub1type;
int Sub1type::GetX() { return x; }

当然，这与命名未命名的类没有太大区别。 typedef解决方案的优点可能仍然是，您可以隐藏私有命名空间中的类型名称。