Нахождение постоянства функции-члена

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

11

c++const member-functions typetraits

Решение

Другие решения

Ниже приведена черта простого типа, адаптированная из Вот это должно позволить это.

template <typename T>
struct is_const_mem_func : std::false_type { };

template <typename Ret, typename Class, typename... Args>
struct is_const_mem_func<Ret (Class::*)(Args...) const> : std::true_type { };

2

Источник

Accepted Answer

Там вы идете:

#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 {};

7