如何将常量成员函数作为非常量成员函数传递

Question

如何将常量成员函数作为非常量成员函数传递到模板？

class TestA 
{
public:
void A() {
}
void B() const {
}
};
template<typename T, typename R, typename... Args>
void regFunc(R(T::*func)(Args...)) 
{}
void test() 
{
regFunc(&TestA::A); // OK
regFunc(&TestA::B); // ambiguous
}

不想添加类似以下内容：

void regFunc(R(T::*func)(Args...) const)

有更好的方法吗？

Answer 1

为什么不简单地将其传递给通用模板函数：

查看实时

#include <iostream>
#include <utility>
class TestA
{
public:
void A() { std::cout << "non-costn"; }
void B() const { std::cout << "cost with no argsn"; }
void B2(int a) const { std::cout << "cost with one argn"; }
const void B3(int a, float f) const { std::cout << "cost with argsn"; }
};
template<class Class, typename fType, typename... Args>
void regFunc(fType member_fun, Args&&... args)
{
Class Obj{};
(Obj.*member_fun)(std::forward<Args>(args)...);
}
void test()
{
regFunc<TestA>(&TestA::A); // OK
regFunc<TestA>(&TestA::B); // OK
regFunc<TestA>(&TestA::B2, 1); // OK
regFunc<TestA>(&TestA::B3, 1, 2.02f); // OK
}

输出：

non-cost
cost with no args
cost with one arg: 1
cost with args: 1 2.02

Answer 2

否，您必须指定要匹配的cv和ref限定符。对于任何给定的R、T、Args...，R(T::*func)(Args...)是R(T::*func)(Args...) const的独立类型。

作为一个术语注释，它并不含糊。只有一个候选人，不匹配。歧义需要多个匹配的候选者。