Аргумент шаблона для параметра типа шаблона должен быть типом?

Question

Я пытаюсь вызвать этот конструктор класса:

template<typename T> 
ListNode<T>::ListNode(SkipListKind kind, const T& key){ 
    key = SkipListKey<T>(kind, key); // A private member of the class 
} 

Я называю это так:

std::shared_ptr<ListNode<T>(SkipListKind::NegInf, T{})>); 

Я получаю эту ошибку: аргумента шаблона для параметра типа шаблона должен быть типа

Может кто-нибудь объяснить, почему? Благодаря!

Answer 1

Все, что входит в внешний набор угловых скобок, является аргументом шаблона. std::shared_ptr принимает тип в качестве параметра шаблона. То, что у вас внутри внешнего набора угловых скобок, не является типом; это тип, за которым следуют аргументы конструктора.

Вы, вероятно, хотите:

std::make_shared<ListNode<T>>(SkipListKind::NegInf, T{}) 

Шаблон функции std::make_shared принимает тип в качестве параметра шаблона, а затем передает его аргументы в конструктор типа-, в конце концов возвращает std::shared_ptr на вновь созданный объект.

Answer 2

Это неправильно:

std::shared_ptr<ListNode<T>(SkipListKind::NegInf, T{})>); 
               // ^

вероятно Вы имели в виду, чтобы сделать это:

std::make_shared<ListNode<T>>(SkipListKind::NegInf, T{}); 
         //^