基本クラスメンバを再帰的に再表示します

Question

関数のタプルを引数とするクラスを作成しようとしましたが、関数のすべてargument_typeに対してはoperator()がオーバーロードされます。今、これは次のようになります。

template<typename T> 
struct holder { 
    T t; 
}; 

template<typename T, std::size_t i> 
struct overload_helper : public holder<T>, public overload_helper<T, i - 1> { 
    overload_helper(T t) : holder<T>({t}) {}; 
    typedef typename std::tuple_element<i - 1, T>::type inner_type; 
    typename inner_type::result_type operator()(typename inner_type::argument_type x) { 
    return std::get<i - 1>(holder<T>::t)(x); } 
}; 

template<typename T> 
struct overload_helper<T, 1> { 
    typedef typename std::tuple_element<0 ,T>::type inner_type; 
    typename inner_type::result_type operator()(typename inner_type::argument_type x) { 
    return std::get<0>(holder<T>::t)(x); } 
}; 

template<typename T> 
struct overload : public overload_helper<T, std::tuple_size<T>::value> 
{ 
    typedef void result_type; 
    overload(const T& t) : overload_helper<T, std::tuple_size<T>::value>(t) { } 
}; 


int main() { 
    auto all = make_overload(std::make_tuple(
       std::function<void(double)>([](double i) { 
       std::cout << "double" << std::endl; 
        }), std::function<void(int)>([](int i) { 
        std::cout << "int" << std::endl; }))); 

    all(1); //fails 
    all(1.0); 
} 

問題は、基本クラスがoperator()の各再帰的定義を隠しているということです。 usingですべての定義を再帰的に再表示することは可能ですか、テンプレートoperator()を使用し、boost::mplで適切なオーバーロードを選択する唯一の方法ですか？

Answer 1

using overload_helper<T, i - 1>::operator()各overload_helperはあまりにも曖昧でないので、仕事をしなければなりません。