模板的typedef接受指针const和非const功能

Question

这里是指针到接受两个整数并返回一个int一个类的方法：

template <typename T> 
using TFunction = int (T::*)(int, int); 

我只能通过这里非const方法。 如何改变这个模板，使它能接受const和非const方法？

Answer 1

这种情况是一个条件很简单：

template <typename T> 
using TFunction = std::conditional_t< 
    std::is_const_v<T>, 
    int (T::*)(int, int) const, 
    int (T::*)(int, int) 
>; 

现在TFunction<Foo>是int (Foo::*)(int, int)，而TFunction<Foo const>是int (Foo::*)(int, int) const。