c++ - MSVC : inference of pointer to member function with const and non-const overloads

Question

这是一个最小的示例，其中 MSVC 无法决定是使用成员函数的 const 版本还是非 const 版本:

struct A {
  int b() const;
  int& b();
};

template <typename T, typename Ref>
void set(A&, Ref (A::*)(), T);

int main() {
  auto a = A{};
  set(a, &A::b, 123);
}

错误信息是

error C2783: 'void set(A &,Ref (__cdecl A::* )(void),T)': could not deduce template argument for 'Ref'

GCC 和 Clang 更喜欢非常量方法，并且可以毫无问题地编译它。他们需要 Ref (A::*)() const 来选择 const 版本。

有什么方法可以将 MSVC 推向正确的方向吗？

https://godbolt.org/z/ejT-Ls

Answer 1

您可以通过强制转换函数指针来强制选择非常量版本:

set(a, static_cast<int & (A::*)()>(&A::b), 123);