<div dir="auto"><div><br><div data-smartmail="gmail_signature"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">пн, 17 февр. 2020 г., 17:06 Andrey Savchenko <<a href="mailto:bircoph@altlinux.org">bircoph@altlinux.org</a>>:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Mon, 17 Feb 2020 11:41:36 +0300 (MSK) Ivan Zakharyaschev wrote:<br>
> ПоÑвилаÑÑŒ идеÑ, что еÑть ÑпоÑоб здеÑÑŒ не проÑто ответÑтвенноÑть возложить <br>
> на программиÑта на Ñловах (вызывать Allocate() Ñ Ð½ÐµÐ½ÑƒÐ»ÐµÐ²Ñ‹Ð¼ аргументом), но <br>
> и формально предложить такой ÑпоÑоб программированиÑ, где не будет <br>
> возможноÑти делать не так, как задумано.<br>
> <br>
> Да и попроще вызовы получаютÑÑ.<br>
> <br>
> Ветка alloc-templates в <br>
> <a href="http://git.altlinux.org/people/imz/packages/apt.git" rel="noreferrer noreferrer" target="_blank">http://git.altlinux.org/people/imz/packages/apt.git</a><br>
> <br>
> (Ð Ð°Ð·Ð²Ð¸Ð²Ð°Ñ Ñто, можно RawAllocate() превратить в какой-нибудь<br>
> template<typename T> RawAllocateArray<T>(unsigned long ItemCount),<br>
> там, правда, Pools нетривиально надо будет переделать.<br>
> <br>
> ПришлоÑÑŒ, правда, перенеÑти определение из .cc в .h и патчи дальнейшие <br>
> неудобно прикладывать; но можно их ifdef-ами обложить в .cc и заинклудить <br>
> в .h.)<br>
> <br>
> From 89499e5810575336e6a3b02d71d6c323321a0eca Mon Sep 17 00:00:00 2001<br>
> From: Ivan Zakharyaschev <<a href="mailto:imz@altlinux.org" target="_blank" rel="noreferrer">imz@altlinux.org</a>><br>
> Date: Fri, 14 Feb 2020 04:04:42 +0300<br>
> Subject: [PATCH] don't pass compile-time constants as an argument to<br>
>Â DynamicMMap::Allocate()<br>
> <br>
> The argument was used for the size of the item we want to allocate.<br>
> <br>
> Instead of an argument, use a parameter for the template DynamicMMap::Allocate()<br>
> which denotes the type of the item.<br>
> <br>
> Now, the truth of our assertion that the size is not zero is evident<br>
> (and checked by the compiler).<br>
> <br>
> Note that this change may also potentially lead to more optimized code<br>
> due to compile-time specialization for each particular size.<br>
> ---<br>
>Â apt/apt-pkg/contrib/mmap.h | 12 ++++++------<br>
>Â apt/apt-pkg/pkgcachegen.cc | 19 ++++++++++---------<br>
> apt/apt-pkg/pkgcachegen.h | 3 ++-<br>
>Â 3 files changed, 18 insertions(+), 16 deletions(-)<br>
> <br>
> diff --git a/apt/apt-pkg/contrib/mmap.h b/apt/apt-pkg/contrib/mmap.h<br>
> index 5b14ac9d9..7ec0fb8b1 100644<br>
> --- a/apt/apt-pkg/contrib/mmap.h<br>
> +++ b/apt/apt-pkg/contrib/mmap.h<br>
> @@ -94,7 +94,8 @@ class DynamicMMap : public MMap<br>
>Â <br>
>Â Â Â // Allocation<br>
>Â Â Â std::experimental::optional<unsigned long> RawAllocate(unsigned long Size,unsigned long Aln = 0);<br>
> -Â Â std::experimental::optional<unsigned long> Allocate(unsigned long ItemSize);<br>
> +Â Â template<typename T><br>
> +Â Â std::experimental::optional<unsigned long> Allocate();<br>
>Â Â Â std::experimental::optional<unsigned long> WriteString(const char *String,unsigned long Len = std::numeric_limits<unsigned long>::max());<br>
>Â Â Â inline std::experimental::optional<unsigned long> WriteString(const string &S) {return WriteString(S.c_str(),S.length());};<br>
>Â Â Â void UsePools(Pool &P,unsigned int Count) {Pools = &P; PoolCount = Count;};<br>
> @@ -107,17 +108,16 @@ class DynamicMMap : public MMap<br>
>Â /* Templates */<br>
>Â <br>
>Â #include <apt-pkg/error.h><br>
> -#include <cassert><br>
>Â <br>
> // DynamicMMap::Allocate - Pooled aligned allocation         /*{{{*/<br>
>Â // ---------------------------------------------------------------------<br>
>Â /* This allocates an Item of size ItemSize so that it is aligned to its<br>
>Â Â Â size in the file. */<br>
> -std::experimental::optional<unsigned long> DynamicMMap::Allocate(unsigned long ItemSize)<br>
> +template<typename T><br>
> +std::experimental::optional<unsigned long> DynamicMMap::Allocate()<br>
>Â {<br>
> -Â Â assert(ItemSize != 0); /* Actually, we are always called with sizeof(...)<br>
> -Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â compile-time non-zero constant as the argument.<br>
> -Â Â Â Â Â Â Â Â Â Â Â Â Â */<br>
> +Â Â constexpr unsigned long ItemSize = sizeof(T);<br>
> +Â Â static_assert(ItemSize != 0);<br>
<br>
Давайте не закладыватьÑÑ Ð½Ð° C++17:<br>
<a href="https://en.cppreference.com/w/cpp/language/static_assert" rel="noreferrer noreferrer" target="_blank">https://en.cppreference.com/w/cpp/language/static_assert</a></blockquote></div></div><div dir="auto"><br></div><div dir="auto">+1.</div><div dir="auto"><br></div><div dir="auto">Чтобы не было проблем Ñ Ð±ÐµÐºÐ¿Ð¾Ñ€Ñ‚Ð¸Ñ€Ð¾Ð²Ð°Ð½Ð¸ÐµÐ¼. Ð’ том чиÑле на e2k. </div><div dir="auto"><br></div><div dir="auto">Rgrds, ÐлекÑей</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
static_assert ( bool_constexpr , message )Â Â Â (since C++11)<br>
static_assert ( bool_constexpr )Â Â Â Â Â Â Â Â (since C++17)<br>
<br>
Так что прошу иÑпользовать первую форму (C++11 Ñ Ñообщением)<br>
и убедитÑÑ, что Ñвно задан как минимум -std=c++11/gnu++11.<br>
<br>
>Â <br>
>Â Â Â // Look for a matching pool entry<br>
>Â Â Â Pool *I;<br>
> diff --git a/apt/apt-pkg/pkgcachegen.cc b/apt/apt-pkg/pkgcachegen.cc<br>
> index 4bbab07bf..2a75f31e6 100644<br>
> --- a/apt/apt-pkg/pkgcachegen.cc<br>
> +++ b/apt/apt-pkg/pkgcachegen.cc<br>
> @@ -112,8 +112,9 @@ std::experimental::optional<unsigned long> pkgCacheGenerator::WriteStringInMap(c<br>
>Â Â Â return Map.WriteString(String);<br>
>Â }<br>
>Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â /*}}}*/<br>
> -std::experimental::optional<unsigned long> pkgCacheGenerator::AllocateInMap(unsigned long size) {/*{{{*/<br>
> -Â Â return Map.Allocate(size);<br>
> +template<typename T><br>
> +std::experimental::optional<unsigned long> pkgCacheGenerator::AllocateInMap() {/*{{{*/<br>
> +Â Â return Map.Allocate<T>();<br>
>Â }<br>
>Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â /*}}}*/<br>
> // CacheGenerator::MergeList - Merge the package list            /*{{{*/<br>
> @@ -376,7 +377,7 @@ bool pkgCacheGenerator::NewPackage(pkgCache::PkgIterator &Pkg, const string &Nam<br>
>Â #endif<br>
>Â Â Â Â Â <br>
>Â Â Â // Get a structure<br>
> -Â Â const auto Package = AllocateInMap(sizeof(pkgCache::Package));<br>
> +Â Â const auto Package = AllocateInMap<pkgCache::Package>();<br>
>Â Â Â const auto idxName = WriteStringInMap(Name);<br>
>Â Â Â if ((!Package) || (!idxName))<br>
>Â Â Â Â return false;<br>
> @@ -429,7 +430,7 @@ bool pkgCacheGenerator::NewFileVer(pkgCache::VerIterator &Ver,<br>
>Â Â Â Â return true;<br>
>Â Â Â <br>
>Â Â Â // Get a structure<br>
> -Â Â const auto VerFile = AllocateInMap(sizeof(pkgCache::VerFile));<br>
> +Â Â const auto VerFile = AllocateInMap<pkgCache::VerFile>();<br>
>Â Â Â if (!VerFile)<br>
>Â Â Â Â return false;<br>
>Â Â Â <br>
> @@ -460,7 +461,7 @@ std::experimental::optional<unsigned long> pkgCacheGenerator::NewVersion(pkgCach<br>
>Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â unsigned long Next)<br>
>Â {<br>
>Â Â Â // Get a structure<br>
> -Â Â const auto Version = AllocateInMap(sizeof(pkgCache::Version));<br>
> +Â Â const auto Version = AllocateInMap<pkgCache::Version>();<br>
>Â Â Â const auto idxVerStr = WriteStringInMap(VerStr);<br>
>Â Â Â if ((!Version) || (!idxVerStr))<br>
>Â Â Â Â return std::experimental::nullopt;<br>
> @@ -487,7 +488,7 @@ bool pkgCacheGenerator::ListParser::NewDepends(pkgCache::VerIterator &Ver,<br>
>Â Â Â pkgCache &Cache = Owner->Cache;<br>
>Â Â Â <br>
>Â Â Â // Get a structure<br>
> -Â Â const auto Dependency = Owner->AllocateInMap(sizeof(pkgCache::Dependency));<br>
> +Â Â const auto Dependency = Owner->AllocateInMap<pkgCache::Dependency>();<br>
>Â Â Â if (!Dependency)<br>
>Â Â Â Â return false;<br>
>Â Â Â <br>
> @@ -574,7 +575,7 @@ bool pkgCacheGenerator::ListParser::NewProvides(pkgCache::VerIterator &Ver,<br>
>Â Â Â Â }<br>
>Â Â Â }<br>
>Â Â Â // Get a structure<br>
> -Â Â const auto Provides = Owner->AllocateInMap(sizeof(pkgCache::Provides));<br>
> +Â Â const auto Provides = Owner->AllocateInMap<pkgCache::Provides>();<br>
>Â Â Â if (!Provides)<br>
>Â Â Â Â return false;<br>
>Â Â Â /* Note:<br>
> @@ -618,7 +619,7 @@ bool pkgCacheGenerator::SelectFile(const string &File, const string &Site,<br>
>Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â unsigned long Flags)<br>
>Â {<br>
>Â Â Â // Get some space for the structure<br>
> -Â Â const auto idxFile = AllocateInMap(sizeof(*CurrentFile));<br>
> +Â Â const auto idxFile = AllocateInMap<decltype(*CurrentFile)>();<br>
>Â Â Â const auto idxFileName = WriteStringInMap(File);<br>
>Â Â Â const auto idxSite = WriteUniqString(Site);<br>
>Â Â Â const auto idxIndexType = WriteUniqString(Index.GetType()->Label);<br>
> @@ -676,7 +677,7 @@ std::experimental::optional<unsigned long> pkgCacheGenerator::WriteUniqString(co<br>
>Â Â Â }<br>
>Â Â Â <br>
>Â Â Â // Get a structure<br>
> -Â Â const auto Item = AllocateInMap(sizeof(pkgCache::StringItem));<br>
> +Â Â const auto Item = AllocateInMap<pkgCache::StringItem>();<br>
>Â Â Â const auto idxString = WriteStringInMap(S, Size);<br>
>Â Â Â if ((!Item) || (!idxString))<br>
>Â Â Â Â return std::experimental::nullopt;<br>
> diff --git a/apt/apt-pkg/pkgcachegen.h b/apt/apt-pkg/pkgcachegen.h<br>
> index b789177ef..73252802b 100644<br>
> --- a/apt/apt-pkg/pkgcachegen.h<br>
> +++ b/apt/apt-pkg/pkgcachegen.h<br>
> @@ -39,7 +39,8 @@ class pkgCacheGenerator<br>
>Â Â Â std::experimental::optional<unsigned long> WriteStringInMap(const std::string &String) { return WriteStringInMap(String.c_str(), String.length()); };<br>
>Â Â Â std::experimental::optional<unsigned long> WriteStringInMap(const char *String);<br>
>Â Â Â std::experimental::optional<unsigned long> WriteStringInMap(const char *String, unsigned long Len);<br>
> -Â Â std::experimental::optional<unsigned long> AllocateInMap(unsigned long size);<br>
> +Â Â template<typename T><br>
> +Â Â std::experimental::optional<unsigned long> AllocateInMap();<br>
>Â <br>
>Â Â Â public:<br>
>Â Â Â <br>
<br>
<br>
Best regards,<br>
Andrew Savchenko<br>
_______________________________________________<br>
Devel mailing list<br>
<a href="mailto:Devel@lists.altlinux.org" target="_blank" rel="noreferrer">Devel@lists.altlinux.org</a><br>
<a href="https://lists.altlinux.org/mailman/listinfo/devel" rel="noreferrer noreferrer" target="_blank">https://lists.altlinux.org/mailman/listinfo/devel</a></blockquote></div></div></div>