Recherche si la fonction est const

Question

J'essaie de trouver si une fonction lambda ou libre est const en utilisant la métaprogrammation C++ 14.

Ma stratégie actuelle consiste à utiliser les std::is_reference, std::is_pointer et std::is_const pour chacun des arguments. (Actuellement en ignorant les variables globales ...)

donc l'objet de type qui vérifie ressemble à quelque chose comme ça ...

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) 
} 

Je veux savoir comment mettre en œuvre le value. Fondamentalement, je veux prendre l'élément ith de chacun des tuples et calculer (!ref[i] && !ptr[i]) || con[I] et réduire le tuple résultant avec &&, tous à la compilation.

Comment l'implémenter? Y a-t-il une meilleure façon de faire cette vérification?

Answer 1

D'abord, trouvez une implémentation de C++ 17 std apply. Ensuite, écrivez all_of comme constexpr.

Ensuite, écrivez

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

Enfin:

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); 

chaque étape doit être facile à rechercher sur le SO.