問題タブ [using-declaration]

using次のテンプレート宣言の使い方の何が問題になっていますか?

gcc 4.8.2不満：

基本的に、私の質問は名前の検索とusing宣言に関連しています ( http://en.cppreference.com/w/cpp/language/namespace )。
次の (間違いなくばかげた) コードがあるとします。

したがって、私の理解では、両方の名前を表示する必要があり、名前の検索にはあいまいさが必要です。しかし、実際にはそうではありません。理由は何ですか、つまり、いくつかの概念を誤解していますか?

これは clang の問題のように見えます (私は既にclang にバグをオープンしました) が、間違いを犯していないことを確認したいと思います。

次のコードを検討してください。

行 (2) ((1) と (4) がコメント化されている場合) および (3) ((4) がコメント化されている場合) は期待どおりに動作しますが、(1) (上記の例をそのまま) を実行すると、次のエラーが発生します。

11 : エラー:
C::D を使用して 'typename' のない型に解決された依存型 using 宣言。

[...]

11 : エラー: using 宣言が 'C::' を参照していますが、これは
C::D を使用する 'D' の基本クラスではありません。

とにかく、Cは のエイリアスでありD<U, A...>、 の基底クラスですD<T, U, A...>。
私の知る限り、そのスニペットはコンパイルされるはずです。私が間違っている？

GCC は、少なくともv4.8.1からv6.1までコンパイルすることに注意してください。

他の 2 つのクラス ('TestA' と 'TestB') から派生したクラス ('TestC') があります。どちらも同じ署名を持つ仮想関数を持っています。

「TestC」を介して関数にアクセスできるようにするには、使用するバージョンを指定する必要があります。「TestC」で関数を明示的に上書きし、必要なバージョンを呼び出すと、これは機能します。

出力: "bb"

それが期待される結果です。ただし、関数を明示的に上書きする代わりに「using」キーワードを使用すると、予期しない動作が発生することに気付きました。

(他は同じです)

出力: "ab"

誰かが私にこれを説明できますか？「テスト」が突然仮想ではなくなったように見えますか? 関数を明示的に上書きせずにこれを行う方法はありますか? (「オーバーライドを使用する」のようなもの)

次のコードを見てください

gcc 6.1、clang 3.8 、および msvc 2015 update 3 のすべては、これをコンパイルすることを拒否Aします。gcc はのデフォルト コンストラクタを参照しているようです。msvc と clang はそうではないようです。CABAusing base_type = AA

おそらく、コンパイル エラーは、継承によってトリガーされた名前の挿入が原因である可能性があります (すべてのコンパイラが正常に動作するように変更using base_type = Aするため)。using base_type = ::A

より具体的には、

1. 私が理解したように、 のようA::typeに、Aは単なるクラス名 (gcc はそれを関数名と誤解しますが) であり、C 内部 Aではなく、またはに導入されBます。この名前が のプライベートと見なされるのはなぜBですか?
2. このコンパイル エラーはバグと見なすべきですか、それとも標準の仕様の特殊なケースですか?

次の例を検討してください。

GCCはコードを受け入れますが、Clangと MSVC はコードを拒否します。どちらが正しい？

基本型が依存型の場合、すべてのコンパイラがコードを受け入れることに注意してください。

using名前空間に宣言を含めると、どのようなエラーが発生する可能性があるかを理解しようとしています。これらの リンクを考慮しています。

using宣言の使用により、名前が別のファイルの前にロードされているヘッダー ファイルに静かに置き換えられることによってエラーが発生する例を作成しようとしています。

ここで私は定義していMyProject::vectorます：

これは「悪い」ヘッダーです: ここでは、 insideusingの他の可能な定義を隠すようにだまそうとしています:vectorMyNamespace

MyProject::vectorこれは、で定義されているように使用しようとしている無防備なヘッダーbase.hです。

x.h最後に、 と の両方を含む実装ファイルを次に示しますz.h。

inをインクルードusing std::vectorすると、実際のコンパイル エラーが発生し、 inx.hを使用するときにテンプレート引数を指定する必要があることが通知されます。これは、ヘッダー ファイルで宣言を使用してはならない理由の良い例ですか、それともこれよりも深く、もっと多くのことを見逃していますか?vectorz.hx.hvectorMyProjectusing

ただし、に含めるusing namespace stdとx.h、シャドウイングは発生せず、プログラムは問題なくコンパイルされます。何故ですか？を含むのusing namespace std下に表示されているすべての名前をロードして、他の名前を隠してはいけませんか?stdvector

これはこの質問のフォローアップです。次の例を検討してください。

ここで、コンパイラは の行でエラーを正しくスローし、前の定義に由来する の宣言がその名前空間に既に存在することusing Other::stringを訴えます。stringclass string

これを考慮してください：

ここにはコンパイル エラーはありません。以前の の宣言を新しい宣言でシャドウすることに成功しましたstring。

• 2 番目のケースでエラーが発生しないのはなぜですか? それusing string = somethingはエイリアスであり、実際の宣言は名前のためのものsomethingであり、コンパイラは実際の宣言間の競合のみを見つけることができるため、実際の宣言ではないためでしょうか。この場合、実際に and を宣言していると見なさsomethingれstringます。それでいいですか？

• これってかなり危険じゃないですか？つまり、プログラマーが気付かないうちにこれらのことが別々のヘッダーファイルで発生した場合、コンパイラーが何も言わずに、彼/彼が考えているものとはまったく異なる識別子を使用することになる可能性があります...