шаблонный список параметров шаблона с типами шаблонов - PullRequest
Новая
       12

шаблонный список параметров шаблона с типами шаблонов

8 голосов
/ 31 марта 2011

C ++ позволяет шаблонные параметры шаблона, как это: 

template <template <bool> class T>
struct something1 {};
Тип

Bool может быть заменен на typedef (поэтому не требуется указывать имя оригинального типа в объявлении): 

typedef bool bool_t;
template <template <bool_t> class T>
struct something2 {};

Это прекрасно работает, но если я попытаюсь определить вложенную структуру следующим образом: 

template <typename Type>
struct enclosing
{
   typedef bool bool_t;
   typedef Type type_t; 

   template <template <bool_t> class T>
   struct something3 {};

   template <template <type_t> class T>
   struct something4 {};
};

Тогда следующий код не скомпилируется: 

template <bool Value>
struct param {};

typedef something1<param> x1; // ok
typedef something2<param> x2; // ok
typedef enclosing<bool>::something3<param> x3; // ok
typedef enclosing<bool>::something4<param> x4; // error

Это стандартное поведение или я что-то не так делаю? Я использую MSVS 2008.

EDIT:
Я опубликовал сообщение об ошибке на форумах поддержки Microsoft: Сообщение об ошибке

1 Ответ

4 голосов
/ 31 марта 2011

Это похоже на ошибку в VC ++; Я проверил, что поведение в VC ++ 2010 SP1 не изменилось. Я рекомендую опубликовать отчет об ошибке на MS Connect , а затем разместить ссылку здесь, чтобы мы могли проголосовать за нее.

...