ADL schlägt fehl, wenn Lambda-Argumente vorhanden sind?

Question

vor einiger Zeit bemerkte ich, dass in Visual C++ 10 ADL fehlschlägt, wenn mindestens eines der Argumente ein Lambda ist.

std::vector<float> vec; 
for_each(begin(vec), end(vec), [](float) {}); 

Die oben nicht auf VC++ 10 und 11 (Beta) (Beginn und Ende gefunden über ADL) zu kompilieren. Wenn ich die Lambda-Funktion in eine reguläre freie Funktion umwandele, funktionieren die Dinge wie erwartet.

Ich habe auf Herb Sutters Blog einmal gefragt und auch ein paar Beiträge auf msdn connect gelesen und die üblichen Antworten waren: Dies ist ein Fehler, wir haben nicht den neuesten Standard der Lambdas implementiert, die - zu dieser Zeit - recht war verständlich. Die Dinge waren noch nicht in einer gebackenen Form. Auf MS connect gab es auch beunruhigende Kommentare, dass dies nicht für die nächste Version behoben werden wird, d. H. Vc 11.

Meine Frage ist, ist dieser Code erwartet unter dem C++ 11-Standard arbeiten? Das kann ich mir nicht vorstellen. Muss ich wirklich for_each und andere Algorithmen mit std :: voranstellen, wenn ich lambdas verwende? Ich vermute irgendwie, dass dieses Verhalten nicht nach vC++ 11 Release ändern wird.

Answer 1

Das ist perfekt gültigen Code. Jeder fehlerfreie Compiler kann sie kompilieren. Aber da MSVC einen Fehler hat und daher nicht in der Lage ist, die Funktion über ADL zu durchsuchen, sollten Sie sich vielleicht nicht auf ADL verlassen und ihn stattdessen mit std:: qualifizieren, damit der Compiler die Funktion finden kann.

Answer 2

Der Standard garantiert nicht, was Sie wollen, würde es ..

Mit dem unten im Auge erkennen, können wir leicht, dass es nichts garantiert ist, dass ADL in Fällen ähnlich dem Beispiel funktionieren würde zur Verfügung gestellt in deinem Beitrag.

---

• std::begin (c)/std::end (c)

  Die Funktionen werden in dem Standard als das unten Zitat beschrieben:

  template <class C> auto begin(C& c) -> decltype(c.begin()); 
  template <class C> auto end(C& c) -> decltype(c.end()); 
  

  Obwohl die Container<...>::iterator (die der Rückkehr-Typ c.begin() ist) ist, ein implementierungsdefinierter Typ.

  _{Mehr über die Sache kann und 23.3.6.1/2 Klasse Vorlage Vektor (oder jede andere Vorlage STL-Container) bei 24.5.6 Bereichszugriffs lesen auf werden.}

• [](){} - Lambda-Ausdrücke

  Ein Lambda ist eine Implementierung definiert Art, es gibt nichts in der Norm besagt, dass das resultierende Objekt eines Typs sein, die unter Namespace std ist .

  Es kann ziemlich viel existieren, wo immer es will, solange es die anderen Regeln bestätigt, die durch den Standard aufgestellt werden.

---

---

zu lang; Lesen Sie nicht

Die Typen von denen std::begin/std::end/a lambda-expression Ausbeuten sind nicht werden unter Namespace std garantiert, deshalb ist ADL nicht in Kick garantiert.