特殊工具与技术

--局部类

可以在函数体内部定义类，这样的类称为局部类。一个局部类定义了一个类型，该类型只在定义它的局部作用域中可见。与嵌套类不同，局部类的成员是严格受限的。  

局部类的所有成员（包括函数）必须完全定义在类定义体内部，因此，局部类远不如嵌套类有用。  

实际上，成员完全定义在类中的要求限制了局部类成员函数的复杂性。局部类中的函数很少超过数行代码，超过的话，阅读者会难以理解代码。 

类似地，不允许局部类声明 static 数据成员，没有办法定义它们。

1.局部类不能使用函数作用域中的变量

局部类可以访问的外围作用域中的名字是有限的。局部类只能访问在外围作用域中定义的类型名、static 变量和枚举成员，不能使用定义该类的函数中的变量：

int a,val;
void foo(int val)
{
    static int si;
    enum Loc {a = 1024,b};

    class Bar
    {
    public:
        Loc locVal;
        int barVal;

        void fooBar(Loc l = a)	//OK
        {
            barVal = val;   		//Error,打算使用的函数形参内的val,不行!
            barVal = ::val;		//OK,使用的是全局变量val

            barVal = si;			//OK,使用的static变量
            locVal = b;			//OK,使用的是enumerator
        }
    };
}

2.常规保护规则适用于局部类

外围函数对局部类的私有成员没有特殊访问权,但是,局部类可以将外围函数设为友元.

[实践]

实际上,局部类中private成员几乎是不必要的,通常局部类的所有成员都是public成员.局部类封装在它的局部作用域中,进一步通过信息隐藏进行封装是不必要的.

3.嵌套的局部类

可以将一个类嵌套在局部类内部。这种情况下，嵌套类定义可以出现在局部类定义体之外，但是，嵌套类必须在定义局部类的同一作用域中定义。照常，嵌套类的名字必须用外围类的名字进行限定,并且嵌套类的声明必须出现在局部类的定义中：

void foo(int val)
{
    class Bar
    {
    public:
        //...
        class Nested;
    };

    class Bar::Nested
    {
        //...
    };
} 

嵌套在局部类中的类本身是一个带有所有附加限制的局部类.嵌套类的所有成员必须在嵌套类本身定义体内部定义.