c++ - 为什么没有触发 "returning reference to temporary object"编译器警告？

Question

考虑这个简单的代码:

struct Container {
    struct Item {};

    Item operator[](size_t /*index*/) const {
        return Item();
    }

    const Item& f() const {
        return operator[](0);
    }
};

int main()
{
    Container c;
    const Container::Item& item = *c.begin();

    return 0;
}

它有一个错误，令我惊讶的是我只花了大约 30 分钟就注意到了:iterator::operator*() 返回对临时对象的引用。通常它会发出警告。为什么不在这种情况下？

MSVC 2013(v120 工具集)，使用 /W4 编译。

P. S. 这是 C4172 ，一级警告。

Answer 1

它看起来像是 Visual Studio 中的一个错误，你可以发现它是针对 VS 2012 报告的，它似乎在 2013 年仍然存在:

https://connect.microsoft.com/VisualStudio/feedback/details/776530/warning-c4172-not-emitted

上面的链接可能与其他链接重复，此错误报告中的示例看起来与您的示例代码完全相同:

// main.cpp

struct A
{
};


struct B
{    
    A a() const {return A();}
};

struct C
{
    A const& a() const
    {
        return B().a();
    }
};

int main()
{
    return 0;
}