是否有比 boost::spirit::hold_any 更快的替代方案，并且 hold_any 会导致内存泄漏

Question

我正在玩一些variant 和any classes，我试图弄清楚是否有更快的替代boost::spirit::hold_any 或者它是否是最快的解决方案。还有比这更快的吗？

Memory 博士说，any_hold 导致了memory leaks，这可能是一个子问题，这是真的吗？ （我听说过一些关于此的事情，但我认为它可能已修复或只是谣言，我使用的是 Boost 1.57.0）

在这种情况下，Dr Memory 的可靠性如何？

我主要执行如下代码：

int main()
{
   boost::spirit::hold_any a;
   for (unsigned int i = 0; 150000 > i; ++i)
   {
       a = 5;
       a = 5.0;
   }

   return 0;
}

Dr Memory的日志文件：

Dr. Memory version 1.8.1 build 0 built on Feb 17 2015 19:08:31
Dr. Memory results for pid 6208: "boostTest.exe"
Application cmdline: ""C:\Users\tim.junge\Documents\Visual Studio 2010\Projects\C++\Backup\boostTest\Debug\boostTest.exe""
Recorded 108 suppression(s) from default C:\Users\tim.junge\Documents\Visual Studio 2010\Projects\C++\DrMemory-Windows-1.8.1-RC1\bin\suppress-default.txt

Error #1: LEAK 8 direct bytes 0x00a801d8-0x00a801e0 + 0 indirect bytes
# 0 replace_operator_new                                       [d:\drmemory_package\common\alloc_replace.c:2613]
# 1 boost::spirit::basic_hold_any<>::assign<>                  [c:\boost_1_57_0\boost\spirit\home\support\detail\hold_any.hpp:293]
# 2 boost::spirit::basic_hold_any<>::operator=<>               [c:\boost_1_57_0\boost\spirit\home\support\detail\hold_any.hpp:305]
# 3 main                                                       [c:\users\tim.junge\documents\visual studio 2010\projects\c++\backup\boosttest\boosttest\main.cpp:50]

Error #2: LEAK 8 direct bytes 0x00a87810-0x00a87818 + 0 indirect bytes
# 0 replace_operator_new                                       [d:\drmemory_package\common\alloc_replace.c:2613]
# 1 boost::spirit::basic_hold_any<>::assign<>                  [c:\boost_1_57_0\boost\spirit\home\support\detail\hold_any.hpp:293]
# 2 boost::spirit::basic_hold_any<>::operator=<>               [c:\boost_1_57_0\boost\spirit\home\support\detail\hold_any.hpp:305]
# 3 main                                                       [c:\users\tim.junge\documents\visual studio 2010\projects\c++\backup\boosttest\boosttest\main.cpp:212]

Reached maximum leak report limit (-report_leak_max). No further leaks will be reported.

===========================================================================
FINAL SUMMARY:

DUPLICATE ERROR COUNTS:
    Error #   2:   9992

SUPPRESSIONS USED:

ERRORS FOUND:
      0 unique,     0 total unaddressable access(es)
      0 unique,     0 total uninitialized access(es)
      0 unique,     0 total invalid heap argument(s)
      0 unique,     0 total GDI usage error(s)
      0 unique,     0 total handle leak(s)
      0 unique,     0 total warning(s)
      2 unique,  9993 total,  79944 byte(s) of leak(s)
      0 unique,     0 total,      0 byte(s) of possible leak(s)
ERRORS IGNORED:
      1 potential leak(s) (suspected false positives)
         (details: C:\Users\tim.junge\Documents\Visual Studio 2010\Projects\C++\DrMemory-Windows-1.8.1-RC1\drmemory\logs\DrMemory-boostTest.exe.6208.000\potential_errors.txt)
      0 unique,     0 total,      0 byte(s) of still-reachable allocation(s)
         (re-run with "-show_reachable" for details)
  50204 leak(s) beyond -report_leak_max
Details: C:\Users\tim.junge\Documents\Visual Studio 2010\Projects\C++\DrMemory-Windows-1.8.1-RC1\drmemory\logs\DrMemory-boostTest.exe.6208.000\results.txt

Answer 1

我在大约 2 小时前才了解到 hold_any，但我会尽力而为 :)

简答：

我通过一些测试来了解，当您设置时：

    a = 5;

您实际上将 POINTER("object") 值设置为 0x000005。导致没有清理和内存泄漏（？）

长答案 + 其他信息： 这会导致内存泄漏

但是，在设置变量类型时，一切似乎都很好：

   boost::spirit::hold_any a;
   for (unsigned int i = 0; 15000000 > i; ++i)
   {
       //a = 5; //no cleanup on scope loss
       a = size_t(5);  //seems fine
       a = float(5.0);  //seems fine
   }

我在其他地方读到空的hold_any（没有初始数据类型）会导致内存泄漏（那个人提交了一个补丁boost::spirit::hold_any memory corruption，不确定它是否已经实现）。这似乎是你的情况。

因此，在分配新数据时，请确保它有一个类型，或者在初始化它时设置类型（？）我建议两者都是安全的：

   boost::spirit::hold_any a(size_t(15));
   for (unsigned int i = 0; 15000000 > i; ++i)
   {
       a = 5; //no memory leak, but invalid for classes - like std::string
   }

另外，获取/修改数据的替代方法（因为我没有看到太多文档）：

    size_t* c = boost::spirit::any_cast<size_t>(&a);  //pointer will be 0 if its not a size_t
    size_t &c2 = *(boost::spirit::any_cast<size_t>(&a));  //runtime error if not a size_t
    size_t &c3 = boost::spirit::any_cast<size_t&>(a);  //runtime error if not a size_t

用于检查数据类型

       if (int * i = boost::spirit::any_cast<int>(&a))        // an int?
       //if (int& i = boost::spirit::any_cast<int&>(a))       // runtime error
            const bool anInt = true;
       if (size_t* i = boost::spirit::any_cast<size_t>(&a))       // a size_t?
            const bool aSizeT = true;