Dlaczego nie można użyć metody prywatnej w lambda?

Question

uwzględniając klasę tak:

class A { 
public: 
    bool hasGrandChild() const; 

private: 
    bool hasChild() const; 
    vector<A> children_; 
}; 

Dlaczego nie jest możliwe użycie prywatną metodę hasChild() w wyrażeniu lambda określonym w metodzie hasGrandChild() jak to?

bool A::hasGrandChild() const { 
    return any_of(children_.begin(), children_.end(), [](A const &a) { 
     return a.hasChild(); 
    }); 
} 

Compiler wystawia błąd, że metoda hasChild() jest prywatny w kontekście. Czy istnieje jakieś obejście?

Edytuj: Wygląda na to, że kod, który napisałem, działa oryginalnie. Myślałem, że jest to równoważne, ale kod, który does not work on GCC więcej tak:

#include <vector> 
#include <algorithm> 

class Foo; 

class BaseA { 
protected: 
    bool hasChild() const { return !children_.empty(); } 
    std::vector<Foo> children_; 
}; 

class BaseB { 
protected: 
    bool hasChild() const { return false; } 
}; 

class Foo : public BaseA, public BaseB { 
public: 
    bool hasGrandChild() const { 
    return std::any_of(children_.begin(), children_.end(), [](Foo const &foo) { 
     return foo.BaseA::hasChild(); 
     }); 
    } 
}; 

int main() 
{ 
    Foo foo; 
    foo.hasGrandChild(); 
    return 0; 
} 

Wydaje się, że istnieje problem z pełni kwalifikowanych nazw jako this does not work, ale this works.

Answer 1

To wydaje się być po prostu bug GCC w szczególnym przypadku, gdy lambda próbuje uzyskać dostęp do chronionego członka z klasy nadrzędnej, używając pełnej nazwy. This does not work:

class Base { 
protected: 
    bool hasChild() const { return !childs_.empty(); } 
    std::vector<Foo> childs_; 
}; 

class Foo : public Base { 
public: 
    bool hasGrandChild() const { 
    return std::any_of(childs_.begin(), childs_.end(), [](Foo const &foo) { 
     return foo.Base::hasChild(); 
    }); 
    } 
}; 

, ale this works:

class Foo : public Base { 
public: 
    bool hasGrandChild() const { 
    return std::any_of(childs_.begin(), childs_.end(), [](Foo const &foo) { 
     return foo.hasChild(); 
    }); 
    } 
}; 

Według C++ 11, 5.1.2/3:

Typ lambda ekspresji (który jest również typ obiektu zamknięcia ) jest unikalnym, nienazwanym typem klasy niepowiązanym - zwanym typem zamknięcia - którego właściwości opisano poniżej. Ten typ klasy nie jest agregatem (8.5.1). Typ zamknięcia jest zadeklarowany w najmniejszym zasięgu bloku, zasięgu klasy lub zakresu przestrzeni nazw, który zawiera odpowiadające wyrażenie lambda.

A, a następnie C++ 11, 11,7/1:

zagnieżdżony jest członkiem klasy i jako takich samych praw dostępu co każdy inny użytkownik.

Wspomniana funkcja lambda dla funkcji powinna mieć takie same prawa dostępu, jak każdy inny członek klasy. Dlatego powinna być w stanie wywołać metodę chronioną z klasy nadrzędnej.

Answer 2

Nie jest to możliwe, ponieważ lambda nie jest częścią klasy. Jest to to samo, co tworzenie funkcji poza klasą i wywoływanie jej zamiast tworzenia lambda. Oczywiście nie ma dostępu do prywatnych członków.

Answer 3

Standard (C++ 11 §5.1.2/3) wskazuje, że

Typ lambda ekspresji (który jest również rodzaj obiektu zamknięcia) jest unikalnym, nienazwany typ klasy niezłącznej - o nazwie z zamknięciem typu.

Ponieważ jest to unikalny rodzaj klasy, która nie jest friend z A, nie ma dostępu do prywatnych członków A „s.

Co tutaj robi kompilator, utwórz typ klasy, który ma odpowiednich członków do przechwytywania przechwyconych zmiennych, odpowiedniego operator() itd. - to jest dokładnie to, co sam napiszesz, jeśli chcesz emulować lambdy w C++ 03. Ten typ z pewnością nie miałby dostępu do członków private, co może ułatwić wizualizację, dlaczego ograniczenie istnieje i dlaczego nie istnieje obejście .

Aktualizacja dotyczące możliwych obejścia:

byłoby lepiej powiedzieć „nie ma obejścia za pomocą lambda”, ponieważ w ogóle nie istnieją obejścia chociaż wymagają one, że rezygnują z wygodnego składni lambda. Na przykład, można:

1. Napisz lokalny typ klasy jawnie rejestruje this wraz z innymi mieszkańcami to wymaga (zainspirowany komentarzem Björn POLLEX jest poniżej).
2. Napisz metodę private zamiast lambda i przekazuj ją jako wywołanie zwrotne (na przykład dla wygody przy użyciu std::bind). Jeśli chcesz uchwycić mieszkańców oprócz this możesz użyć więcej std::bind na stronie połączenia, aby to zrobić.

Answer 4

Obejście:

typedef bool (A::*MemFn)(void) const; 

bool A::hasGrandChild() const { 
    MemFn f = &A::hasChild; 
    return any_of(childs_.begin(), childs_.end(), [=](A const &a) { 
      return (a.*f)(); 
    }); 
} 

Answer 5

Można przechwycić jawnie this i uczynić go "członkiem lambda", który ma dostęp do prywatnych członków.

Na przykład, należy rozważyć następujące próbki:

#include <iostream> 
class A { 
private: 
    void f() { std::cout << "Private"; } 
public: 
    void g() { 
     [this] { 
      f(); 
      // doesn't need qualification 
     }(); 
    } 
}; 
class B { 
private: 
    void f() { std::cout << "Private"; } 
public: 
    void g() { [] { f(); }(); } // compiler error 
}; 
int main() { 
    A a; 
    a.g(); 
}