在C++中转发typedef的声明

Question

编译器为什么不让我转发声明一个typedef？

假设这是不可能的,保持包含树小的最佳做法是什么？

Answer 1

你可以转发typedef.但要这样做

typedef A B;

你必须先转发声明A:

class A;

typedef A B;

Answer 2

对于那些喜欢我的人,谁想要使用typedef声明一个C风格的结构,在某些c ++代码中,我找到了一个解决方案如下......

// a.h
 typedef struct _bah {
    int a;
    int b;
 } bah;

// b.h
 struct _bah;
 typedef _bah bah;

 class foo {
   foo(bah * b);
   foo(bah b);
   bah * mBah;
 };

// b.cpp
 #include "b.h"
 #include "a.h"

 foo::foo(bah * b) {
   mBah = b;
 }

 foo::foo(bah b) {
   mBah = &b;
 }

Answer 3

要"fwd声明一个typedef",你需要fwd声明一个类或一个结构,然后你可以键入def声明的类型.编译器可以接受多个相同的typedef.

长表:

class MyClass;
typedef MyClass myclass_t;

简写:

typedef class MyClass myclass_t;

Answer 4

在C++中(但不是普通的C)时,它是完全合法的一个的typedef型的两倍,因此只要这两个定义是完全相同的:

// foo.h
struct A{};
typedef A *PA;

// bar.h
struct A;  // forward declare A
typedef A *PA;
void func(PA x);

// baz.cc
#include "bar.h"
#include "foo.h"
// We've now included the definition for PA twice, but it's ok since they're the same
...
A x;
func(&x);

Answer 5

因为要声明一个类型,需要知道它的大小.您可以转发声明指向该类型的指针,或者键入一个指向该类型的指针.

如果你真的想,你可以使用pimpl成语来保持包含下来.但是如果你想使用一个类型而不是指针,编译器必须知道它的大小.

编辑:j_random_hacker为这个答案添加了一个重要的限定条件,基本上需要知道使用类型的大小,但是如果我们只需要知道类型是否存在就可以进行前向声明,以便创建指针或引用类型.由于OP没有显示代码,但抱怨它不会编译,我假设(可能是正确的)OP试图使用该类型,而不仅仅是引用它.

Answer 6

只有在不打算使用类型本身(在此文件的作用域中)而是指向它的指针或引用时,才可能使用正向声明而不是完整声明. #include

要使用类型本身,编译器必须知道它的大小 - 因此必须看到它的完整声明 - 因此需要完整#include.

但是,无论指针对象的大小如何,编译器都知道指针或引用的大小,因此前向声明就足够了 - 它声明了一个类型标识符名称.

有趣的是,当使用指针或引用class或struct类型时,编译器可以处理不完整的类型,从而节省了转发声明指针类型的需要:

// header.h

// Look Ma! No forward declarations!
typedef class A* APtr; // class A is an incomplete type - no fwd. decl. anywhere
typedef class A& ARef;

typedef struct B* BPtr; // struct B is an incomplete type - no fwd. decl. anywhere
typedef struct B& BRef;

// Using the name without the class/struct specifier requires fwd. decl. the type itself.    
class C;         // fwd. decl. type
typedef C* CPtr; // no class/struct specifier 
typedef C& CRef; // no class/struct specifier 

struct D;        // fwd. decl. type
typedef D* DPtr; // no class/struct specifier 
typedef D& DRef; // no class/struct specifier