C++ noexcept 未知成员函数

Question

#include<iostream>
#include<utility>
using namespace std;

struct A
{
    void set(const int &){}
    void set(int &&) noexcept
    {}
};

template<class Assign,class T,class Func>
struct B
{
    B& operator=(const Assign &)
    {
        return *this;
    }
    B& operator=(Assign &&) noexcept(noexcept(declval<T>().set(declval<Assign>())))
    {
        return *this;
    }
};

int main()
{
    cout<<is_nothrow_assignable<B<int,A,void(A::*)(int &&)>&,int&&>::value<<endl;
}

我要打线

B& operator=(Assign &&) noexcept(noexcept(declval<T>().set(declval<Assign>())))

到

B& operator=(Assign &&) noexcept(noexcept(declval<T>().Func(declval<Assign>())))

（但是会出现编译错误。）
这样用户就可以指定应该使用哪个成员函数。

在不知道应该提前调用哪个成员函数的情况下有任何可能这样做吗？

Answer 1

如果你使用另一个参数来指定函数，它会起作用。

template<class Assign,class T,class Func, Func f> struct B
//...
B& operator=(Assign &&) noexcept(noexcept((declval<T>().*f)(declval<Assign>())))
//...
cout<<is_nothrow_assignable<B<int,A,void(A::*)(int &&), &A::set>&,int&&>::value<<endl;

在B中添加一个Func非类型参数，在noexcept运算符中使用成员函数指针调用语法，然后可以通过传递一个指针来指定函数。

完整代码 here, 如果需要更多上下文。