テンプレートテンプレートパラメータは、以前のパラメータから解決されたパラメータを受け取ることができますか？

Question

私はg ++ 4.4と4.5で奇妙な問題を発見しました。私はこれについて尋ねました。なぜなら、私はコード内にばかげたエラーを作り出していると思ったからです。オリジナルのポストはhereですが、ポストcompletitudeのために私はここで問題に問題のあるコードを再投稿されます：私はいくつかのあいまいなルールを欠けている可能性がありますalthought本当にプログラマのエラーではないようです

$ cat templatetemplate.cc 
template <int i> 
struct LabelTypeMap { typedef int type_t; }; 

template <bool> 
struct Hold { typedef int type; }; 

template<typename Holder, template<typename Holder::type> class typeMap> 
struct Whatever { }; 

template <bool Enable> 
struct Now { typedef Whatever<Hold<ENABLE>, LabelTypeMap> concrete_t; }; 

Now<true>::concrete_t obj; 

$ g++ -DENABLE=Enable -c templatetemplate.cc 
templatetemplate.cc:11: error: type/value mismatch at argument 2 in template parameter list for ‘template<class Holder, template<typename Holder::type <anonymous> > class typeMap> struct Whatever’ 
templatetemplate.cc:11: error: expected a template of type ↵ 
    ‘template<typename Holder::type <anonymous> > class typeMap’, got ↵ 
    ‘template<int i> struct LabelTypeMap’ 
marcelo@macbookpro-1:~/play$ 
$ g++ -DENABLE=true -c templatetemplate.cc 
(no error) 

テンプレートテンプレートパラメータ解像度のしかし、私はバグをubuntuトラッカーに投稿しようとしました（うまくいけば彼らはそれを却下するか、そうでなければバグをアップストリームに送るでしょう）

これは本当にバグかどうかを調べるために、標準と私は今14.3.3セクションを2回読んだことがありますが、サンプルコードのようにパラメータを持つテンプレートテンプレートパラメータを渡すことが許されているのか許されていないのか分かりません。私はこの文書のこの部分がこれについて何も言及していないと確信していません

ここに私の質問があります。

EDIT：この質問が1週間以上未回答になっているのはかなり面白いです。私は、ISO C++標準では、前のテンプレートパラメータを使用して後続のテンプレートパラメータのタイプを指定できるかどうかはわかりません少なくとも記載された形式で）、基本的には実施者が決定するために残されています。

第2 EDIT（2011/01/01）：皆さん、私たちはすべて欠けているかもしれませんコンパイラ設計者が間違っている）： 私はintel C++コンパイラXE 12.0でこれを試しましたが、私はこれを得ました：

$icpc ttemplatetemplate.cc -o ./x2test 
templatetemplate.cc(12): error: class template "LabelTypeMap" is not compatible with template template parameter "typeMap" 
    struct Now { typedef Whatever<Hold<Enable>, LabelTypeMap> concrete_t; }; 
              ^


compilation aborted for templatetemplate.cc (code 2) 
$ icpc --version 
icpc (ICC) 12.0.0 20101116 
Copyright (C) 1985-2010 Intel Corporation. All rights reserved. 

Answer 1

私はこの単純なコードを試みたが、私は、それを禁じ標準で何かを見つけることができませんComeauで（私には思えるあなたの問題を簡略化したものである）：

template<int> 
class A {}; 

template<class T, template<T> class U> 
class B {}; 

B<int, A> b; 

そして、それは次のエラーを生成します。

"ComeauTest.c", line 4: error: a parameter of a template template parameter cannot depend on the type of another template parameter

私は実際にそれを禁じている標準の一部で見つけることがしたい...

Answer 2

は、可能になっているか、このはありませんか？

これは、LabelTypeMap自体がテンプレート（テンプレートテンプレートパラメータ）であり、したがって型を指定する必要があるためです。

template <bool Enable> 
struct Now { typedef Whatever<Hold<ENABLE>, LabelTypeMap<ENABLE> > concrete_t; }; 

Answer 3

私はこの奇妙な構造を疑っています：はずがすることは何template<typename Holder::type> class typeMap ？ typename Holder::typeビットは変です。それはダミーの名前（識別子）であるはずです。 Holder::typeは識別子でもありません。

Answer 4

ところで、ここで私は、根本的な問題に見つかったソリューションです：

template <int i> 
struct LabelTypeMap { typedef int type_t; }; 

template <bool> 
struct Hold { typedef int type; }; 

template<typename Holder> 
struct Whatever { 
    typedef typename Holder::type HT; 
    template <template <HT> class typeMap> 
    struct Whatever2 { }; 
}; 

template <bool Enable> 
struct Now { typedef typename Whatever<Hold<Enable> >::Whatever2<LabelTypeMap> concrete_t; }; 

ネストされたテンプレートを使用するが、私はtypedef経由typenameを導入することができます。