为什么不允许前向声明将是 typedef 的类？

Question

如果我想使用一个指向类的指针并且我不对它做任何操作，我们可以转发声明这个类。但是，如果这恰好是 typedef，为什么不允许呢？ 在下面的例子中，它只编译了我包含注释的代码，但为什么编译器想知道它呢？我如何转发声明可能是 typedef 的东西。在 c++0x 中这种行为有什么变化吗？

#include <iostream>
using namespace std;
/*
template<class T>
class temp;

typedef temp<int> later;
*/
class later;
void somefunc(later*);
int main()
{
  later* l;
  somefunc(l);
  return 0;
}
//The following is in someother file/compilation unit.
template<class T>
struct temp
{
  public:
    void print()
    {
        T t(5);
        std::cout<< "helloworld: " << t << std::endl;
    }
};
typedef temp<int> later;
void somefunc(later* l)
{
  l = new later();
  l->print();
}

Answer 1

typedef 不会创建类型，它只是将新名称添加到现有类型，并且您不能转发声明它。我建议您阅读此answer 以了解其他相关问题，我认为它有助于理解 typedef 和用户定义类型的声明之间的区别。

另一方面，您可以前向声明实际类型，然后在适当位置添加 typedef。

编辑：扩展您的特定示例：

在声明temp 模板后，标识符temp 在用户定义类型标识符空间中可用（与符号的其余标识符空间不同）。 typedef 将通过名称later 在全局标识符空间中创建一个别名，因此在注释行之后（如果它们未注释），用户定义类型标识符空间将包含引用模板的temp，标识符@驻留在全局标识符空间中的 987654326@ 将引用具体实例化temp<int>。 （真是满嘴的“标识符”和“空格”！）

另一方面，如果您在第一个未注释行class later; 中转发声明该类，您所做的是向用户定义类型标识符空间添加一个标识符。可以在以下示例中看到差异：

class A;           // Creates A identifier only in user defined types space
typedef int B;     // Creates B identifier in the global identifier space

void A(){}         // Ok: A will refer to void A(); class A will refer to the type
//void B(){}       // Error: B symbol collides with the typedef