は、ポインタをストリームの過負荷を説明し、typedefの

Question

I持って私の.h/.cppのファイルに次のコード：

.H：

class Foo; 
typedef Foo * pFoo; 

class Foo { 
public: 
    char c; 
}; 
std::ostream& operator<<(std::ostream &out, const Foo &f); 
std::ostream& operator<<(std::ostream &out, const pFoo &f); 

た.cpp：メインで

std::ostream& operator<<(std::ostream &out, const Foo &f) { out << f.c; return out; } 
std::ostream& operator<<(std::ostream &out, const pFoo &f) { out << f->c; return out; } 

Foo f; 
f.c = 'a'; 
std::cout << "As foo object:" << f << std::endl; 
std::cout << "As foo pointer:" << &f << std::endl; 

：私は、次のコードを実行するとき

As foo object:a 
As foo pointer:0x7fff5fbff980 

私はあなたがオーバーロードすることはできません知っている：私は出力を得る代わりに

#define pFoo Foo* 

：で、例えば、私は私のtypedefを交換する場合は、

As foo object:a 
As foo pointer:a 

しかし：私は出力を得ます組み込み型の演算子。 typedefは実際に新しいタイプを作成していますか、それとも既存のタイプのエイリアスですか？答えは、新しいタイプを作成しているようです。私は基本的に行動の違いの間のより深い説明を探しています。 （私は、生産コードでこれをやろうとしていないよ。）

Answer 1

はtypedefで本当に新しいタイプを作成している、またはそれは、既存のタイプのためだけのエイリアスですか？

typedefはタイプのエイリアスまたは同義語を紹介します。

typedefを使用すると、const pFooはFooへのconstのポインタになります。あなただけの定義使用してFoo*とpFooを交換
は、関数の引数はconst Fooへのポインタである、const Foo*です。

Foo *p = &f; 
std::cout << *p << std::endl; 

Answer 2

に：あなたは常にポインタデリファレンス、2番目のオーバーロードの必要があってはならないことができますように、その

が

const Foo * & 
Foo const * & 
Foo * const & 

注：

パラメータの型として以下のバリエーションを試してみてください2番目のケースはoperator <<オーバーロードに一致しないため、標準のポインタが使用されます。

typedef Foo * pFoo;を使用すると、Foo*の別名はpFooになります。次に、const pFooはpFoo* const,Fooへの定数ポインタを意味するconst (pFoo *)を意味します。 &fはconst pFoo*と一致するため、2番目のオーバーロードが使用されます。

#define pFoo Foo *は単にpFoo' withはFoo * . As a rfesultのconst pFoo expands intoのconst Fooの* , _pointer to constant Fooを再生します。 &fこれはmacthではありません。そのため、ポインタの標準的なオーバーロードが使用されています。