Обобщение функций общего C++

Question

Я свяжусь с тем, чтобы написать простой шаблон шаблонов универсальных указателей, который позволяет программисту применять произвольное количество оберток до и после вызова некоторой функции FUNC() , например. Если требовалось запустить таймер, заблокировать, log_start, FUNC(), log_end, разблокировать, остановить таймер

Тогда я хотел бы иметь возможность написать что-то простое, где программист поставил 3 типа и функцию для шаблона и пусть компилятор сделает все остальное. я получаю чувство, что это может быть сделано с помощью VARIADIC шаблоны аналогично тому, как списки типов работали в сочетании с перегрузкой оператора ->

т.е.

class timer {}; // ctor start timer, dtor stop timer 
class locker{}; // ctor lock, dtor unlock 
class logger{}; // ctor lock, dtor unlock 

Тогда код, такой как

template <typename ...base_class_list> 
class aggregate : public base_class_list... {}; 
using pre_conditions = aggregate<logger, locker, trans>; 

class gadget 
{ 
    auto do_something() -> void; 
}; // gadget 

Наконец (часть, которую я хотел бы написать, но не знаю, как склеить ее вместе

SMART_PTR<pre_conditions, gadget> g; 
g->do_something(); 

Я могу заставить его работать достаточно легко, используя подход, описанный Bjarne Stroustrup в разделе «Условные вызовы функций C++ Member», но задавался вопросом, было ли более общее и изящное решение.

Answer 1

Самый простой способ заключается в оберточную только все operator():

template <typename T, typename ... Ts> 
struct magic 
{ 
    T obj; 

    template <typename ... Us> 
    decltype(auto) operator()(Us...args) 
    { 
     ordered_tuple<Ts...> t; // tuple doesn't guaranty order 
     obj(std::forward<Us>(args)...); 
    } 
}; 

Demo

Завернуть operator ->, это более сложно:

template <typename T, typename ... Ts> 
class wrapper 
{ 
    ordered_tuple<Ts...> t; // tuple doesn't guaranty order 
    T* obj; 
public: 
    wrapper(T* obj) : obj(obj) {} 

    T* operator ->() 
    { 
     return obj; 
    } 
}; 

template <typename T, typename ... Ts> 
class magic 
{ 
    T obj; 
public: 
    wrapper<T, Ts...> operator ->() 
    { 
     return {&obj}; 
    } 
}; 

Demo

Handling 10 и нестандартный конструктор. (и найти лучшее имя).