没有真正的极限这种东西，但极限是存在的。所有指针都是通常存储在堆栈而不是堆中的变量。堆栈通常很小(在一些链接过程中可以改变它的大小)。假设你有4MB的堆栈，这是很正常的大小。假设我们有一个4字节大小的指针(指针大小取决于架构、目标和编译器设置)。

在这种情况下，4mb / 4b = 1024，因此可能的最大数字将是1048576，但我们不应该忽略堆栈中还有其他东西的事实。

然而，一些编译器可能有最大数量的指针链，但限制是堆栈大小。因此，如果你在链接过程中增加堆栈大小，让机器拥有无限大的内存，运行操作系统来处理这些内存，那么你就会有无限的指针链。

如果你使用int *ptr = new int;把指针放到堆里，这不是常用的方法限制的是堆大小，不是堆栈大小。

只要意识到无穷大/ 2 =无穷大。如果机器有更多的内存，那么指针的大小就会增加。如果内存是无穷大，指针的大小也是无穷大，这是个坏消息。：）

实际上，使用指向函数的指针更有趣。

#include <cstdio>

typedef void (*FuncType)();

static void Print() { std::printf("%s", "Hello, World!\n"); }

int main() {
  FuncType const ft = &Print;
  ft();
  (*ft)();
  (**ft)();
  /* ... */
}

如下图所示:

你好,世界! 你好,世界! 你好,世界!

而且它不涉及任何运行时开销，所以你可以尽可能多地堆叠它们……直到编译器被文件阻塞。

从理论上讲:

你可以有任意多的间接层次。

实际:

当然，任何消耗内存的操作都不能是无限的，主机环境中的可用资源会有限制。因此，实际上实现所能支持的内容是有最大限制的，实现应该适当地记录它。因此，在所有这些工件中，标准没有指定最大限度，但它指定了下限。

参考资料如下:

5.2.4.1翻译限制:

- 12个指针、数组和函数声明符(任意组合) 声明中的算术、结构、联合或空类型。

这指定了每个实现必须支持的下限。注意，在一个脚注中，标准进一步说:

18)实现应该尽可能避免强加固定的翻译限制。

我想指出的是，生成带有任意数量*的类型是可以通过模板元编程实现的。我忘了我到底在做什么，但有人建议我可以通过使用递归T*类型来生成新的不同类型，这些类型之间具有某种元操作。

模板元编程是一个慢慢陷入疯狂的过程，所以在生成一个有几千个间接层的类型时，没有必要找借口。例如，它只是将peano整数作为函数式语言映射到模板展开的一种方便方法。

没有真正的极限这种东西，但极限是存在的。所有指针都是通常存储在堆栈而不是堆中的变量。堆栈通常很小(在一些链接过程中可以改变它的大小)。假设你有4MB的堆栈，这是很正常的大小。假设我们有一个4字节大小的指针(指针大小取决于架构、目标和编译器设置)。

在这种情况下，4mb / 4b = 1024，因此可能的最大数字将是1048576，但我们不应该忽略堆栈中还有其他东西的事实。

然而，一些编译器可能有最大数量的指针链，但限制是堆栈大小。因此，如果你在链接过程中增加堆栈大小，让机器拥有无限大的内存，运行操作系统来处理这些内存，那么你就会有无限的指针链。

如果你使用int *ptr = new int;把指针放到堆里，这不是常用的方法限制的是堆大小，不是堆栈大小。

只要意识到无穷大/ 2 =无穷大。如果机器有更多的内存，那么指针的大小就会增加。如果内存是无穷大，指针的大小也是无穷大，这是个坏消息。：）

请注意，这里可能存在两个问题:在C类型中可以实现多少层指针间接，以及在单个声明器中可以填充多少层指针间接。

C标准允许对前者施加一个最大值(并给出一个最小值)。但这可以通过多个typedef声明来避免:

typedef int *type0;
typedef type0 *type1;
typedef type1 *type2; /* etc */

因此，最终，这是一个实现问题，与C程序在被拒绝之前可以做出多大/多复杂的想法有关，这是非常特定于编译器的。