C++ const 指针的 typedef 解释

Question

首先是示例代码：

情况 1：

typedef char* CHARS;
typedef CHARS const CPTR;   // constant pointer to chars

以文本方式替换 CHARS 变为：

typedef char* const CPTR;   // still a constant pointer to chars

情况 2：

typedef char* CHARS;
typedef const CHARS CPTR;   // constant pointer to chars

以文本方式替换 CHARS 变为：

typedef const char* CPTR;   // pointer to constant chars

在情况 2 中，以文本方式替换 CHARS 后，typedef 的含义发生了变化。为什么会这样呢？ C++ 如何解释这个定义？

Answer 1

基于文本替换来分析 typedef 行为是没有意义的。 Typedef 名称不是宏，它们不会被文本替换。

正如您指出的那样，您自己

typedef CHARS const CPTR;

与 This 是同一件事，

typedef const CHARS CPTR;

出于同样的原因，为什么

typedef const int CI;

与 Typedef-name 具有相同的含义

typedef int const CI;

不定义新类型（仅是现有类型的别名），但它们在某种意义上是“原子”的任何限定符（如const）都适用于最顶层，即它们适用于隐藏在typedef名称后面的整个类型。一旦定义了 typedef-name，您就无法将限定符“注入”到其中，以便它可以修改该类型的任何更深层次。

Answer 2

Typedef 不是简单的文本替换。

typedef const CHARS CPTR;

意味着“CPTR 类型将是一个 const CHARS 类型。”但 CHARS 是一个指向字符的指针类型，因此这表示“CPTR 类型将是一个 const 指向字符的指针类型”。这与您进行简单替换时看到的不匹配。

换句话说，

typedef char * CHARS;

是不相同

#define CHARS char *

typedef 语法就像变量声明，只不过它不是将目标名称声明为变量，而是将其声明为可以使用的新类型名称声明没有 typedef 的变量的类型。

以下是确定 typedef 声明内容的简单过程：

1. 删除 typedef 关键字。现在您将有一个变量声明。

   const CHARS CPTR;
   

2. 找出该变量的类型（某些编译器有一个 typeof() 运算符，它正是执行此操作并且非常有用）。将该类型称为 T。在本例中，是一个指向（非常量）char 的常量指针。

3. 替换typedef。您现在声明一个新类型 (CPTR)，它与 ​​T 完全相同，是一个指向（非常量）char 的常量指针。