c++ - C++ - 前方宣言とエイリアス (using または typedef を使用)

Question

次のインターフェースを実装する必要があります

struct mutex;
struct interface
{
  //...
  mutex& getMutex();
};

私の実装では直感を使用できますusing mutex = ParticularMutexが、gcc はそうではないと教えてくれます。

error: conflicting declaration ‘using mutex = ’
error: ‘class mutex’ has a previous declaration as ‘class mutex’

私は何かを 2 回定義するのではなく、 2 回宣言するだけです。

score 11 · Accepted Answer

struct mutex;前方宣言はコンパイラにmutex新しい型であることを伝えるため、機能しません。次に、タイプaliasusingを作成します。これは、(コンパイラーに約束された)新しいタイプではなく、既存のタイプのエイリアスであることを意味します。
いいえ。
はい。

あなたができることは次のとおりです。

struct mutex : ParticularMutex {
    using ParticularMutex::ParticularMutex; // inherit constructors
};

ParticularMutexこれは、十分に互換性があることを願って派生した型を定義します。もちろん、これは新しいタイプであり、他の問題を引き起こす可能性があります。

score 0 · Accepted Answer

mutexまず、それが特定のクラスタイプであると言っています。その後、「ちょっと待って、mutexそれは独自のタイプではなく、実際にはこの別のタイプです」と言っています。その場合、コンパイラは何をすべきかわかりません。
using に置き換えるstruct mutextと、うまくいくはずです (私は C++11 の使用について完全に最新ではありません)。
複数のミューテックス実装をサポートできるようにしたい場合は、インターフェイスをテンプレートにすることができます (または、どのミューテックス実装を呼び出すかを仮想的に決定するミューテックス抽象インターフェイスを使用します)。

4 に答える 4