寻找成员函数的常数

Posted 2023-02-16

【中文标题】寻找成员函数的常数

【英文标题】：Finding constancy of member function

【发布时间】：2013-02-19 10:30:12

【问题描述】：

如何检测成员函数是否具有 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 

【问题讨论】：

在写代码的时候应该不知道自己在处理的数据类型吗？

不是在编译时检查成员函数的常量吗？

@EdHeal 如果它是一个模板参数怎么办？然后直到实例化你才知道。想象一下，您想在enable_if 中使用它。

【参考方案1】：

以下是改编自 here 的简单类型特征，应该允许这样做。

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  ;

【讨论】：

对PtrToMember、const PtrToMember 和PtrToConstMember 有效。 但是const PtrToConstMember是错误的

【参考方案2】：

你去吧：

#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

编辑：我忘记在原始答案中说明一个极端情况。

上面的 trait 会阻塞一个假设的成员函数，如下所示：

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 ;

【讨论】：

适用于 gcc。谢谢！

再次感谢您深入了解我的问题。