2. 作用域

2018-02-24 15:11 更新

2.1. 名字空间

Tip

鼓励在 .cc 文件内使用匿名名字空间. 使用具名的名字空间时, 其名称可基于项目名或相对路径. 不要使用 using 关键字.

定义:名字空间将全局作用域细分为独立的, 具名的作用域, 可有效防止全局作用域的命名冲突.优点:
虽然类已经提供了(可嵌套的)命名轴线 (YuleFox 注: 将命名分割在不同类的作用域内), 名字空间在这基础上又封装了一层.

举例来说, 两个不同项目的全局作用域都有一个类 Foo, 这样在编译或运行时造成冲突. 如果每个项目将代码置于不同名字空间中, project1::Fooproject2::Foo 作为不同符号自然不会冲突.

缺点:
名字空间具有迷惑性, 因为它们和类一样提供了额外的 (可嵌套的) 命名轴线.

在头文件中使用匿名空间导致违背 C++ 的唯一定义原则 (One Definition Rule (ODR)).

结论:根据下文将要提到的策略合理使用命名空间.

2.1.1. 匿名名字空间

  • .cc 文件中, 允许甚至鼓励使用匿名名字空间, 以避免运行时的命名冲突:
namespace {                             // .cc 文件中

// 名字空间的内容无需缩进
enum { kUNUSED, kEOF, kERROR };         // 经常使用的符号
bool AtEof() { return pos_ == kEOF; }   // 使用本名字空间内的符号 EOF

} // namespace

然而, 与特定类关联的文件作用域声明在该类中被声明为类型, 静态数据成员或静态成员函数, 而不是匿名名字空间的成员. 如上例所示, 匿名空间结束时用注释 // namespace 标识.

  • 不要在 .h 文件中使用匿名名字空间.

2.1.2. 具名的名字空间

具名的名字空间使用方式如下:

  • 用名字空间把文件包含, gflags [http://code.google.com/p/google-gflags/] 的声明/定义, 以及类的前置声明以外的整个源文件封装起来, 以区别于其它名字空间:> > // .h 文件
    
    namespace mynamespace {

// 所有声明都置于命名空间中
// 注意不要使用缩进
class MyClass {
public:

void Foo();
};

} // namespace mynamespace

// .cc 文件
namespace mynamespace {

// 函数定义都置于命名空间中
void MyClass::Foo() {

}

} // namespace mynamespace


> 通常的 `.cc` 文件包含更多, 更复杂的细节, 比如引用其他名字空间的类等.

> >     #include “a.h”

    DEFINE_bool(someflag, false, “dummy flag”);

    class C;                    // 全局名字空间中类 C 的前置声明
    namespace a { class A; }    // a::A 的前置声明

    namespace b {

    …code for b…                // b 中的代码

    } // namespace b

不要在名字空间 `std` 内声明任何东西, 包括标准库的类前置声明. 在 `std` 名字空间声明实体会导致不确定的问题, 比如不可移植. 声明标准库下的实体, 需要包含对应的头文件. 最好不要使用 ``using`` 关键字, 以保证名字空间下的所有名称都可以正常使用.   // 禁止 —— 污染名字空间
    using namespace foo;

在 `.cc` 文件, `.h` 文件的函数, 方法或类中, 可以使用 _``using`` 关键字_.

> > >   // 允许: .cc 文件中
    // .h 文件的话, 必须在函数, 方法或类的内部使用
    using ::foo::bar;

在 `.cc` 文件, `.h` 文件的函数, 方法或类中, 允许使用名字空间别名.

> > >   // 允许: .cc 文件中
    // .h 文件的话, 必须在函数, 方法或类的内部使用

    namespace fbz = ::foo::bar::baz;

## 2.2. 嵌套类

> Tip

> 当公有嵌套类作为接口的一部分时, 虽然可以直接将他们保持在全局作用域中, 但将嵌套类的声明置于名字空间内是更好的选择.

定义: 在一个类内部定义另一个类; 嵌套类也被称为 _成员类 (member class)_.

    class Foo {

    private:
        // Bar是嵌套在Foo中的成员类
        class Bar {
            …
        };

    };

优点: 当嵌套 (或成员) 类只被外围类使用时非常有用; 把它作为外围类作用域内的成员, 而不是去污染外部作用域的同名类. 嵌套类可以在外围类中做前置声明, 然后在 `.cc` 文件中定义, 这样避免在外围类的声明中定义嵌套类, 因为嵌套类的定义通常只与实现相关. 缺点: 嵌套类只能在外围类的内部做前置声明. 因此, 任何使用了 `Foo::Bar*` 指针的头文件不得不包含类 `Foo` 的整个声明. 结论: 不要将嵌套类定义成公有, 除非它们是接口的一部分, 比如, 嵌套类含有某些方法的一组选项.

## 2.3. 非成员函数、静态成员函数和全局函数

> Tip

> 使用静态成员函数或名字空间内的非成员函数, 尽量不要用裸的全局函数.

优点:

某些情况下, 非成员函数和静态成员函数是非常有用的, 将非成员函数放在名字空间内可避免污染全局作用域.

缺点:

将非成员函数和静态成员函数作为新类的成员或许更有意义, 当它们需要访问外部资源或具有重要的依赖关系时更是如此.

结论:

有时, 把函数的定义同类的实例脱钩是有益的, 甚至是必要的. 这样的函数可以被定义成静态成员, 或是非成员函数. 非成员函数不应依赖于外部变量, 应尽量置于某个名字空间内. 相比单纯为了封装若干不共享任何静态数据的静态成员函数而创建类, 不如使用命名空间.

定义在同一编译单元的函数, 被其他编译单元直接调用可能会引入不必要的耦合和链接时依赖; 静态成员函数对此尤其敏感. 可以考虑提取到新类中, 或者将函数置于独立库的名字空间内.

如果你必须定义非成员函数, 又只是在 `.cc` 文件中使用它, 可使用匿名名字空间或 `static` 链接关键字 (如 `static int Foo() {...}`) 限定其作用域.

## 2.4. 局部变量

> Tip

> 将函数变量尽可能置于最小作用域内, 并在变量声明时进行初始化.

C++ 允许在函数的任何位置声明变量. 我们提倡在尽可能小的作用域中声明变量, 离第一次使用越近越好. 这使得代码浏览者更容易定位变量声明的位置, 了解变量的类型和初始值. 特别是,应使用初始化的方式替代声明再赋值, 比如:

int i;
i = f(); // 坏——初始化和声明分离
int j = g(); // 好——初始化时声明


注意, GCC 可正确实现了 `for (int i = 0; i  10; ++i)` (`i` 的作用域仅限 `for` 循环内), 所以其他 `for` 循环中可以重新使用 `i`. 在 `if` 和 `while` 等语句中的作用域声明也是正确的, 如:

while (const char* p = strchr(str, ‘/’)) str = p + 1;


> Warning

> 如果变量是一个对象, 每次进入作用域都要调用其构造函数, 每次退出作用域都要调用其析构函数.

// 低效的实现
for (int i = 0; i 1000000; ++i) {
Foo f; // 构造函数和析构函数分别调用 1000000 次!
f.DoSomething(i);
}


在循环作用域外面声明这类变量要高效的多:

Foo f; // 构造函数和析构函数只调用 1 次
for (int i = 0; i 1000000; ++i) {
f.DoSomething(i);
}



## 2.5. 静态和全局变量

> Tip

> 禁止使用 `class` 类型的静态或全局变量: 它们会导致很难发现的 bug 和不确定的构造和析构函数调用顺序.

静态生存周期的对象, 包括全局变量, 静态变量, 静态类成员变量, 以及函数静态变量, 都必须是原生数据类型 (POD : Plain Old Data): 只能是 int, char, float, 和 void, 以及 POD 类型的数组/结构体/指针. 永远不要使用函数返回值初始化静态变量; 不要在多线程代码中使用非 `const` 的静态变量.

不幸的是, 静态变量的构造函数, 析构函数以及初始化操作的调用顺序在 C++ 标准中未明确定义, 甚至每次编译构建都有可能会发生变化, 从而导致难以发现的 bug. 比如, 结束程序时, 某个静态变量已经被析构了, 但代码还在跑 – 其它线程很可能 – 试图访问该变量, 直接导致崩溃.

所以, 我们只允许 POD 类型的静态变量. 本条规则完全禁止 `vector` (使用 C 数组替代), `string` (使用 `const char*`), 及其它以任意方式包含或指向类实例的东东, 成为静态变量. 出于同样的理由, 我们不允许用函数返回值来初始化静态变量.

如果你确实需要一个 `class` 类型的静态或全局变量, 可以考虑在 ``main()` 函数或 `pthread_once()` 内初始化一个你永远不会回收的指针.

> Note

> yospaly 译注:

> 上文提及的静态变量泛指静态生存周期的对象, 包括: 全局变量, 静态变量, 静态类成员变量, 以及函数静态变量.

## 译者 (YuleFox) 笔记

1. `cc` 中的匿名名字空间可避免命名冲突, 限定作用域, 避免直接使用 `using` 关键字污染命名空间;
1. 嵌套类符合局部使用原则, 只是不能在其他头文件中前置声明, 尽量不要 `public`;
1. 尽量不用全局函数和全局变量, 考虑作用域和命名空间限制, 尽量单独形成编译单元;
1. 多线程中的全局变量 (含静态成员变量) 不要使用 `class` 类型 (含 STL 容器), 避免不明确行为导致的 bug.
1. 作用域的使用, 除了考虑名称污染, 可读性之外, 主要是为降低耦合, 提高编译/执行效率.
以上内容是否对您有帮助:
在线笔记
App下载
App下载

扫描二维码

下载编程狮App

公众号
微信公众号

编程狮公众号