c++ - basic_string 分配器

Question

我想知道这是做什么的:

std::basic_string<char, std::char_traits<char>, std::allocator<char>>::
basic_string<char, std::char_traits<char>, std::allocator<char>>
(&myText, "hello world");

我的第一个猜测是它将“hello world”分配给 myText 变量 如果这是真的那么在这种情况下它会做什么:

  if ( v106 == v67 || 
  std::basic_string<char, std::char_traits<char>, std::allocator<char>>::
  basic_string<char, std::char_traits<char>, std::allocator<char>>
  (&v109,"program"), v137 = 1)
  {
    BYTE3(v95) = 0;
  }

这并不是一个真正的条件...

Answer 1

我猜这是 IDA 的 Hex-Ray 反编译器插件的输出，对吗？这是它显示std::string的构造函数的调用的方式。类(class)。 v109是在堆栈上分配的用于保存 std::string 的内存实例，而第二个参数 "hello world" , 是用于初始化它的字符串。

如果多个条件导致相同的结果代码，编译器通常会选择重用前一个条件中的(等效)代码片段，以最小化生成的字节码的大小。 Hex-Ray 的反编译器插件通常使用 Comma-operator 显示它们最高版本 1.5 - 较新版本的反编译器有 a better understanding of such situations .

if (v106 == v67)
    BYTE3(v95) = 0;

std::basic_string<char, std::char_traits<char>,
                  std::allocator<char>>
                  ::basic_string<char, 
                      std::char_traits<char>, 
                      std::allocator<char>>(&v109,"program");
v137 = 1;
BYTE3(v95) = 0;

这更有可能看起来像实际来源。更换巨大的std::basic_string<...>使用简单的 std::string 构建声明使其更具可读性。

if (v106 == v67)
    BYTE3(v95) = 0;

std::string v109("program");
v137 = 1;
BYTE3(v95) = 0;