Я нашел странную проблему для g ++ 4.4 и 4.5. Я спросил об этом, потому что я думал, что делаю какую-то глупую ошибку в коде. Оригинальный пост here но пост completitude я буду перепечатывать проблемный код в вопросе здесь:Должны ли параметры шаблона шаблона получать параметры, разрешенные из предыдущих параметров?
$ 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’
[email protected]:~/play$
$ g++ -DENABLE=true -c templatetemplate.cc
(no error)
Это не кажется, что на самом деле ошибка программиста, Althought это может быть возможно, я не хватаю какое-то неясное правила разрешения параметра шаблона шаблона. Тем не менее, я попробовал опубликовать ошибку для трекера ubuntu (надеюсь, они уволят его или иным образом отправят ошибку вверх)
Итак, просто для проверки, действительно ли это ошибка, я получил себе копию 2003 года Стандарт, и я читаю раздел 14.3.3 пару раз сейчас, и все же я чувствую, что я пропускаю малейшую подсказку, если пропускать шаблонный шаблон с параметром, как в примере кода, разрешен или запрещен. Я даже не уверен, что в этой части документа упоминается что-нибудь об этом
Вот мой вопрос: вы знаете, где это указано?
EDIT: довольно интересно, что этот вопрос остался без ответа уже более недели: он заставляет меня полагать, что стандарт ISO C++ не указывает, можно ли использовать предыдущий параметр шаблона для указания типов последующих параметров шаблона (по крайней мере, в заявленной форме), и это в основном остается для исполнителей принять решение
2-е ИЗОБРАЖЕНИЕ (10/01/2011): Люди, возможно, что-то об этом, что нам все не хватает (или много высококвалифицированных специалистов разработчики компилятора ошибочны): Я пробовал это с помощью компилятора 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.
Я удалил ссылку на пиратский стандарт C++. Если ISO обнаружит, что вы ссылаетесь на пиратскую копию, я не знаю, что они будут делать с вами.Лучше скажите людям, чтобы google за «ISO IEC 14882 2003 C++», чтобы найти его в каталоге ISO и ... :) – 2011-01-05 05:12:57
BTW, Clang компилирует этот код в порядке. И я не вижу, что спецификация говорит, что это неверно (я не понимаю, почему это тоже должно быть недопустимо, но я никогда не пробовал писать компилятор C++). Поэтому я считаю, что это действительно так. – 2011-01-05 05:46:45
невероятный, я не знал, что вы можете «пиратировать» стандарт iso C++. Какой смысл в стандарте, который не является общедоступным? Превосходный! - Да, я пробовал clang, и он тоже работает для меня, поэтому я пришел к выводу, что это всего лишь ошибка g ++ – lurscher 2011-01-05 14:44:18