Должны ли параметры шаблона шаблона получать параметры, разрешенные из предыдущих параметров?

Question

Я обнаружил странную проблему на g ++ 4.4 и 4.5.Я спрашивал об этом, потому что думал, что делаю какую-то глупую ошибку в коде.Оригинальный пост здесь , но для полноты поста я опубликую здесь проблемный код:

$ 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 (надеюсь, они отклонят его или иным образом отправят сообщение об ошибке)

Итак, просто для проверки, действительно ли это ошибка, я получил себе копиюстандарт 2003, и я уже несколько раз читал раздел 14.3.3, и все же я чувствую, что пропускаю малейшую подсказку, если передача шаблона шаблона с параметром, как в примере кода, разрешена или запрещена.Я даже не уверен, что в этой части документа упоминается что-либо об этом

. Вот мой вопрос: вы знаете, где это указано?

РЕДАКТИРОВАТЬ: довольно интересно, что этот вопросостался без ответа более недели: это заставляет меня поверить, что стандарт ISO c ++ не определяет, можем ли мы использовать предыдущий параметр шаблона для указания типов последующих параметров шаблона (по крайней мере, в указанной форме), и это в основном оставлено дляРешения для разработчиков

2-е РЕДАКТИРОВАНИЕ (10/01/2011): Люди, возможно, в этом есть что-то, чего мы все упускаем (или многие высококвалифицированные разработчики компиляторов ошибаются): я попробовал это скомпилятор 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

Кстати, вот решение, которое я нашел для основной проблемы:

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; };

Используя вложенный шаблон, я могу ввести typename через typedef.

Answer 2

Я не могу найти ничего в стандарте, который запрещает это, хотя я попробовал этот простой код (который мне кажется упрощением вашей проблемы) в Comeau :

template<int>
class A {};

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

B<int, A> b;

И выдает следующую ошибку:

«ComeauTest.c», строка 4: ошибка: параметр параметра шаблона не может зависеть от типа другого параметра шаблона

Хотелось бы найти, какая часть стандарта фактически запрещает это ...

Answer 3

Я подозреваю, что это странная конструкция: template<typename Holder::type> class typeMap Что это должно быть?Бит typename Holder::type странный;это должно быть фиктивное имя (идентификатор).Holder::type даже не идентификатор.

Answer 4

Разве это не так, как должно быть?

Это потому, что LabelTypeMap сам является шаблоном (параметром шаблона шаблона) и, следовательно, требует указания типа.

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