Вывод аргумента шаблона, непонятный случай

Question

class Copier{ }; 

template<class T> 
class Destructor{ }; 

template<template<class T> class Abstractor> 
class BuildFactory : public Abstractor<Copier>{ }; 

BuildFactory<Destructor> bd; 

Я не могу понять, что будет выведен шаблонный параметр T. Я подозреваю, что T будет выведено Copier, но это как раз то, как я думаю, я не могу это объяснить. Может быть, кто-то может дать объяснение этой теме.

Answer 1

Нет вычеты. Давайте посмотрим на два места, где T существует:

template<template<class T> class Abstractor> 
class BuildFactory : public Abstractor<Copier>{ }; 

Это говорит о том, что BuildFactory шаблон класса, который сам принимает шаблон класса, назвав его Abstractor. Опять же, чтобы быть ясным: Abstractor - это класс шаблон, а не экземпляр. Так что никаких вычетов вообще не происходит. Класс Abstractor<Copier> имеет явный аргумент, так как вы называете Copier.

T на самом деле необязательно; вы могли бы написать:

template<template<class> class Abstractor> 
class BuildFactory : public Abstractor<Copier>{ }; 

Теперь для другого кода:

template<class T> 
class Destructor{ }; 

BuildFactory<Destructor> bd; 

Опять же, вы передаете шаблон Destructor, а не какой-то класс Destructor<T>. Никакой дедукции не требуется.

Кроме того, невозможно вывести аргументы шаблона для шаблонов классов, так или иначе. : P

Answer 2

T не выводится ни на что. Это даже не нужно. Этот код будет эквивалентен:

template<template<class> class Abstractor> 
class BuildFactory : public Abstractor<Copier>{ }; 

Это просто означает, что Abstractor шаблон класса, и то, что известно как параметр шаблон шаблона.

Обычно необязательный шаблон «параметр» используется для документирования каких-либо шаблонов классов, которые следует использовать.

Answer 3

Как уже говорилось в предыдущих ответах, здесь нет вычета. В частности,

• Abstractor явно указано как Destructor.
• В BuildFactory, Abstractor явно используется с параметром шаблона Copier.
• В BuildFactory<Destructor>, так как - Destructor, который явно использует Destructor<T = Copier>.

Поскольку указаны все аргументы шаблона, нет никаких вычетов и даже не использование типов параметров по умолчанию.