Pourquoi l'avertissement du compilateur "renvoyer la référence à l'objet temporaire" n'est-il pas déclenché?

Question

Tenir compte de ce code simple:

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; 
} 

Il a un bug, et je suis surpris que cela ne m'a pris environ 30 minutes pour avis: iterator::operator*() renvoie une référence à l'objet temporaire. Habituellement, il lance un avertissement. Pourquoi pas dans ce cas?

MSVC 2013 (ensemble d'outils v120), compilé avec /W4. Il s'agit du C4172, un avertissement de niveau 1.

Answer 1

On dirait qu'il est un bogue dans Visual Studio, vous pouvez le trouver a été signalé pour VS 2012 et il semble qu'il était encore présent en 2013:

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

lien ci-dessus peut être un double de un autre, l'exemple de ce rapport de bogue semble tout à fait le même que votre exemple de code:

// main.cpp 

struct A 
{ 
}; 


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

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

int main() 
{ 
    return 0; 
}