完美转发C ++重载和模板化仿函数及其参数

Question

假设我们有一个看起来像这样的函数：

template <typename F, typename... A>
inline void execute(F&& functor, A&& ... args) {
    std::forward<decltype(functor)>(functor)(std::forward<decltype(args)>(args)...);
}

这适用于简单的非模板化函数。但是，我正试图完善一个模板化的功能（一个非常人为的功能）：

namespace detail {

template <typename CodecImpl>
class codec
{
public:
    //
    // Encoding

    // Convenient version, returns an std::string.
    static std::string encode(const uint8_t* binary, size_t binary_size);
    static std::string encode(const char* binary, size_t binary_size);
    ...
};

class base64_rfc4648
{
public:
    template <typename Codec> using codec_impl = stream_codec<Codec, base64_rfc4648>;

    static CPPCODEC_ALWAYS_INLINE constexpr size_t alphabet_size() {
        static_assert(sizeof(base64_rfc4648_alphabet) == 64, "base64 alphabet must have 64 values");
        return sizeof(base64_rfc4648_alphabet);
    }
    static CPPCODEC_ALWAYS_INLINE constexpr char symbol(alphabet_index_t idx)
    {
        return base64_rfc4648_alphabet[idx];
    }
    ...
};

} // namespace detail

using base64_rfc4648 = detail::codec<detail::base64<detail::base64_rfc4648>>;

试图转发上述内容：

std::string buf("hello world");
execute(base64_rfc4648::encode, buf.c_str(), buf.size());

不行。模板扣除失败：

注意：无法推断出模板参数'F'

它还注意到：

调用'execute(<unresolved overloaded function type>, const char*, std::__cxx11::basic_string<char>::size_type)'没有匹配功能

我怎样才能解决这个问题？

注意：为了便于阅读，我保留了上面的信息，但如果需要更多信息，我可以添加。

Answer 1

您可以简单地使用boost::hof将base64_rfc4648::encode包装在函数对象中。 execute(BOOST_HOF_LIFT(base64_rfc4648::encode), buf.c_str(), buf.size());

这是BOOST_HOF_LIFT的文档

Answer 2

我创建了一个MCVE来处理问题，而不是代码。

因此，让我们有一个名为print()的通用函数，我们要发送给你的execute()

template <typename Arg>
inline void print(Arg const & a) {
    std::cout << a << std::endl;
}

其中execute()是：

template <typename F, typename... A>
inline void execute(F&& functor, A&& ... args) {
    std::forward<decltype(functor)>(functor)(std::forward<decltype(args)>(args)...);
}

当我们试图打电话给execute(print, 10)它失败了。 问题是execute()函数不能理解我们试图调用print的哪个超载。

现在这个问题可以通过两种方式解决：

第一种方法，指定模板化函数的完整类型：

execute(print<int>, 10);

第二种方法，创建一个辅助函数。 通过再添加一个层可以解决每个问题。 在我们将它传递给execute()之前，这个辅助函数将帮助我们推断出类型

template <typename Arg>
inline void execute_print(Arg const & a) {
    execute(print<Arg>, a); // we need to specify which overload to be invoked
}

然后你可以打电话：execute_print(20);

这是一个完整的工作代码供您参考（使用C ++ 11编译）：

#include <string>
#include <iostream>

template <typename Arg>
inline void print(Arg const & a) {
    std::cout << a << std::endl;
}

template <typename F, typename... A>
inline void execute(F&& functor, A&& ... args) {
    std::forward<decltype(functor)>(functor)(std::forward<decltype(args)>(args)...);
}

template <typename Arg>
inline void execute_print(Arg const & a) {
    execute(print<Arg>, a); // we need to specify which overload to be invoked
}

int main() {
    // execute(print, 5); // wont compile
    execute(print<int>, 10);
    execute_print(20);
    return 0;
}