TLS 的规则和限制

项目
02/21/2013

声明静态绑定线程的本地对象和变量时必须遵守下列原则：

thread 特性只能应用于数据声明和定义。它不能用于函数声明或定义。例如，下面的代码生成一个编译器错误：
```
#define Thread  __declspec( thread )
Thread void func();     // This will generate an error.
```
只能在具有 static 作用域的数据项上指定 thread 修饰符。包括全局数据对象（static 和 extern）、本地静态对象和 C++ 类的静态数据成员。不能使用 thread 特性声明自动数据对象。下面的代码生成编译器错误：
```
#define Thread  __declspec( thread )
void func1()
{
    Thread int tls_i;            // This will generate an error.
}

int func2( Thread int tls_i )    // This will generate an error.
{
    return tls_i;
}
```

线程本地对象的声明和定义必须全部指定 thread 特性。例如，下面的代码将生成错误：

#define Thread  __declspec( thread )
extern int tls_i;        // This will generate an error, since the
int Thread tls_i;        // declaration and definition differ.

thread 特性不能用作类型修饰符。例如，下面的代码生成一个编译器错误：
```
char __declspec( thread ) *ch;        // Error
```

C++ 类不能使用 thread 特性。但是，可以使用 thread 特性实例化 C++ 类对象。例如，下面的代码生成一个编译器错误：

#define Thread  __declspec( thread )
class Thread C       // Error: classes cannot be declared Thread.
{
// Code
};
C CObject;

由于允许使用 thread 特性的 C++ 对象的声明，因此下面两个示例在语义上是等效的：

#define Thread  __declspec( thread )
Thread class B
{
// Code
} BObject;               // OK--BObject is declared thread local.

class B
{
// Code
};
Thread B BObject;        // OK--BObject is declared thread local.

不将线程本地对象的地址视为常数，并且涉及此类地址的任何表达式都不视为常数。在标准 C 中，这种作法的效果是禁止将线程本地变量的地址用作对象或指针的初始值设定项。例如，C 编译器会将下面的代码标记为错误：
```
#define Thread  __declspec( thread )
Thread int tls_i;
int *p = &tls_i;       //This will generate an error in C.
```
此限制不适用于 C++。由于 C++ 允许动态初始化所有对象，因此可以用使用线程本地变量地址的表达式初始化对象。实现的方式与构造线程本地对象一样。例如，前面显示的代码在作为 C++ 源文件编译时不会生成错误。请注意：只有在其中获取地址的线程仍然存在的情况下，线程本地变量的地址才有效。
标准 C 允许使用需要引用自身的表达式初始化对象或变量，但只适用于非静态作用域的对象。虽然 C++ 通常允许使用涉及引用自身的表达式动态初始化对象，但是这种类型的初始化不允许用于线程本地对象。例如：
```
#define Thread  __declspec( thread )
Thread int tls_i = tls_i;                // Error in C and C++ 
int j = j;                               // OK in C++, error in C
Thread int tls_i = sizeof( tls_i )       // Legal in C and C++
```
注意，包含正在初始化的对象的 sizeof 表达式不表示对自身的引用，但在 C 和 C++ 中都是允许的。

C++ 不允许此类对线程数据的动态初始化，因为将来可能要对线程本地存储功能进行增强。
在 Windows Vista 之前的 Windows 操作系统中，__declspec( thread ) 有一些限制。如果 DLL 将任何数据或对象声明为 __declspec（线程），则动态加载该 DLL 时会导致保护错误。使用 LoadLibrary 加载 DLL 后，每当代码引用 __declspec（线程）数据时，该 DLL 都将导致系统故障。由于线程的全局变量空间是在运行时分配的，因此此空间的大小是以应用程序的需求和所有静态链接的 DLL 的需求相加为基础计算出来的。使用 LoadLibrary 时，无法扩展此空间以允许放置用 __declspec( thread ) 声明的线程本地变量。如果 DLL 可能是用 LoadLibrary 加载的，请在 DLL 中使用 TLS API（如 TlsAlloc）来分配 TLS。

请参见

概念

线程本地存储 (TLS)

通过

TLS 的规则和限制

请参见

概念

其他资源