Question

我有两个模板方法

template <typename T, typename Ret, typename ...Args>
Ret apply(T* object, Ret(T::*method)(Args...), Args&& ...args) {
    return (object->*method)(std::forward(args)...);
};

template <typename T, typename Ret, typename ...Args>
Ret apply(T* object, Ret(T::*method)(Args...) const, Args&& ...args) {
    return (object->*method)(std::forward(args)...);
};

我的目的是在这些 args

上应用 T 类的成员方法

这是我的测试代码：

int main() {
    using map_type = std::map<std::string, int>;
    map_type map;
    map.insert(std::make_pair("a", 1));
    std::cout << "Map size: " << apply(&map, &map_type::size) << std::endl; //this code work
    apply(&map, &map_type::insert, std::make_pair("a", 1)); //failed to compile

    return 0;
}

这是编译器错误消息：

    test.cpp: In function ‘int main()’:
test.cpp:61:58: error: no matching function for call to ‘apply(map_type*, <unresolved overloaded function type>, std::pair<const char*, int>)’
     apply(&map, &map_type::insert, std::make_pair("a", 1));
                                                          ^
test.cpp:11:5: note: candidate: template<class T, class Ret, class ... Args> Ret apply(T*, Ret (T::*)(Args ...), Args&& ...)
 Ret apply(T* object, Ret(T::*method)(Args...), Args&& ...args) {
     ^~~~~
test.cpp:11:5: note:   template argument deduction/substitution failed:
test.cpp:61:58: note:   couldn't deduce template parameter ‘Ret’
     apply(&map, &map_type::insert, std::make_pair("a", 1));

Answer 1

std::map::insert是重载功能。除非您明确指定了您感兴趣的重载，否则您不能获取其地址 - 编译器将如何知道？

解决问题的最简单方法是让apply接受任意函数对象并将您的调用包装在通用lambda中的insert

template <typename F, typename ...Args>
decltype(auto) apply(F f, Args&& ...args) {
    return f(std::forward<Args>(args)...);
};

用法：

::apply([&](auto&&... xs) -> decltype(auto)
{ 
    return map.insert(std::forward<decltype(xs)>(xs)...);
}, std::make_pair("a", 1));

live wandbox example

遗憾的是，附加的句法样板是不可避免的。这可能在将来发生变化，请参阅：

N3617旨在通过引入“lift”运算符来解决此问题。
P0119通过允许重载集在作为参数传递时基本上为您生成“包装器lambda”，以不同的方式解决问题。

我不确定上述提案是否支持重载的成员函数。

您也可以通过明确指定调用者方面存在的重载来使用原始解决方案：

::apply<map_type, std::pair<typename map_type::iterator, bool>,
        std::pair<const char* const, int>>(
    &map, &map_type::insert<std::pair<const char* const, int>>,
    std::make_pair("a", 1));

你可以看到它不是很漂亮。可以通过一些更好的模板参数推导来改进它，但不是很多。

由于不兼容的cv限定符而无法编译

1 个答案: