gpt4 book ai didi

c++ - 可能的 MSVC 编译器错误

转载 作者:行者123 更新时间:2023-12-03 15:47:24 24 4
gpt4 key购买 nike

鉴于在 for 循环的条件子句中声明的 shared_ptr 变量和 for 循环主体包含 if/continue 语句,微软编译器(截至 2015 版)每次循环迭代都会生成额外的析构函数调用(总共两个)。这会导致 Holder 界面用户无法触及的 Item 对象的破坏。
请参阅下面的示例代码

namespace
{
class Item
{
public:
Item(size_t v)
: value_(v)
{
std::cout << "Item(" << value_ << ")" << std::endl;
}

~Item()
{
std::cout << "~Item(" << value_ << ")" << std::endl;
}

void print() const
{
std::cout << "Item::print(" << value_ << ")" << std::endl;
}

private:
size_t value_;

};

typedef std::shared_ptr<const Item> ItemCPtr;

class Holder
{
public:
Holder(size_t n)
{
for (size_t i = 0; i < n; ++i)
items_.emplace_back(new Item(i));
}

ItemCPtr getItem(size_t i) const
{
if (i < items_.size())
return items_[i];
return ItemCPtr();
}

private:
std::vector<ItemCPtr> items_;
};
}

TEST(Test, Test)
{
Holder _holder(5);

std::cout << "before loop" << std::endl;

for (size_t i = 0; auto _item = _holder.getItem(i); ++i)
{
if (!!(i % 2))
continue;

_item->print();
}

std::cout << "after loop" << std::endl;

_holder.getItem(1)->print();
_holder.getItem(3)->print();
}

下面的产量输出
||   [ RUN      ] Test.Test
|| Item(0)
|| Item(1)
|| Item(2)
|| Item(3)
|| Item(4)
|| before loop
|| Item::print(0)
|| ~Item(1)
|| Item::print(2)
|| ~Item(3)
|| Item::print(4)
|| after loop
|| Item::print(3722304989)
|| Item::print(3722304989)
|| ~Item(0)
|| ~Item(2)
|| ~Item(4)
|| [ OK ] Test.Test (0 ms)
如果我以这种方式将 _item 声明移出 for 循环
    auto _item = ItemCPtr();
for (size_t i = 0; _item = _holder.getItem(i); ++i)
然后我得到这样的预期输出
||   [ RUN      ] Test.Test
|| Item(0)
|| Item(1)
|| Item(2)
|| Item(3)
|| Item(4)
|| before loop
|| Item::print(0)
|| Item::print(2)
|| Item::print(4)
|| after loop
|| Item::print(1)
|| Item::print(3)
|| ~Item(0)
|| ~Item(1)
|| ~Item(2)
|| ~Item(3)
|| ~Item(4)
|| [ OK ] Test.Test (0 ms)
据我所知, getItem 应该产生 ItemCPtr 的拷贝,并且不能通过 Holder 接口(interface)修改任何项目。然而,用户可以在循环内销毁五分之二的项目,参见 ~Item(1)~Item(3) before loop 之间的析构函数输出/ after loop分数。
这是暴露问题的简单示例。在现实世界中,这将导致难以跟踪的内存损坏问题。
编译器标识:
cmake -G "Visual Studio 14 2015" ..\
-- Selecting Windows SDK version 10.0.14393.0 to target Windows 10.0.19041.
-- The C compiler identification is MSVC 19.0.24210.0
-- The CXX compiler identification is MSVC 19.0.24210.0
操作系统为 64 位 Windows 10
即使禁用优化,错误也会出现 /Od , 默认选项。

最佳答案

As far as I can understand, getItem should yield a copy of ItemCPtr and no Items could be modified through Holder interface.


您的理解是 100% 准确的。这正是为 C++ 标准的抽象机器描述的行为。
即使在允许编译器进行优化的 as-if 规则下,可观察的行为(由于打印到标准输出流)应该就好像至少存在一个共享指针(对于每个项目),直到结束测试的范围。这显然不是你所看到的。
我有根据的猜测是 MSVC 完全优化了拷贝。而是直接在循环体中引用 vector 内的指针。就其本身而言是可以的。
该错误可能是它错误处理了在 continue 的情况下会破坏局部变量的代码。声明。并且错误地将其应用于 vector 中的对象。这是一个错误。

关于c++ - 可能的 MSVC 编译器错误,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/66382186/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com