G++-11破坏顺序由G++9更改

Question

我们有以下代码(它更复杂，我试图做一个最小的例子(。

#include <iostream>
#include <vector>
#include <string>
#include <memory>
template<typename T>
struct use_type
{
use_type(T& v) : value(v) {}
T& value;
};
template<typename T>
use_type<T> use(T& value) { return use_type<T>(value); }
template<typename T>
use_type<T> use(const T& value) { return use_type<T>(const_cast<T&>(value)); }
template<typename T>
struct printer_helper
{
void use(const use_type<T>& use) { uses.push_back(use); }
void final_action()
{
for (const auto& use : uses)
{
std::cout << use.value.size() << std::endl;
for (const auto& v : use.value)
{
std::cout << v << ",";
}
std::cout << std::endl;
}
}
std::vector<use_type<T>> uses;
};
template<typename T>                                        
struct printer
{
printer() { helper = new printer_helper<T>(); }
printer<T>& operator , (const use_type<T>& t)
{
helper->use(t);
return *this;
}
~printer()
{
helper->final_action();
delete helper;
}
printer(const printer&) = delete;
printer& operator =(const printer&) = delete;
printer(printer&&) = default;
printer& operator =(printer&&) = default;
printer_helper<T>* helper;
};
template<typename T>
struct printer_creator
{
printer<T> operator << (const char*) { return {}; }
};
int main()
{
using vec = std::vector<std::string>;
{
/*vec v1{"abc", "bcd"};
vec v2{"new", "old", "real"};*/
printer_creator<vec> p;
p << "", use(vec{"abc", "bcd"}), use(vec{"new", "old", "real"});
//p << p, use(v1), use(v2);
}
}

这段代码在g++-11之前的g++上运行得非常好。对于g++-11，输出中要么是segfault，要么是垃圾。是UB吗？如果是的话，也许你可以告诉我，哪一个gcc的改变使它失败了，如果可能的话，引用标准？

实例：

g++-10g++-11

Answer 1

临时向量在创建它们的行的末尾被销毁。CCD_ 1在其作用域的末尾(即在向量之后(被破坏。由于p的析构函数使用了对现在悬空的向量的引用，因此您的代码具有未定义的行为。

如果它真的奏效了，那就是纯粹的"；运气；向量析构函数使向量处于可用状态。

Answer 2

在中

p << "", use(vec{"abc", "bcd"}), use(vec{"new", "old", "real"});

您创建了3个临时

• printer<vec>来自p << ""(
• vec{"abc", "bcd"}
• vec{"new", "old", "real"}

它们之间没有序列(请参阅下面的注释(，因此它们可以按任何顺序创建。

只有从左到右的销毁是正确的(所以从右到左的构建(，其他顺序将使用悬挂引用，并且是UB。由于你没有秩序保证。。。

注：
我们因过载operator &&/operator ||而失去短路，
因过载operator,而失去从左到右的评估顺序