没有限制。指针是一个内存块，其内容是一个地址。 如你所说

int a = 10;
int *p = &a;

指向指针的指针也是一个变量，它包含另一个指针的地址。

int **q = &p;

这里q是指针到指针的指针，持有p的地址，p已经持有a的地址。

指针指向指针没有什么特别之处。因此，存储另一个指针地址的指针链是没有限制的。 ie。

 int **************************************************************************z;

是被允许的。

正如人们所说，“理论上”没有限制。然而，出于兴趣，我用g++ 4.1.2运行了这个程序，它可以在大小为20,000的情况下工作。编译非常慢，所以我没有尝试更高的编译。所以我猜g++也没有施加任何限制。(尝试设置size = 10，如果不是很明显，可以在ptr.cpp中查看。)

g++ create.cpp -o create ; ./create > ptr.cpp ;G++ PTR.cpp -optr ; ./PTR

create.cpp

#include <iostream>

int main()
{
    const int size = 200;
    std::cout << "#include <iostream>\n\n";
    std::cout << "int main()\n{\n";
    std::cout << "    int i0 = " << size << ";";
    for (int i = 1; i < size; ++i)
    {
        std::cout << "    int ";
        for (int j = 0; j < i; ++j) std::cout << "*";
        std::cout << " i" << i << " = &i" << i-1 << ";\n";
    }
    std::cout << "    std::cout << ";
    for (int i = 1; i < size; ++i) std::cout << "*";
    std::cout << "i" << size-1 << " << \"\\n\";\n";
    std::cout << "    return 0;\n}\n";
    return 0;
}

C标准规定了下限:

5.2.4.1翻译限制 实现应能够翻译和执行至少一个包含以下每个限制的至少一个实例的程序:[…] 279 - 12指针、数组和函数声明符(任意组合) 声明中的算术、结构、联合或空类型

上限是特定于实现的。

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

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

从理论上讲:

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

实际:

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

参考资料如下:

5.2.4.1翻译限制:

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

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

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

听起来很有趣。

Visual Studio 2010(在Windows 7上)，在得到这个错误之前，你可以有1011个级别: 解析器堆栈溢出，程序太复杂 gcc (Ubuntu)， 100k+ *没有崩溃!我想硬件是这里的极限。

(仅用变量声明进行测试)