Как вы можете использовать типы, определенные в шаблоне в C++?

Question

Учитывая класс шаблона:

template<class T, class U> 
    struct myList { 
    typedef T head; 
    typedef U next; 
    }; 

class nullList {}; 

Можно составить список классов, например

myList<int, myList<string, myList<short, nullList> > >; 

Я пытаюсь использовать приведенный выше список, чтобы создать класс шаблона, который обрабатывает только классы в списке. В приведенном выше примере мой класс будет обрабатывать ints, string и shorts (например, печатать их на консоли).

Я боролся с этим некоторое время, и я до сих пор не уверен, с чего начать. Любой код, который начинается с

template<class T, class U> 
class myClass { 
    ... 
}; 

терпит неудачу, потому что MyClass принимает только один параметр шаблона, и что MyList т.е.

myClass<myList> 

Но если я пытаюсь использовать

template<typename l> 
class myClass { 
    l.head foo;// cannot refer to type member 'head' in 'myList<int, nullList>' with '.' 
} 

Технически myList.head должен быть класс, не так ли? Как я могу использовать эту информацию?

Answer 1

Оператор . обращается к членам объектов. l не объект - это класс. Для доступа к статическим членам классов используется оператор ::. Когда член, к которому вы обращаетесь, является типом, а класс, к которому вы обращаетесь, является параметром шаблона, для синтаксических причин вам также понадобится ключевое слово typename. Так ваш будет:

template<typename l> 
class myClass { 
    typename l::head foo; 
} 

Если все, что вы хотите, чтобы напечатать значения данного типа, и вы не заинтересованы в создании объектов с членами этого типа, вы могли бы просто определить статическую функцию, которая принимает тип, аргумент:

template<typename l> 
class myClass { 
    public: 
    static void print(typename l::head foo) { 
     std::cout << foo << std::endl; 
    } 
}; 

на самом деле в этом случае, если вы только рассмотреть голову списка, вам не нужен класс вообще и просто не мог сделать:

template<typename l> 
void print(typename l::head foo) { 
    std::cout << foo << std::endl; 
} 

Однако вы» ll (probab ly) нужен класс, как только вы начинаете принимать во внимание хвост списка.