是否可以在调用后自动推断指向三元中成员重载函数的指针的类型？

Question

所以我有这样的场景，我想调用一个类的任一函数，其中所讨论的函数具有相同的原型，但它也被重载。因为我知道指向成员的指针，所以我的第一反应是这样的：

struct test
{
    int overloaded(char) {}
    int overloaded(int) {}
    int overloadedone(char) {}
    int overloadedone(int) {}
} test;

int main()
{
    (test.*(true ? (&test::overloaded) : (&test::overloadedone)))(1);
}

然而事实证明编译器（MSVC - 2019 Preview latest version with std C++ preview）无法推断出类型，我必须写：

(test.*(true ? static_cast<int (test::*)(int)>(&test::overloaded) : static_cast<int (test::*)(int)>(&test::overloadedone)))(1);

反而让我回到了过去：

true ? test.overloaded(1) : test.overloadedone(1);

但我想知道这是否是要求这些演员的定义行为。甚至：

(test.*static_cast<int (test::*)(int)>(true ? (&test::overloaded) : (&test::overloadedone)))(1);

没用。

你必须像第二个例子一样，对三元的两种可能性中的每一种都写下所说的演员表。

Answer 1

这不是特别优雅，但是如果在传递成员函数指针本身之前对成员函数指针的参数进行柯里化，这种方法可以推断出重载：

#include <iostream>

template <class... Args>
auto invoke_conditional_mem_fn(Args... args)
{
    return [=] <class R, class X> (X x, bool b, R(X::*t)(Args...), R(X::*f)(Args...)) -> R
    {
        return (x.*(b ? t : f))(args...);
    };
}

struct test
{
    int overloaded(char) { std::cout << "overloaded(char) "; return 1; }
    int overloaded(int) { std::cout << "overloaded(int) "; return 2; }
    int overloadedone(char) { std::cout << "overloadedone(char) "; return 3; }
    int overloadedone(int) { std::cout << "overloadedone(int) "; return 4; }
} test;

int main()
{
    std::cout
        << invoke_conditional_mem_fn('1')(test, true, &test::overloaded, &test::overloadedone)
        << std::endl
        << invoke_conditional_mem_fn(1)(test, false, &test::overloaded, &test::overloadedone)
        << std::endl;
}

感谢@dyp 和their example，我们知道如果我们选择要传递的参数，我们可以推断出成员函数指针的返回类型和基数。

---

或者，如果它满足您的需求，您可以做一些像这样更简单的事情。只需声明一个 lambda 即可使用 if 和 else 语句解决三元表达式的限制，因为三元运算符的每个分支都必须属于同一类型。

#include <iostream>

struct test
{
    int overloaded(char) { std::cout << "overloaded(char) "; return 1; }
    int overloaded(int) { std::cout << "overloaded(int) "; return 2; }
    int overloadedone(char) { std::cout << "overloadedone(char) "; return 3; }
    int overloadedone(int) { std::cout << "overloadedone(int) "; return 4; }
} test;

auto conditional = [] (struct test& test, bool cond, auto... args)
{
    if (cond) return test.overloaded(args...);
    else return test.overloadedone(args...);
};

int main()
{
    std::cout << conditional(test, true, '1') << std::endl;
    std::cout << conditional(test, false, 1) << std::endl;
}