metaprogramming

1熱

1答えて

私は自分のタイプMytypeを持っています。これはある種の式を定義しています。この式をCoq命題Propに翻訳したいと思います。これを行うには、私はforall <variable 15>, <variable 15> /\ <variable (15+1)>と書くことができる何らかのメタプログラミングが必要なような気がします。ここでは私が翻訳したいMWEです： Inductive Myprop

3熱

1答えて

静的クラス関数のクラス型を取得

静的クラス関数Foo::bar()への関数ポインタを持っていて、クラスの型（Foo）を取得したいと思います。今、私はbarがFooのメンバ関数であれば、私は次の型の特性のようなものではなく、静的関数で、クラス型を得ることができることを知っている： template<class T> struct class_of; template<class T, class R> struct class_o

3熱

1答えて

どのように動的に作成された関数

私はモジュール内の一部の機能を生成していますために「スプラット」関数の引数： defmodule M do funs = [do_it: [:arg1, :arg2]] Enum.each(funs, fn {name, args} -> args = Enum.map(args, & {&1, [], Elixir}) def unquote(name)

0熱

2答えて

ので、標準の<a href="http://www.eel.is/c++draft/temp.inst#2" rel="nofollow noreferrer">this section</a>が（私の質問はインラインある）この例を示します

クラステンプレートの特殊例の暗黙のインスタンスを理解する： template<class T, class U> struct Outer { template<class X, class Y> struct Inner; // Where are X and Y from? Is this defining a struct? template<class Y> str

8熱

1答えて

パラメータパック内の各要素に関数を適用

私は専門では、次のテンプレート関数があります。変換する方法はあり template<typename ... Args> void doSomething(Args ... args) { // Convert parameter pack using convert function above // and call any other variadic template

2熱

4答えて

文字列をRailsでクラスに変換できますか？

はあなたが私が好きな何 ModuleA::ModuleB::ActualClassName を行う必要がアクセスするためのクラスの束を持っている想像しModuleA::ModuleB一部をバイパスして、ちょうどActualClassNameを入力し、それが話して何イム知っていることです。私はDirを使用してディレクトリに移動し、変数に変換する文字列クラス名の配列を作成するために、クラスに対し

1熱

1答えて

C++は再帰的なクラス定義をどのように扱いますか？

私は最近、C++でテンプレートのメタプログラミングを始めており、いくつかの基本機能をそれぞれの再帰的コンパイル時テンプレート定義に変換しようとしています。例えば： template <typename T, T A, unsigned int N> class pow { enum : T { value = A * pow<T, A, N-1>::value } }; template <