Почему шаблонный улов отсутствует здесь?

Question

Почему в следующем фрагменте кода тип шаблона не может быть выведен автоматически из последнего аргумента, как в std::condition_variable::wait?

template< typename Predicate > 
    //requires Truth<Predicate> 
class lock_monitor_guard 
{ 
public: 
    lock_monitor_guard(std::mutex& mutex, std::condition_variable& monitor, Predicate predicate); 
    ~lock_monitor_guard(); 

private: 
    std::unique_lock<std::mutex> lock; 
    std::condition_variable& monitor; 
}; 

template< typename Predicate > 
    //requires Truth<Predicate> 
lock_monitor_guard<Predicate>::lock_monitor_guard(std::mutex& mutex, std::condition_variable& monitor, Predicate predicate) 
    : lock(mutex), monitor(monitor) 
{ 
     monitor.wait<Predicate>(lock, predicate); 
} 

template< typename Predicate > 
    //requires Truth<Predicate> 
lock_monitor_guard<Predicate>::~lock_monitor_guard() 
{ 
     lock.unlock(); 
     monitor.notify_one(); 
} 

Когда я пытаюсь построить линию как lock_monitor_guard guard(jobs_mutex, jobs_monitor, ([]()->bool{return true;}));, у меня есть сообщение об ошибке: use of class template 'lock_monitor_guard' requires template arguments. Но почему ? И почему он работает с STL std::condition_variable::wait. Спасибо за любую помощь !

Answer 1

Шаблонные аргументы для типов не могут быть выведены, период. Это связано с тем, что специализация типов может предоставить совершенно другой набор членов, поэтому пока вы не узнаете аргументы шаблона типа, вы даже не знаете, какие конструкторы доступны.

Именно поэтому стандартная библиотека имеет вспомогательные функции, такие как std::make_pair. При построении или обращении к std::pair вы должны указать аргументы типа (std::pair<int, double>(1, 2.0)), но в большинстве случаев их можно вывести при вызове функции (std::make_pair(1, 2.0)). (Обратите внимание, что std::condition_variable::wait является функцией, а не тип.)

Если реализовать конструктор перемещения для lock_monitor_guard типа, то вы можете создать вспомогательную функцию, аналогичную по духу std::make_pair, а затем использовать копию инициализацию с auto, чтобы обеспечить вывод , (Обратите внимание, что вы также должны настроить свой деструктор, чтобы учесть возможность того, что this было его содержание «похищенное» конструктор перемещения.)

template <typename Predicate> 
lock_monitor_guard<Predicate> create_lock_monitor_guard(
    std::mutex & mutex, 
    std::condition_variable & monitor, 
    Predicate && predicate) 
{ 
    return lock_monitor_guard<Predicate>(mutex, monitor, std::forward<Predicate>(predicate)); 
} 

auto guard = create_lock_monitor_guard(
    jobs_mutex, 
    jobs_monitor, 
    [] { return true; }); 

Answer 2

Вы можете передать тип, как показано ниже.

template< typename Predicate > 
     //requires Truth<Predicate> 
    class lock_monitor_guard 
    { 
    public: 
     lock_monitor_guard(std::mutex& mutex, std::condition_variable& monitor, Predicate predicate); 
    }; 


auto pred = [] { return true; }; 

lock_monitor_guard<decltype(pred)> l(jobs_mutex, jobs_monitor, pred); 

И std::condition_variable::wait это функция, а не тип, следовательно, тип автоматически выводится.