为什么没有触发 "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*() returns 对临时对象的引用。通常它会发出警告。为什么不在这种情况下？

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

以上 link 可能与其他一些重复，此错误报告中的示例看起来与您的示例代码完全相同：

// main.cpp

struct A
{
};


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

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

int main()
{
    return 0;
}

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

Why is the "returning reference to temporary object" compiler warning not triggered?

c++

pass-by-reference

visual-c++

msvc12