代码之家 › 专栏 › 技术社区 › 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 );

推荐文章

Cornélio Sousa · 对象的行为__new__ Python dunder。引擎盖下面发生了什么?

11 月前

SpeakX · 从模板参数类型构造类类型元组

1 年前

Astor · 简化编译时二进制树类型的创建

1 年前

Ryan · 更改JS中数字的功能(出于教育目的)

1 年前

canellas · C++标准::元组<Ts…>到std::元组<std::vector<T>…>>

1 年前

Janilson · 如何解决这种多变的模板歧义

1 年前

C_Rod · 在模板方法中确定STL容器中项目的数据类型

2 年前

chenyuandong · Elixir中的元编程

7 年前

Lusheez · 获取类的attr\u reader、writer或accessor oustide

7 年前

Marcos Felipe · 基于存储的变量进行比较

7 年前