寻找成员函数的恒定性

Question

如何检测成员函数是否具有const修饰符？

考虑一下代码

struct A {
  int member();
  int member() const;
};

typedef int (A::*PtrToMember)();
typedef int (A::*PtrToConstMember)() const;

我需要这样的东西:

std::is_const<PtrToMember>::value // evaluating to false
std::is_const<PtrToConstMember>::value // evaluating to true 

Answer 1

你去:

#include <type_traits>
#include <iostream>
#include <vector>

template<typename T>
struct is_const_mem_fn {
private:
    template<typename U>
    struct Tester {
        static_assert( // will always fail
            std::is_member_function_pointer<U>::value,
            "Use member function pointers only!");

        // if you want to report false for types other than
        // member function pointers you can just derive from
        // std::false_type instead of asserting
    };

    template<typename R, typename U, typename...Args>
    struct Tester<R (U::*)(Args...)> : std::false_type {};

    template<typename R, typename U, typename...Args>
    struct Tester<R (U::*)(Args...) const> : std::true_type {};

public:
    static const bool value =
        Tester<typename std::remove_cv<T>::type>::value;
};

struct A {
  int member();
  int member() const;
};
typedef int (A::*PtrToMember)();
typedef int (A::*PtrToConstMember)() const;

int main()
{
    std::cout
        << is_const_mem_fn<PtrToMember>::value
        << is_const_mem_fn<const PtrToMember>::value
        << is_const_mem_fn<PtrToConstMember>::value
        << is_const_mem_fn<const volatile PtrToConstMember>::value
        << is_const_mem_fn<decltype(&std::vector<int>::size)>::value;
}

输出: 00111

编辑:在原始答案中我忘记了一个角落案例.

上面的特征会阻塞一个假设的成员函数,如下所示:

struct A {
  int member(int, ...) const;
};

因为没有有效的专业化Tester可以为这种签名生成.要修复它,请添加以下特化:

template<typename R, typename U, typename...Args>
struct Tester<R (U::*)(Args..., ...)> : std::false_type {};

template<typename R, typename U, typename...Args>
struct Tester<R (U::*)(Args..., ...) const> : std::true_type {};