関数がconstであるかどうかを調べる

Question

ラムダまたはフリー関数がC++ 14メタプログラミングを使用してconstであるかどうかを調べようとしています。

私の現在の戦略は、各引数にstd::is_reference,std::is_pointerおよびstd::is_constを使用することです。 （現在、グローバル変数を無視して...）

だからチェックするタイプのオブジェクトは、次のようになります...私はvalueを実装する方法を知りたい

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

。基本的には、各タプルからi番目の要素を取り出し、(!ref[i] && !ptr[i]) || con[I]を計算し、得られたタプルを&&でコンパイル時にすべて削減したいと考えています。

どうすれば実装できますか？このチェックを行うより良い方法はありますか？

Answer 1

最初にC++の実装が見つかりました。17 std apply。

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

各ステップは、SOでの検索が容易であるべきです。