std::invoke 不喜欢可变模板成员函数？

Question

我正在尝试使用 std::invoke() 和 std::apply() 调用可变函数模板。

我提前表示歉意，因为我基本上是在这里删除了一段代码，并请别人帮助我理解错误消息以解决问题。

因此，在下面的示例代码中，

std::invoke() 在非可变模板函数上工作正常。
std::invoke() 可变参数模板函数无法编译！

#include <functional>
#include <tuple>

struct Thing
{
    // Some simple functions to test things out
    int func0() { return 0; }
    int func1(int) { return 1; }
    int func2(int, int) { return 2; }

    // A variadic template function that causes problems below
    template<typename ...Args>
    int funcn(Args&&...) { return 99; }
};

int main()
{
    Thing thing;

    // These work fine
    std::invoke(&Thing::func0, thing);
    std::invoke(&Thing::func1, thing, 1);
    std::invoke(&Thing::func2, thing, 1, 2);

    // This one doesn't work
    std::invoke(
        &Thing::funcn, 
        thing, 
        1, 2, 3, 4
    );
}

我得到的错误在这里：（x86-64 clang 12.0.1 的输出（编译器 #1））

 Wrap lines
<source>:26:5: error: no matching function for call to 'invoke'
    std::invoke(
    ^~~~~~~~~~~
functional:94:5: note: candidate template ignored: couldn't infer template argument '_Callable'
    invoke(_Callable&& __fn, _Args&&... __args)
    ^

Answer 1

std::invoke 需要一个可调用函数。 funcn是一个函数模板，你需要实例化它才能得到一个真正的函数，然后你就可以得到它的地址。

这意味着（明确地）向函数提供模板参数，您希望如何实例化它，以便 std::invoke 可以看到它可以调用的函数。

std::invoke(
    &Thing::funcn<int, int, int, int>, // works now
    thing,
    1, 2, 3, 4
);

std::invoke 不喜欢可变模板成员函数？

std::invoke does not like variadic template member functions?

c++

templates

c++17

variadic-templates

std-invoke