15

在类中转发声明 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();

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

4

5 回答 5

13

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

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;

这应该有望实现您的目标。

于 2013-06-06T15:57:43.107 回答
4

您面临两个明显的困难： 1. 没有 typedef 的前向声明 2. 嵌套类型的前向声明是不可能的

第二个是没有办法的：你必须取消嵌套类型。

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

说：

struct Ptr : shared_ptr<A> {};

这是一个新类型，但它几乎与同义词相同。当然，问题在于构造函数，但使用 C++11 会变得更好。

这个答案当然是笼统的。对于您的具体情况，我认为您应该在类之外定义 Ptrs 并且您根本没有问题。

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

然后是课程。

于 2013-06-06T16:13:04.307 回答
2

正如其他人所指出的，您不能前向声明 typedef。这部分是因为 typedef 并不是它们自己的真正“类型”，而是其他类型的别名（因此 C++11 等效的“类型别名”概念，例如“使用 Int = int;”）。这意味着，例如，typedef 不会出现在 ABI 元素中，例如重命名的名称，因此编译器确实必须了解足够的底层类型才能满足所有 ABI 要求（包括如何重整类型名称）。

于 2013-06-06T16:13:34.397 回答
2

也没有办法转发声明

  1. 一个typedef
  2. 另一个班级的名字

所以 - 你不能转发声明 a typedef，如果可以的话，你仍然不能这样做，因为你需要这样做：

class B::Ptr;

这是不可能的

于 2013-06-06T16:05:48.913 回答
2

你不能。

但是你可以解耦类的 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 不共享相同的类型，您始终可以为所有类型专门化 Traits。

于 2013-06-06T16:12:14.953 回答