Я пытаюсь реализовать функцию привязки из библиотеки boost. Ниже вы можете увидеть основную структуру bind_t
с определенным operator()
.
Мой вопрос заключается в следующем: почему мы должны указывать в decltype возвращаемый тип operator()
, возвращающий тип call()
явно как функцию-член (если я удаляю this->
до call
, вывод аргумента шаблона не выполняется в g++.)
Также интересно, что при использовании clang++ такой проблемы нет.
Я понятия не имею, почему это происходит.
template <typename F, typename ... P>
struct bind_t {
private:
std::tuple<typename holder<P>::type...> p;
F func;
template <size_t ... N, typename ... Args>
auto call(index_list<N ...>, Args const& ... args) const -> decltype(func(std::get<N>(p)(args...)...)) {
return func(std::get<N>(p)(args...)...);
}
public:
bind_t(F f, P ... p):
p(std::move(p)...),
func(std::move(f))
{}
template <typename ... Args>
auto operator()(Args const& ... args) const -> decltype(this->call(typename indices_by_num<sizeof...(P)>::type(), args...)) {
typename indices_by_num<sizeof...(P)>::type indices;
return call(indices, args...);
}
};
полный исходный код реализации
простой пример использования