在c++类中向前声明typedef

Forward declare typedef within C++ class

本文关键字：声明 typedef c++      更新时间：2023-10-16

在类中向前声明typedef的最佳解决方案是什么?下面是我需要解决的一个例子:

class A;
class B;
class A
{
    typedef boost::shared_ptr<A> Ptr;
    B::Ptr foo();
};
class B
{
    typedef boost::shared_ptr<B> Ptr;
    A::Ptr bar();
};

我想我可以这样做:

boost::shared_ptr<B> foo();

但是有更优雅的解决方案吗?

不幸的是，没有向前声明typedef这样的事情。但是，使用后期模板实例化有一个技巧:

template <typename T> class BImpl;
template <typename T>
class AImpl
{
public:
    typedef boost::shared_ptr<AImpl> Ptr;
    typename BImpl<T>::Ptr foo();
};
template <typename T>
class BImpl
{
public:
    typedef boost::shared_ptr<BImpl> Ptr;
    typename AImpl<T>::Ptr bar();
};
typedef AImpl<void> A;
typedef BImpl<void> B;

这应该有望完成你的目标。

你面临着两个截然不同的困难:1. 没有类型的前向声明2. 嵌套类型的前向声明是不可能的

没有办法绕过第二个:你必须打开类型。

我偶尔使用的一种方法是创建一个派生类型，并且可以前向声明。

说:

struct Ptr : shared_ptr<A> {};

这是一个新类型，但它与同义词几乎相同。当然，问题出在构造函数上，但在c++ 11中，这个问题正在得到改善。

这个答案当然是一般的。对于您的具体情况，我认为您应该在类之外定义ptr，这样就完全没有问题了。

struct A;
struct B;
typedef shared_ptr<A> APtr;
typedef shared_ptr<B> BPtr;

没有办法向前声明

  1. a typedef
  2. 另一个类的名称

所以-你不能向前声明一个typedef，即使你可以，你仍然不能这样做，因为你需要这样做:

class B::Ptr;

这是不可能的

你不能。

但是你可以解耦类的Ptr定义:

class A;
class B;
template <typename T>
struct Traits {
    typedef std::shared_ptr<A>  Ptr; 
};
class A
{
    Traits<B>::Ptr foo();
};
class B
{
    Traits<A>::Ptr bar();
};

如果A和B不共享相同的类型，您总是可以为所有类型专门化trait。

正如其他人注意到的那样，不能向前声明类型。这在一定程度上是因为类型定义本身并不是真正的"类型"，而是其他类型的别名(因此c++ 11中有"类型别名"的等价概念，例如"using Int = Int;")。这意味着，例如，类型定义不会出现在ABI元素中，例如修改过的名称，因此编译器必须充分了解底层类型以满足所有ABI需求(包括如何修改类型名称)。

相关文章：