5

我有一个简单的类A，提供可变参数函数模板。此函数使用内部的私有数据A，但函数本身是公共的。课程如下：

class A {
public:

    A() :
    _bla("bla: ") {
    }

    template <class T>
    void bar(const T& value) {
        std::cout << _bla << value << std::endl;
    }

    template <class H, class... T>
    void bar(const H& value, const T&... data) {
        std::cout << _bla << value << std::endl;
        bar(data...);
    }

private:
    const std::string _bla;
};

在一个名为foo.hpp的单独文件中，我有一个 function foo()，它应该能够接收并使用该函数a.bar()作为参数：

int main(int argc, char *argv[]) {    
    A a;
    a.bar(1, "two", 3, 4);
    foo(&a.bar);
}

我不太确定从哪里开始，但我尝试了以下方法 - 这不起作用。我怎样才能正确地做到这一点：

template <typename... T>
inline void foo(void (bar *)(const T&...)) {
    unsigned int x(0), y(0), z(0);
    bar(x, y, z);
}

额外的问题：有没有办法不仅可以调用：

foo(&a.bar);

但也调用绑定到一些参数，如foo：a.bar

foo(&(a.bar(p1, p2));

我可以简单地将p1和添加p2到foo定义本身，例如：

foo(p1, p2, &a.bar);

但如果我之前可以添加这些参数，这在语义上会更好。

4

1 回答 1

9

您不能在不实例化的情况下传递函数模板的地址，因为它被视为整个重载集（无论模板是否为可变参数）。但是，您可以将其包装在通用仿函数中：

struct bar_caller
{
    template<typename... Ts>
    void operator () (A& a, Ts&&... args)
    {
        a.bar(std::forward<Ts>(args)...);
    }
};

然后让你的函数foo()定义如下：

template<typename F>
inline void foo(A& a, F f) {
    unsigned int x(0), y(0), z(0);
    f(a, x, y, z);
}

所以你的函数调用main()将变为：

int main()
{
    A a;
    a.bar(1, "two", 3, 4);
    foo(a, bar_caller());
}

不幸的是，目前在 C++ 中没有办法在不定义单独的类的情况下轻松地将重载集包装在仿函数中 - 就像上面对bar_caller.

编辑：

如果您不想将A对象直接传递给foo()，您仍然可以让您bar_caller封装对必须调用A函数的对象的引用bar()（只需注意对象的生命周期，这样您就不会使该引用悬空):

struct bar_caller
{
    bar_caller(A& a_) : a(a_) { }

    template<typename... Ts>
    void operator () (Ts&&... args)
    {
        a.bar(std::forward<Ts>(args)...);
    }

    A& a;
};

foo()然后你可以重写main()如下：

template<typename F>
inline void foo(F f) {
    unsigned int x(0), y(0), z(0);
    f(x, y, z);
}

int main()
{
    A a;
    a.bar(1, "two", 3, 4);
    foo(bar_caller(a));
}
于 2013-05-06T15:30:58.463 回答