Question

我试图为模板类编写一个函数，该模板类接受一个参数，该参数是大类私有数据中成员类的函数指针。当您调用该成员时，它会在较小的类上调用该函数。（令人困惑的权利？）为了证明，我在这里有一个非工作的例子：

#include <vector>
#include <iostream>

using namespace std;

template <typename T, typename C>
struct MyClass {

    template <typename F, typename... A>
    auto call_me(F func, A... args) { // pass in the function we want to call
        return (mContainer.*func) (args...); // call the function supplied by 
        // the parameter on the private member data
    }

    C mContainer; // this will be private in my actual code

};


int main() {
    MyClass<int, std::vector<int> > test;;

    cout << test.call_me(&std::vector<int>::size) << endl; // works
    test.call_me(&std::vector<int>::insert, test.mContainer.begin(), 4); // doesn't work

    return 0;
}

请注意，这不是我的实际代码，而是我尝试做的一个小例子。正如您所看到的，我试图调用“私人”的size成员函数。（我已将其公开在此处进行演示）vector在MyClass内。这只适用于我没有编译器解压缩的参数，但是当我尝试执行insert函数（其中包含解包参数）时，编译器给出了一个错误：

.\template.cpp: In function 'int main()':
.\template.cpp:24:71: error: no matching function for call to 'MyClass<int, std::vector<int> >::call_me(<unresolved overloaded function type>, std::vector<int>::iterator, int)'
     test.call_me(&std::vector<int>::insert, test.mContainer.begin(), 4);
                                                                       ^
.\template.cpp:10:10: note: candidate: template<class F, class ... A> auto MyClass<T, C>::call_me(F, A ...) [with F = F; A = {A ...}; T = int; C = std::vector<int>]
     auto call_me(F func, A... args) { // pass in the function we want to call
          ^~~~~~~
.\template.cpp:10:10: note:   template argument deduction/substitution failed:
.\template.cpp:24:71: note:   couldn't deduce template parameter 'F'
     test.call_me(&std::vector<int>::insert, test.mContainer.begin(), 4);

这是我在实际生产代码中遇到的同样的错误，调用variadic函数没有参数来解压缩工作，但是如果我提供更多，我得到相同的错误消息。这是我第一次真正尝试使用Variadic模板，因此任何推荐和帮助都将受到赞赏。

Answer 1

这里的问题是insert是一个重载函数。编译器没有尝试解决模板参数推导中你想要的重载，因为它无法知道。您必须将函数强制转换为要使用的重载类型，以便为其提供类型。那看起来像是

using insert_func_t = std::vector<int>::iterator(std::vector<int>::*)(std::vector<int>::const_iterator, const int&);
test.call_me(static_cast<insert_func_t>(&std::vector<int>::insert), test.mContainer.begin(), 4);

一般情况下是

static_cast<return_type(class_name::*)(function_parameters)>(&class_name::function_name)

另一个选择是稍微改变一下这个功能，然后拿一个表达你想要的东西的lambda。那看起来像是

template <typename T, typename C>
struct MyClass {

    template <typename F, typename... A>
    auto call_me(F func, A... args) { // pass in the function we want to call
        return func(mContainer, args...); // call the function supplied by 
        // the parameter on the private member data
    }

    C mContainer; // this will be private in my actual code
};

int main() {
    MyClass<int, std::vector<int> > test;;

    test.call_me([](auto& container, auto... args){ container.insert(args...); }, test.mContainer.begin(), 4);

    return 0;
}

Answer 2

基本上你不能获取未解析的重载函数的地址，因为编译器无法选择正确的函数入口点地址。在正常的函数调用期间，编译器会解析重载的函数，但是使用像你或std :: bind（）这样的模板，这不会起作用，因为参数用于调用模板函数，而不是你想要的函数地址

您可以像这样手动解决重载：

    using ftype = std::vector<int>::iterator(std::vector<int>::*)
        (std::vector<int>::const_iterator, const std::vector<int>::value_type&);
    test.call_me((ftype)(&std::vector<int>::insert), test.mContainer.begin(), 4); // works

Answer 3

在执行此类操作时，更容易处理函数对象。它将方法重载的问题卸载到编译器。

Lambda也可以工作（他们是功能对象）：

#include <vector>
#include <iostream>

template <typename T, typename C>
struct MyClass {

    template <typename F, typename... A>
    auto call_me(F func, A&&... args) -> decltype(auto)
    { // pass in the function we want to call
        return func(mContainer, std::forward<A>(args)...); // call the function supplied by 
        // the parameter on the private member data
    }

    C mContainer; // this will be private in my actual code

};
/*
 * It's often easier to deal in function objects
 */
struct insert
{
    template<class Container, class...Args>
    decltype(auto) operator()(Container& cont, Args&&...args) const
    {
        return cont.insert(std::forward<Args>(args)...);
    }
};

struct size
{
    template<class Container, class...Args>
    decltype(auto) operator()(Container& cont) const
    {
        return cont.size();
    }
};

int main() {
    MyClass<int, std::vector<int> > test;;

    std::cout << test.call_me(size()) << std::endl; // works
    test.call_me(insert(), test.mContainer.begin(), 4); // doesn't work

    // or lambdas
    auto insert2 = [](auto& container, auto&&...args) -> decltype(auto)
    {
        return container.insert(std::forward<decltype(args)>(args)...);
    };
    test.call_me(insert2, test.mContainer.begin(), 5); 


    return 0;
}

模板类中的模板可变参数函数不会编译

3 个答案: