目次
3.2. パラメータパッケージを拡張するためのテンプレートの再帰と特殊化方法
VC++ の共通機能開発の概要 (コラム記事のリスト、購読歓迎、継続的な更新...) https://blog.csdn.net/chenlycly/article/details/124272585 C++ ソフトウェア異常トラブルシューティング チュートリアル シリーズ入門から習熟まで(コラム記事一覧)、ぜひ購読して更新を続けてください...)https://blog.csdn.net/chenlycly/article/details/125529931入門から習熟までのC++ソフトウェア解析ツール事例集(コラム)記事は更新中...) https://blog.csdn.net/chenlycly/article/details/131405795 C/C++ の基礎と応用 (コラム記事、継続的に更新中...) https://blog.csdn.net /chenlycly/category_11931267.html C++ 11 の新機能は非常に重要です。C++ 開発者として、学習する必要があります。筆記試験の面接に含まれるだけでなく、オープン ソース コードで大規模に使用されることになります。多くのビデオ会議やライブ ブロードキャスト ソフトウェアで使用されているオープン ソースの WebRTC プロジェクトを例に挙げます。WebRTC コードは C++11 以降の新機能を広範囲に使用しています。そのソース コードを理解するには、C++ のこれらの新機能を理解する必要があります。したがって、次の期間では、参考または参照のために、私の仕事の実践を組み合わせて C++11 の新機能について詳しく説明します。
1 はじめに
C++11 より前では、クラス テンプレートと関数テンプレートには、固定数のテンプレート パラメーターのみを含めることができました。C++11 ではテンプレート機能が強化され、テンプレート定義に 0 から任意の数のテンプレート パラメーターを含めることができます (これが可変パラメーター テンプレートです)。
変数テンプレートは、可変数のパラメーターを受け入れるテンプレート関数またはテンプレート クラスです。可変データのパラメータはパラメータ パケットと呼ばれ、パラメータ パケットには次の 2 種類があります。
1)テンプレートパラメータパケット(テンプレートパラメータパケット):0個以上のテンプレートパラメータを表す、
2)関数パラメータパケット(関数パラメータパケット):0個以上の関数パラメータを表す。
省略記号を使用して、テンプレート パラメーターまたは関数パラメーター パックを表します。テンプレート パラメーター リストで、typename... または calss... は、後続のパラメーターが 0 個以上の型のリストを表すことを示します。typename に続く省略記号は、特定の型の 0 個以上の非型パラメーターを表します。 。関数パラメーター リストでは、パラメーターのタイプがテンプレート パラメーター パックである場合、このパラメーターも関数パラメーター パックになります。次に例を示します。
// Args是一个模板参数包,rest一个函数参数包
// Args表示0个或多个模板类型参数
// rest表示0个或多个函数参数
template<typename T, typename... Args>
void foo( const T &t, const Args& ... rest);
可変パラメータ テンプレートのセマンティクスは通常のテンプレートと同じですが、書き方に若干の違いがあります。可変パラメータ テンプレートを宣言するときは、型名またはクラスの後に省略記号「...」を付ける必要があります。例を参照してください。
template<class ... T>
void func(T ... args) // T叫模板参数包,args叫函数参数包
{//可变参数模板函数
}
func(); // OK:args不含有任何实参
func(1); // OK:args含有一个实参:int
func(2, 1.0); // OK:args含有两个实参int和double
2. 可変パラメータテンプレート機能
2.1. 可変パラメータテンプレート関数の定義
可変個引数テンプレート関数は次のように定義されます。
template<class ... T> void func(T ... args)
{//可变参数模板函数
//sizeof...(sizeof后面有3个小点)计算变参个数
cout << "num = " << sizeof...(args) << endl;
}
int main()
{
func(); // num = 0
func(1); // num = 1
func(2, 1.0); // num = 2
return 0;
}
2.2. パラメータパッケージの拡張
2.2.1. 再帰的展開再帰的関数を通じてパラメータ パッケージを展開するには、次のようなパラメータ パッケージ展開関数と再帰的終了関数を提供する必要があります。
//递归终止函数
void debug()
{
cout << "empty\n";
}
//展开函数
template <class T, class ... Args>
void debug(T first, Args ... last)
{
cout << "parameter " << first << endl;
debug(last...);
}
int main()
{
debug(1, 2, 3, 4);
/*
运行结果:
parameter 1
parameter 2
parameter 3
parameter 4
empty
*/
return 0;
}
再帰呼び出しのプロセスは次のとおりです。
デバッグ(1, 2, 3, 4);
デバッグ(2, 3, 4);
デバッグ(3, 4);
デバッグ(4);
デバッグ();
2.2.2. 非再帰的展開
非再帰的展開の例は以下のとおりです。
template <class T>
void print(T arg)
{
cout << arg << endl;
}
template <class ... Args>
void expand(Args ... args)
{
int a[] = { (print(args), 0)... };
}
int main()
{
expand(1, 2, 3, 4);
return 0;
}
Expand 関数のカンマ式: (print(args), 0) もこの実行順序に従い、最初に print(args) を実行してから、カンマ式 0 の結果を取得します。
同時に、初期化リストを通じて可変長配列が初期化され、{ (print(args), 0)... } は ( (print(args1), 0), (print(args2), 0)、(print (args3), 0), etc...) は、最終的に要素がすべて 0 である配列 int a[sizeof...(args)] を作成します。
3. 可変パラメータテンプレートクラス
3.1. 継承モードでパラメータパッケージを展開する
変数パラメーター テンプレート クラスの展開には、通常、クラス宣言と特殊なテンプレート クラスを含む 2 ~ 3 つのクラスの定義が必要です。
template<typename... A> class BMW{}; // 变长模板的声明
template<typename Head, typename... Tail> // 递归的偏特化定义
class BMW<Head, Tail...> : public BMW<Tail...>
{//当实例化对象时,则会引起基类的递归构造
public:
BMW()
{
printf("type: %s\n", typeid(Head).name());
}
Head head;
};
template<> class BMW<>{}; // 边界条件
int main()
{
BMW<int, char, float> car;
/*
运行结果:
type: f
type: c
type: i
*/
return 0;
}
3.2. パラメータパッケージを拡張するためのテンプレートの再帰と特殊化方法
再帰と特殊化を使用したパラメータ パッケージのテンプレート展開の例は次のとおりです。
template <long... nums> struct Multiply;// 变长模板的声明
template <long first, long... last>
struct Multiply<first, last...> // 变长模板类
{
static const long val = first * Multiply<last...>::val;
};
template<>
struct Multiply<> // 边界条件
{
static const long val = 1;
};
int main()
{
cout << Multiply<2, 3, 4, 5>::val << endl; // 120
return 0;
}