Question

#include <iostream>
#include <boost/any.hpp>

class Str
{
public:
  // default constructor
  Str() : str_{"Hello, World!"} { std::cout << "A::A()" << this << std::endl;  }

  // copy constructor
  Str(const Str& that) : str_(that.str_) { std::cout << "A::A(const A&)" << this << std::endl; }
  Str(Str& that) : str_(that.str_) { std::cout << "A::A(A&)" << this << std::endl; }

  // move constructor
  Str(const Str&& that) : str_(std::move(that.str_)) { std::cout << "A::A(const A&&)" << this << std::endl; }
  Str(Str&& that) : str_(std::move(that.str_)) { std::cout << "A::A(A&&)" << this << std::endl; }
  // destructor
  ~Str() { std::cout << "~A::A()" << this << std::endl; }

  // str print method
  void print() const { std::cout << str_ << '\n'; }

private:
  std::string str_;
};

int main(int argc, char *argv[])
{
  auto* str = new Str;
  boost::any a(*str);
  if (a.empty()) {
    std::cout << "empty\n";
  } else {
    std::cout << "not empty\n";
  }
  auto s = boost::any_cast<Str>(&a);
  std::cout << s << std::endl;
  std::cout << a.empty() << std::endl;
  delete str;
  return 0;
}

这个简单的程序有输出：

A::A()0x24f5c20
not empty
0
0
~A::A()0x24f5c20

因此，要正确理解，正确的程序输出必须是：

A::A()0x24f5c20
A::A(const A&)some address // copy str before passing into any constructor
not empty 
some address 
0 
~A::A()some address //~any() call ~A()some address
~A::A()0x24f5c20

看起来好像不明白发生了什么。这是用g ++版本5.4.0编译的。人！我是怎么了？ =）

Answer 1

我将假设您正在运行该程序的旧版本或未正确重建它。（我用增强1.62和1.64测试。使用Gcc 5.4和Clang。）

该程序具有预期的效果，不会调用任何类型的未定义行为。

但请注意，没有理由在new / delete使用str，boost::any在初始化boost::any后未使用，因为auto *str = new Str; boost::any a(*str); delete str;存储值 - 永远不会引用。你可以简单地说

Str str;
boost::any a(str);

或者只是

boost::any a(Str{}); // beware of "most vexing parse"

甚至

flyway repair

您可以比较 Live On Coliru

将动态分配对象传递给boost :: any构造函数

1 个答案: