Убедиться, что шаблонный тип-функтор возвращает lvalue reference?
template<typename T, typename F>
auto UpdateData (const T& newData, F getter) → typename std::enable_if<std::is_lvalue_reference<typename std::result_of<F (MediaInfo&)>::type>::value, void>::type;

Нет, конечно же, можно написать просто
static_assert (std::is_lvalue_reference<typename std::result_of<F (MediaInfo&)>::type>::value, "functor doesn't return an lvalue reference");
внутри тела функции, но это же слишком просто, и не так много угловых скобочек!!

#tifing

5 comments recommend bookmark subscribe