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;

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

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

C ++ noexcept未知成员函数

1 个答案: