問題タブ [template-aliases]

テンプレート エイリアスをテンプレート テンプレート パラメータとして使用できますか?

テンプレート エイリアスを clang で動作させようとしていますが、リファレンス シートには動作すると書かれていますが、動作しません。

私はそれを間違っていますか？

Here's a simple example:

Is this allowed?

C++03 では、一部のコンテキストでテンプレート パラメーターの推定が行われません。例えば：

ここでは、 のような入れ子になった型は推定されないコンテキストであるため、intは推定されません。TA<T>::type

私はこのように関数を書いていました：

推論されたコンテキストであるB<T> ため、すべて問題ありません。

ただし、C++11 では、テンプレート エイリアスを使用して、2 番目の例のような構文でネストされた型を偽装できます。例えば：

この場合、テンプレート引数の推論は機能しますか? 言い換えれば、テンプレートエイリアスは推定されたコンテキストですか、それとも推定されていないコンテキストですか? それとも、エイリアスの推定/非推定ステータスを継承しますか?

これらのテンプレートエイリアスがあるとしましょう。

GCCで次のことができます。

それは印刷します：

多形である多形
ではない

これは私の期待に一致します。

clangを使用すると、そのコードはコンパイルされません。次のエラーメッセージが表示されます。

コンパイルする必要がありますか？2つのコンパイラのどちらに障害がありますか？

次の要件を持つデータコンテナがあります。

• 高速にする：したがって、通常の継承ではなくテンプレート
• さまざまな実装を使用する
• より多くのメソッドでこれらの実装を拡張できる
• データはテンプレート引数を介して指定され、データコンテナアイテムへのポインタを保存できる必要があります

私が思いついた解決策は次のとおりです。

次のエラーが発生します（gcc 4.7）：

T *dataの代わりに使用する場合T data（ただし、その間接参照は必要ありません）、またはを使用せずに直接storage_container_impl持っている場合に機能します。ミックスインスタイルを使用しても問題は解決しません。ポインタと同様に、テンプレート宣言にループがあるなどの理由で、それが機能しない理由もありません。これは、問題の最小化されたバージョンです。どんな助けでもいただければ幸いです！T datastorage_containerstorage_container_implcontainer_ref

テンプレートエイリアス（たとえば、以下のコードスニペットのように、欠落しているメンバータイプ名のテンプレートエイリアス）に関連する置換が失敗した場合、エラーをトリガーする必要がありますか？

Clangとgccはこれについて意見が一致していないようです：

したがって、問題は、誰が正しいのか、そしてその理由は何かということです。

ありがとう ：-）

これは、C ++で空白が重要な別のケースですか、それともコンパイラのバグですか？次のコードは構文的に正しいですか？

Intel C ++ Composerは、「型指定子の無効な組み合わせ」と言ってコンパイルに失敗します。ただし、署名に単一の空白を追加すると、正常にコンパイルされます。

テンプレート エイリアスで引数の型を指定したテンプレート クラスのテンプレート メソッドを宣言すると、コンパイル エラーが発生します。テンプレート クラスをクラスに変更すると、コンパイルされます。テンプレート エイリアスを実際の型 (ここではTempl<bool>) に置き換えると、それもコンパイルされます。テンプレート クラスで、引数の型がテンプレート エイリアスの場合、なぜ機能しないのですか?

コンパイラは gcc バージョン 4.8.0 (Ubuntu/Linaro 4.8.0-2ubuntu2~12.04) です。