C++20でのallocatorクラスのsize_type型とdifference_type型の扱いを修正

[kenichiice]

P0619R4 の次の記述によると、allocatorクラスのsize_typeとdifference_typeはC++20で非推奨が取り消されているようです。

• https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0619r4.html#3.9

  Strong recommendation: Undeprecate std::allocator::size_type and std::allocator::difference_type, and remove the remaining deprecated parts from the C++20 standard:

規格上でもsize_typeとdifference_typeは残っています。

• https://timsong-cpp.github.io/cppwp/default.allocator

なので、関連している記述を修正してみました。

allocatorのリファレンスについてはsize_typeとdifference_typeの説明に「C++17から非推奨、C++20で非推奨取り消し」などと書くべきかもしれませんが、わかりにくいかと思ったので「非推奨・削除の詳細」の節に説明を追加するようにしてみました。

[faithandbrave]

ありがとうございます。読者と編集者のために経緯をなるべく残したいので、この文書を参照としてリンクしておいていただきたいです。

[kenichiice]

allocatorのページについては、P0619R4 は参照節に既に書かれていますね。 C++20のページについても、参照節にある P2131R0 の中に P0619R4 は書かれています。

なので、今のままでいいように思いましたがいかがでしょうか。

[faithandbrave]

失礼しました。これでマージしちゃいます