パワー（C++ - {templates}）=パワー（C++）？

Question

テンプレートを使用せずにC++で汎用プログラミングを行うことができるかどうかを知りたい。テンプレートを使用せずにテンプレートを使用して記述されたC++で利用可能なすべてのライブラリを記述することは可能ですか？テンプレートにC++で利用可能な代替手段はありますか？私が知りたい

はそれは同じ機能

Answer 1

理論的には、テンプレートのないC++はまだTuring-completeなので、その言語のすべての関数のプログラムを書くことができます。このプログラムは、テンプレートを使ってC++で記述することもできます。私の知る限り、C++のマクロプリプロセッサはチューリング完全ではありませんが、テンプレートはあります。したがって、純粋にテンプレートとして実装できる機能は存在しなければなりませんが、マクロでは実装できません。

実際には、私は同じセマンティクスですべてを再実装することはできないと思います。テンプレートがなければ、タイプセーフティを犠牲にして、マクロを使うことに固執しなければならないでしょう。初期のJavaクラスのような継承ベースのアプローチは単純なコンテナライブラリでさえもそうでした。

より高度なメタプログラミングライブラリの場合、 Boost.Spirit Boost.Proto、私はそれらが別の形式のメタプログラミングなしで実装できることは疑いの余地があります。マクロはうまくいくかもしれませんが、これはコードジェネレータのようなもので、コンパイラへの型チェックを延期します。エラーメッセージは、テンプレートを使用するよりもさらに悪くなります。さらに、セマンティクスはパラメータの受け渡しによって異なります。

Answer 2

を私に提供するテンプレートを使用してC++で書かれたライブラリの上に抽象化を書き込むことができるまあ、テンプレートはまさにそれです - テンプレート。実際のタイプと機能の青写真です。したがって、理論的には、これらのテンプレートのインスタンシエーションをすべて手動で行うことができます。しかし、それはもはや汎用プログラミングではないでしょう。質問の

Answer 3

回答：

は、テンプレートのC++で利用可能な任意の代替はありますか？

マクロスはテンプレートの代替品です。 （未良い代替が、代替） 関連リンク[1]、[2]

が比較：macrosesの

#define min(i, j) (((i) < (j)) ? (i) : (j)) 

template<class T> T min (T i, T j) { return ((i < j) ? i : j) } 

問題：

• なし型チェック、
• ないので、マクロ展開で理解できるコンパイラエラーが発生する
• 複数の計算式の副作用質問について

：

は、テンプレートを使用せずに、テンプレートを使用して書かれているC++で利用可能なすべてのライブラリを記述することが可能です。

場合によってはマクロを使用することもできます。各ライブラリタイプの実装を記述または生成することができます。しかし、ユーザー定義の型ライブラリの場合、マクロが便利な単純な場合を除いて、実装はできません。 以前の純粋なC（C++以外の）プログラムには、ビルド段階でいくつかの "ソース"テンプレートからソースを生成するために使用されたソースに特別なツールが含まれています。