定义28:如果编译函数f的函数体时要求提前看到类型T的定义,则称函数f实质(in size)使用了类型T。
实质使用会导致直接的编译时依赖。
定义29:如果编译函数f以及f可能依赖的任何组件时,不要求提前看到类型T的定义,则称函数f只在名称上(in name only)使用了类型T。
只在名称上使用一个类型的特点在于这样的用法没有隐含的物理依赖--即使是在连接时。
如果函数f只在名称上使用了类型T,但f调用了其他组件中的一个或多个函数,这些函数依赖T的定义,那么在这种情况下,任然有一个f对T的连接时依赖。
定义30:如果编译组件c时要求必须提前看到类型T的定义,则称组件c实质使用了类型T。
定义31:如果编译组件c以及c可能依赖的任何组件时不要求提前看到类型T的定义,则称组件c只在名称上使用了类型T。
原则39:只在名称上使用了对象的组件可以独立于被命名的对象被彻底测试。
当组件只通过指针或引用来"使用"对象,而决不以任何方式直接与对象交互,只在名称上使用一个类型是可能的。如果一个指针所指向的类型的定义不包含在当前的编译单元中,这个指针就被称为是不透明的(opaque)。
例子:
// handle.h
#ifndef INCLUDED_HANDLE_H
#define INCLUDED_HANDLE_H
class Foo;
class Handle {
Foo *d_opaque_p;
public:
Handle(Foo *foo) : d_opaque_p(foo) {}
void set(Foo *foo) {d_opaque_p = foo;}
Foo *get() { return d_opaque_p; }
};
#endif
// handle.t.c
#include "handle.h"
#include
int main()
{
Foo *p1 = (Foo *)0xBAD;
Foo *p2 = (Foo *)0xB0B;
Handle handle(p1);
assert(p1 == handle.get());
handle.set(p2);
assert(p2 == handle.get());
return 0;
}
原则40:如果一个被包含的对象拥有一个指向它的容器的指针,并且要实现那些实质地依赖那个容器的功能,那么我们可以通过以下方法来消除相互依赖:(1)让被包含类中的指针不透明;(2)在被包含类的公共接口上提供对容器指针的访问;(3)将被包含类的受影响的方法升级为容器类的静态成员。