なぜstd :: copy_nはstd :: size_tではなくテンプレートパラメータを取るのですか？

Question

簡単な質問です。

template<class InputIt, class Size, class OutputIt> 
OutputIt copy_n(InputIt first, Size count, OutputIt result); 

なぜstd::copy_nは、単にstd::size_tのコピーの代わりになるだろう要素の数の種類を取るのでしょうか？私は理由を考えることができません。オリジナルの根拠について推測

template<class InputIt, class OutputIt> 
OutputIt copy_n(InputIt first, std::size_t count, OutputIt result); 

Answer 1

は、このような場合にはほとんど無益であるが、この設計でcopy_nは、例えば、負の数で起動することができますintまたはptrdiff_tタイプです。その場合は、単に何もしません。それは、かなり有能な人である標準化委員会のメンバーには明らかであるはずです。

---

1つの追加の利点は、入力と出力イテレータのような特別なイテレータと、大きさは任意の可能なポインタの差よりも大きい場合があり、したがっておそらくはより大きいsize_tを表すことができることです。例えば。これは、32ビットWindowsで4GBを超えるファイルの場合と同様です。 の定義は、明示的なポインタ/イテレータ演算で表されます。“各非負整数i < nに対しては、*(result + i) = *(first + i) ”を実行します。この利点は非常に特殊なケースになりますが、表記法は純粋な入力および出力イテレータアルゴリズムオペレータ+と-の説明で

”それらがあることを持っていない ためイテレータカテゴリの一部に使用される：

C++ 11§25.1/ 12で説明したように定義された。これらの場合に a+nのセマンティクスは

X tmp = a; 
advance(tmp, n); 
return tmp; 

b-a

とのそれはreturn distance(a, b)のと同じであるのと同じです。

---

設計の汎用性ではなく、それ自体が欠点は、より冗長だとそれほど簡単に生成し、誤った使用コードの診断を理解していることであります、何の固有の利点を持っていません。その利点には、上記の2つの利点があります。明らかに、委員会は、これらの利点、およびおそらく他のもの（？）がSizeをテンプレートパラメータとして持つという固有の欠点を上回っていると感じました。

Answer 2

総称のためです。
コンテナsize_type（C++）は通常size_tです。しかし、カスタムコンテナを使用したり、カスタムアロケータを使用したりすると、テンプレートパラメータとなることはありません。 custom containerについては

、size_typeは（それがan unsigned integer large enough to represent all positive values of difference_typeなければならない）size_tへのtypedefである必要はありません。

STLコンテナの場合、size_typeは、default allocatorの場合はsize_tであるallocator::size_typeのtypedefです。しかし、カスタム・アロケータを指定すると、タイプが異なる可能性があります。