代码之家 › 专栏 › 技术社区 › ssb

查找函数是否为常量

typetraits variadic-templates metaprogramming c++14 c++

ssb · 技术社区 · 7 年前

我目前的策略是使用 std::is_reference , std::is_pointer std::is_const 关于每个论点。(当前忽略全局变量…)

所以检查的类型对象看起来像这样。。。

template <typename F>
struct is_const_func: public function_traits<decltype(&F::operator())> {};

template <typename ClassType, typename ReturnType, typename... Args> 
struct is_const_func<ReturnType (ClassType::*)(Args...)> {
  static const std::tuple<std::is_reference<Args>...> ref;
  static const std::tuple<std::is_pointer<Args>...> ptr;
  static const std::tuple<std::is_const<Args>...> con;
  static const bool value = ? // Reduce(&&, (!ref && !ptr) || con)
}

value 基本上我想从每个元组中取第I个元素并计算 (!ref[i] && !ptr[i]) || con[I] &&

1 回复 | 直到 7 年前

Yakk - Adam Nevraumont 7 年前

首先找到一个C++17 std应用程序的实现。

all_of 作为一个 constexpr

接下来,写

struct all_of_t{
  constexpr all_of_t(){}
  template<class...Bs>
  constexpr bool operator()(Bs...bs)const{ return all_of(bs...); }
};

最后:

static const std::tuple<std::integral_constant<bool,
  (!std::is_reference<Args>{}&&!std::is_pointer<Args>{})||std::is_const<Args>{}>...
> arg_state;
static const bool value = apply( all_of_t, arg_state );

推荐文章

patrick · 从boost::绑定1和2占位符运行make失败。。。?

1 年前

rookie · 检查函数模板的所有参数包参数是否属于int

1 年前

ivaigult · -W转换和隐式字符串到布尔类型转换

1 年前

David Bien · declval<_Xp(&)()>()()-这在下面的上下文中意味着什么?

1 年前

khallad sayed · 在%上,C++表达式必须具有整型或无范围枚举类型

1 年前

rainer · 后台插入程序的初始化

1 年前

Community wiki · 以理智、安全和高效的方式复制文件

1 年前

Shefali Kanaujia · 对C中向量的向量进行排序++

1 年前

Prakritish Ghosh · 现在显示正确输出的函数中的Infix到Postfix错误[重复]

1 年前

Ma Joonyoung · 粗粒度和细粒度链表的时间比较

1 年前